From HDL descriptions to guaranteed correct circuit designs : Proc. of the IFIP WG 10.2 working conference : Konf. Grenoble, France, 9.- 11. Sept. 1986 /

Documenti analoghi

• Correct hardware design and verification methods : IFIP WG10.2 Advanced research working conference : Konf. CHARME'93, Arles, Frances, 24.- 26. May 1993 /
  Pubblicazione: (1993)
• Computer hardware description languages and their applications : Konf. Proc. of the IFIP WG 10.2 8th international conferens, Amsterdam, Netherlands, 27.- 29. apr. 1987 /
  Pubblicazione: (1987)
• Verilog HDL : Digital Design and Modeling
  di: Cavanagh, Joseph
  Pubblicazione: (2007)
• Digital design and synthesis with verilog HDL /
  di: Sternheim, Eli
  Pubblicazione: (1993)
• Automatizované vyhodnocovanie HDL modelov
  di: Behúň, Michal, 1988-
  Pubblicazione: (2010)