An industrially effective environment for formal hardware verification

  title={An industrially effective environment for formal hardware verification},
  author={Carl-Johan H. Seger and Robert B. Jones and John W. O'Leary and Thomas F. Melham and Mark Aagaard and Clark W. Barrett and Don Syme},
  journal={IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
The Forte formal verification environment for datapath-dominated hardware is described. Forte has proven to be effective in large-scale industrial trials and combines an efficient linear-time logic model-checking algorithm, namely the symbolic trajectory evaluation (STE), with lightweight theorem proving in higher-order logic. These are tightly integrated in a general-purpose functional programming language, which both allows the system to be easily customized and at the same time serves as a… CONTINUE READING
Highly Influential
This paper has highly influenced 11 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 100 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 68 extracted citations

Computer Aided Verification

Lecture Notes in Computer Science • 2014
View 20 Excerpts
Highly Influenced

A monadic approach to automated reasoning for Bluespec SystemVerilog

Innovations in Systems and Software Engineering • 2011
View 4 Excerpts
Highly Influenced

A method for generation of GSTE assertion graphs

Tenth IEEE International High-Level Design Validation and Test Workshop, 2005. • 2005
View 6 Excerpts
Highly Influenced

New Approaches to Model Checking and to 3-Valued Abstraction and Refinement

Avraham Yadgar
View 5 Excerpts
Highly Influenced

A symbolic execution framework for algorithm-level modelling

2009 IEEE International High Level Design Validation and Test Workshop • 2009
View 3 Excerpts
Highly Influenced

A New Approach for Transient Fault Injection Using Symbolic Simulation

2008 14th IEEE International On-Line Testing Symposium • 2008
View 4 Excerpts
Highly Influenced

101 Citations

Citations per Year
Semantic Scholar estimates that this publication has 101 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 65 references

Similar Papers

Loading similar papers…