H ? « ‹ ← → › »

Language peer sets for Brock-Hunt HDL:
United States↑
United States/1992↑
Designed 1992 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑

Brock-Hunt HDL(ID:3945/bro001)

alternate simple view
Country: United States
Designed 1992

Bishop Brock and Warren Hunt 1992

Lisp-like Hardware definition language

Related languages
Brock-Hunt HDL → Rusinoff HDL   Augmentation of
References:
  • Brock, Bishop C. (1992) 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.
  • Brock, Bishop C., Hunt, Warren A., Jr., and Young, (1992) Brock, Bishop C., Hunt, Warren A., Jr., and Young, William D., "Introduction to a formally defined hardware description language"
          in [Proceedings] (1992) Proceedings of the IFIP Conference on Theorem Provers in Circuit Design, June 1992
  • David M. Russinoff, (1993) David M. Russinoff, "A Formal Language for the Specification and Verification of Synchronous and Asynchronous Circuits", NASA CR-191509, September 1993. Abstract pdf
          in [Proceedings] (1992) Proceedings of the IFIP Conference on Theorem Provers in Circuit Design, June 1992
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder