W. A. Hunt, "A formal HDL and its use in the FM9001 verification," in Mechanized Reasoning in Hardware Design (C. Hoare and M. Gordon, eds.), Prentice-Hall, 1992. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
An Introduction to Behavior Tables - Rath, al. (1993) (4 citations) (Correct)
Formal Verification for Fault-Tolerant.. - Owre, Rushby.. (1995) (221 citations) (Correct)
Specification and Synthesis of Bounded Indirection - Rath, Tuna, Johnson (1994) (1 citation) (Correct)
Experience with embedding hardware description.. - Boulton, Gordon.. (1992) (40 citations) (Correct)
The Role of Automated Reasoning in Integrated System.. - Good, Kaufmann, Moore (1992) (1 citation) (Correct)
System Factorization in Codesign - A Case Study of the Use.. - Bose, Tuna, Johnson (1993) (2 citations) (Correct)
Derivation of a DRAM Memory Interface by Sequential.. - Rath, Bose, Johnson (1993) (1 citation) (Correct)
NASA Langley's Research and Technology-Transfer.. - Butler, Caldwell, .. (1995) (8 citations) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC