Formal Verification Surveys

Formal Verification Reviews and Surveys

What is available

Gang Chen, "A Short Historical Survey of Functional Hardware Languages", International Scholarly Research Network, Volume 2012, Article ID 271836. (570KB) (download PDF)
M. Zaki, S. Tahar and G. Bois, "Formal Verification of Analog and Mixed Signal Designs: A Survey", Microelectronics Journal Elsevier B.V. Pub, December 2008, Number 39, pp.1395-1404. (272KB) (download PDF)
J. Bhadra, M. S. Abadir, L.-C. Wang, S. Ray, "A Survey of Functional Verification through Hybrid Techniques", journal of IEEE Design & Test of Computers, March-April 2007. (97KB) download PDF
F. Wang, "Formal Verification of Timed Systems: A Survey and Perspective", Proceedings of the IEEE, Vol. 92, No. 8, August 2004. pp. 1283-1305. (622KB) download PDF
M. Prasad, A. Biere, A. Gupta, "A Survey of Recent Advances in SAT-Based Formal Verification", Software Tools for Technology Transfer, Vol. 7, No. 2, 2005. pp. 156-173. (182KB) download PDF
C. Kern and M. Greenstreet, "Formal Verification in Hardware Design: A Survey", ACM Transactions on Design Automation of E. Systems, Vol. 4, April 1999, pp. 123-193. (651KB) download PS
C.-J. H. Seger, "An Introduction to Formal Verification", Technical Report 92-13, UBC, Department of Computer Science, Vancouver, B.C., Canada, June 1992. (398KB) download PS
Aarti Gupta, "Formal Hardware Verification Methods: A Survey", Formal Methods in System Design, Vol. 1, pp. 151-238, 1992. (784KB) download PS
E. Clarke and J. Wing, Formal Methods: State of the Art and Future Directions, CMU Computer Science Technical Report CMU-CS-96-178, August 1996. (172KB) download PS
R. P. Kurshan, "Formal Verification in a Commercial Setting", Proc. Design Automation Conference, Anaheim, California, June 9-13, 1997, pp 258-262. (169KB) download PDF
A. U. Shankar, "An Introduction to Assertional Reasoning for Concurrent Systems", ACM Computing Surveys, Sept. 1993, Vol 25, No. 3, pp. 225-262. (3194KB) download PDF
D. Dill, "What's Between Simulation and Formal Verification?", slides from a presentation by Prof. Dill, Stanford University at DAC'98. (388KB) download PS
D. Dill, "Formal Verification: Experiences and Future Prospects", slides from a presentation at POPL 1999. (203KB) download PS
D. Dill and S. Tasiran, "Simulation meets Formal Verification", slides from a presentation at ICCAD 1999. (521KB) download PS
D. Dill, "Alternative Approaches to Formal Verification (Symbolic Simulation)", slides from a presentation at CAV 1999. (404KB) download PS
M.C. McFarland, "Formal Verification of Sequential Hardware: A Tutorial", IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst, Vol 12, No 5, pp. 633-54, May 1993. (2176KB) download PDF
Ching-Tsun Chou, "The Mathematical Foundation of Symbolic Trajectory Evaluation", Springer-Verlag 1999. (237KB) download PDF
J. Jain, A. Narayan, M. Fujita, A. Sangiovanni-Vincentelli "A Surv ey of T echniques for F ormalerVication of Combinational Circuits", ICCAD 1997. (307KB) download PDF
P. Camurati, P. Prinetto, "Formal Verification of Hardware Correctness: Introduction and Survey of Current Research", July 1988. pp. 8-19. (1.4MB) download PDF
E. Allen Emerson, "Temporal and Modal Logic", Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics 1990, J. van Leeuwen, ed., North-Holland Pub. Co./MIT Press, Pages 995-1072. (8.4MB) download PDF

And what is not:

AMS Surveys...

M. H. Zaki, S. Tahar, and G. Bois, "Formal Verification of Analog and Mixed Signal Designs: A Survey and Comparison", Proc. IEEE Northeast Workshop on Circuits and Systems (NEWCAS'06), June 2006, pp.281-284. (shorter 4 page survey) (author website)

On Formal Verification in general ...

Thomas Kropf: "Introduction to Formal Hardware Verification", (Springer Verlag; 299 pages, January 2000)
Thomas Kropf: "Formal Hardware Verification : Methods and Systems in Comparison", (Springer Verlag; Lecture Notes in Computer Science, No. 1287; 384 pages, November 1997)
M. Yoeli, "Formal Verification of Hardware Design", IEEE Computer Society Press, 1991. (Book containing a collection of papers)
Various Contributors, "Survey of Formal Verification", IEEE Spectrum, June 1996, pp. 61-67. (Collection of papers)

... and in particular Model Checking ...

E. M. Clarke, O. Grumberg and D. Peled, "Model Checking", (MIT Press; 330 pages; January 2000)

... and Theorem Proving

M. Kaufmann, P. Manolios, and J S. Moore, "Computer-Aided Reasoning: An Approach" (Kluwer Academic Publishers, June 2000)
M. Kaufmann, P. Manolios, and J S. Moore (eds.), "Computer-Aided Reasoning: ACL2 Case Studies" (Kluwer Academic Publishers, June 2000)
M. J. C. Gordon and T. F. Melham (eds.), "Introduction to HOL: A Theorem-Proving Environment for Higher-Order Logic" (Cambridge University Press, 1993)

Disclaimer

Most of the material maintained on this page is covered by copyright. They should be used in the spirit of free distribution of material for unadulterated advancement of knowledge and should in no way be used to gain commercial advantage. To copy otherwise, to republish, to post on servers, or to redistribute to lists requires prior specific permission from respective copyright owners.

Back to my home page