Will Proof Replace Simulation?: Discussion

C. A. R. Hoare, C. H. Pygott, W. A. Hunt, M. Fourman

Research output: Contribution to journalArticlepeer-review

Abstract

Within industry, the almost universally accepted method of validating a design against its requirement involves extrapolation from simulation of a (comparatively) small number of test cases to the behaviour of the complete circuit. That such an extrapolation is in general unjustifiable is widely accepted, but despite theorem provers' ability to provide a more robust link between specification and circuit design, very few industrial engineers are using theorem provers on a daily basis.
This paper aims to consider some of the factors that may be preventing the wider application of proof methods. Specifically, RSRE has concentrated on two areas of research : the development of a largely automatic but functionally limited proof system, and more recently on a more general provers based on the concepts of a hardware description specifically for hardware design applications, may provide a more familiar environment for designers wishing to do proofs.
Original languageEnglish
Pages (from-to)32-33
Number of pages2
JournalPhilosophical Transactions: Physical Sciences and Engineering
Volume339
Issue number1652
Publication statusPublished - 15 Apr 1992

Fingerprint

Dive into the research topics of 'Will Proof Replace Simulation?: Discussion'. Together they form a unique fingerprint.

Cite this