Hardware Description Languages and their Applications : Specification, modelling, verification and synthesis of microelectronic systems /

Схожие документы

• SystemVerilog for Hardware Description : RTL Design and Verification /
  по: Taraate, Vaibbhav
  Опубликовано: (2020)
• The Verilog Hardware Description Language /
  по: Thomas, Donald E.
  Опубликовано: (2002)
• Architecture Description Languages : IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22-27, 2004, Toulouse, France /
  по: Pierre Dissaux, Mamoun Filali-Amine, Pierre Michel, François Vernadat
  Опубликовано: (2005)
• Formal Hardware Verification : Methods and Systems in Comparison /
  по: Thomas Kropf
  Опубликовано: (1997)
• Advances in Hardware Design and Verification /
  по: Hon F. Li, David K. Probst
  Опубликовано: (1997)