- 1.Floyd, R. W. Assigning meanings to programs, Proc. Syrup. Appl. Math., Amer. Math. Soc., vol. 19, pp. 19- 32, 1967.Google ScholarCross Ref
- 2.Darringer, J. A. and King, J. C. Applications of symbolic execution to program testing, IEEE Computer, April 1978.Google ScholarDigital Library
- 3.Deutsch, L. P. An interactive program verifier, Ph.D. dissertation, Dept. Comp. Sci., Univ. of Calif., Berkeley CA., May 1973.Google Scholar
- 4.Good, D.I. Toward a man-machine system for proving program correctness, Ph.D. dissertation, Comp. Sci. Dept., Univ. of Wisc., Madison, Wisc., June 1970. Google ScholarDigital Library
- 5.Boyer, R. S. and Moore, J. S. Proving theorems about Lisp functions. JACM, voi. 22, no. 1, pp. 48-59, January 1975. Google ScholarDigital Library
- 6.Carter W.C., Ellozy H.A., Joyner W.H., Leeman G.B., Techniques for Microprogram Validation, IBM Research Report RC6361 1977.Google Scholar
- 7.Milner R. An Algebraic Definition of Simulation between Programs, Proc. 2nd Intl. Conf. on AI London 1971.Google Scholar
- 8.Carter, W. C., Joyner, W H., Jr., and Brand, D., Microprogram Verification Considered Necessary, National Computer Conference, 1978, pp. 657-664.Google Scholar
- 9.Bell C.G. and Newell A. Computer Structures: readin~2.s and examples, McGraw Hill New York 1970. Google ScholarDigital Library
- 10.Dietmeyer D.L. ~ ~ of S~, Allyn Bacon, inc. Boston 1971.Google Scholar
- 11.Wagner T. J. Hardware Verification Ph.D. dissertation, Comp. Sci. Dept., Stanford Univ., Sept. 1977. Google ScholarDigital Library
Index Terms
- The application of program verification techniques to hardware verification
Recommendations
Formal verification in hardware design: a survey
In recent years, formal methods have emerged as an alternative approach to ensuring the quality and correctness of hardware designs, overcoming some of the limitations of traditional validation techniques such as simulation and testing.
There are two ...
Industrial Strength Formal Verification Techniques for Hardware Designs
VLSID '97: Proceedings of the Tenth International Conference on VLSI Design: VLSI in Multimedia ApplicationsThe past decade has seen tremendous progress in the application of formal methods for hardware design and verification. While a number of different techniques based on BDDs, symbolic simulation, special-purpose decision procedures, model checking, and ...
Comments