Brock-Hunt HDL(ID:3945/bro001)

Bishop Brock and Warren Hunt 1992

Lisp-like Hardware definition language


Related languages
Brock-Hunt HDL => Rusinoff HDL   Augmentation of
References:
  • Brock, Bishop C. and Hunt, Warren A., Jr., A Formal HDL and its use in the FM9001 verification, in Proceedings of the Royal Society, 1992. view details
  • Brock, Bishop C., Hunt, Warren A., Jr., and Young, William D., "Introduction to a formally defined hardware description language" view details
          in Proceedings of the IFIP Conference on Theorem Provers in Circuit Design, June 1992 view details
  • David M. Russinoff, "A Formal Language for the Specification and Verification of Synchronous and Asynchronous Circuits", NASA CR-191509, September 1993. view details Abstract: The purpose of this paper is to investigate the integration of these previous efforts in the design of an asynchronous Bysantine- resilient computing system. The ultimate goal is a formlally verified gate-level implementation.

    pdf
          in Proceedings of the IFIP Conference on Theorem Provers in Circuit Design, June 1992 view details