Semantics of digital circuits /

VHDL : modular design and synthesis of cores and systems /
by: Navabi, Zainalabedin
Published: (2007)

Design verification with e /
by: Palnitkar, Samir
Published: (2004)

The E hardware verification language /
by: Iman, Sasan
Published: (2004)

Writing testbenches using System Verilog /
by: Bergeron, Janick
Published: (2006)

SystemVerilog for verification : a guide to learning the testbench language features /
by: Spear, Chris
Published: (2006)

Verification methodology manual for SystemVerilog /
Published: (2006)

Digital electronics and design with VHDL /
by: Pedroni, Volnei A.
Published: (2008)

The VHDL reference : a practical guide to computer-aided integrated circuit design including VHDL-AMS /
Published: (2000)

Circuit synthesis with VHDL /
by: Airiau, Roland
Published: (1994)

VHDL '92 /
by: Bergé, Jean-Michel
Published: (1993)

Circuit design with VHDL /
by: Pedroni, Volnei A.
Published: (2004)

Circuit design and simulation with VHDL /
by: Pedroni, Volnei A.
Published: (2010)

Principles of Verilog digital design /
by: Chin, Wen-Long
Published: (2022)

System-on-chip methodologies & design languages /
Published: (2001)

Languages for system specification : selected contributions on UML, SystemC, System Verilog, mixed-signal systems, and property specification from FDL'03 /
Published: (2004)

System specification & design languages : best of FDL'02 /
Published: (2003)

Advances in design and specification languages for SoCs : selected contributions from FDL'04 /
Published: (2005)

System specification & design languages : best of FDL'02 /
Published: (2003)

VHDL : a starter's guide /
by: Yalamanchili, Sudhakar
Published: (2005)

SystemVerilog assertions handbook : ... for dynamic and formal verification /
by: Cohen, Ben, 1945-, et al.
Published: (2023)

Formal semantics and proof techniques for optimizing VHDL models /
by: Umamageswaran, Kothanda, 1974-
Published: (1999)

Designing digital computer systems with Verilog /
by: Lilja, David J.
Published: (2005)

Verilog digital system design /
by: Navabi, Zainalabedin
Published: (1999)

Real chip design and verification using Verilog and VHDL /
by: Cohen, Ben, 1945-
Published: (2002)

Verilog digital system design : RT level synthesis, testbench, and verification /
by: Navabi, Zainalabedin
Published: (2006)

CTL for test information of digital ICs /
by: Kapur, Rohit
Published: (2003)

Verilog for digital design /
by: Vahid, Frank
Published: (2007)

Practical digital design : an introduction to VHDL /
by: Reidenbach, Bruce
Published: (2022)

Digital system design with SystemVerilog /
by: Zwoliński, Mark
Published: (2010)

Verilog digital computer design : algorithms into hardware /
by: Arnold, Mark Gordon
Published: (1999)

HDL programming fundamentals : VHDL and Verilog /
by: Botros, Nazeih, 1945-
Published: (2006)

System on chip design languages : extended papers : best of FDL'01 and HDLCon'01 /
Published: (2002)

The system designer's guide to VHDL-AMS : analog, mixed-signal, and mixed-technology modeling /
by: Ashenden, Peter J.
Published: (2003)

VHDL for designers /
by: Sjoholm, Stefan
Published: (1997)

Proceedings /
Published: (1998)

System specification & design languages : best of FDL'02 /
Published: (2003)