Keyword

hardware verification

Description: The use of testing and formal methods to determine whether hardware designs satisfy their specifications and behave correctly.

Primary topic: Formal Methods in Verification (39%)

OpenAlex ID: keywords/hardware-verification

Counterexample-Guided Abstraction Refinement

2000 · Edmund Clarke, Orna Grumberg, et al. · Lecture notes in computer science · 1,748

Model checking and abstraction

1994 · Edmund M. Clarke, Orna Grumberg, et al. · ACM Transactions on Programming Languages and Systems · 1,211

PDF

Bounded Model Checking

2003 · Armin Biere, Alessandro Cimatti, et al. · Advances in computers · 1,007

Counterexample-guided abstraction refinement for symbolic model checking

2003 · Edmund Clarke, Orna Grumberg, et al. · Journal of the ACM · 994

Checking Safety Properties Using Induction and a SAT-Solver

2000 · Mary Sheeran, Satnam Singh, et al. · Lecture notes in computer science · 727

NuSMV: A New Symbolic Model Verifier

1999 · A. Cimatti, E. Clarke, et al. · Lecture notes in computer science · 625

PDF

Computer-Aided Reasoning: An Approach

2011 · Matt Kaufmann, J. Strother Moore, et al. · Medical Entomology and Zoology · 605

Handbook of Satisfiability

2021 · Armin Biere, Marijn J. H. Heule, et al. · 486

The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems

2008 · Roberto Bagnara, Patricia M. Hill, et al. · Science of Computer Programming · 477

HOL: A Proof Generating System for Higher-Order Logic

1988 · Michael J. C. Gordon · Kluwer international series in engineering and computer science · 418

Correct Hardware Design and Verification Methods

1999 · Pierre, Laurence, Kropf, Thomas · Lecture notes in computer science · 377

Model checking and abstraction

1992 · Edmund M. Clarke, Orna Grumberg, et al. · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 352

PDF

An approximate Fourier transform useful in quantum factoring

2002 · Zayas Gallardo, Javier, Chicano, Francisco, et al. · arXiv (Cornell University) · 345

PDF

HOL Light: A tutorial introduction

1996 · John Harrison · Lecture notes in computer science · 339

Historical Review of Air-Bearing Spacecraft Simulators

2003 · Jana L. Schwartz, Mason A. Peck, et al. · Journal of Guidance Control and Dynamics · 335

A Temporal Logic for Multilevel Reasoning about Hardware

1985 · Moszkowski · Computer · 327

Interface-based design

1997 · James A. Rowson, Alberto Sangiovanni-Vincentelli · Proceedings - ACM IEEE Design Automation Conference · 300

Model Checking and the State Explosion Problem

2012 · Edmund M. Clarke, William Klieber, et al. · Lecture notes in computer science · 287

SpiNNaker: Mapping neural networks onto a massively-parallel chip multiprocessor

2008 · M.M. Khan, D.R. Lester, et al. · IEEE International Joint Conference on Neural Networks (IJCNN) · 282

Model checking

2009 · Edmund M. Clarke, E. Allen Emerson, et al. · Communications of the ACM · 257

PDF

Assertion-Based Design

2003 · Harry Foster, Adam Krolnik, et al. · Springer eBooks · 252

Introduction to Formal Hardware Verification

1999 · Thomas Kropf · Springer eBooks · 242

Handbook of Satisfiability: Volume 185 Frontiers in Artificial Intelligence and Applications

2009 · Armin Biere, Marijn J. H. Heule, et al. · 240

IEEE Standard for Verilog Hardware Description Language

2005 · 233

Reasoning about Digital Circuits

1983 · Benjamin Charles Moszkowski · 226

Works count: 7,048

Citation count: 56,970