Assertion-based design /

Formal verification : an essential toolkit for modern VLSI design /
by: Seligman, Erik, et al.
Published: (2015)

Principles of verifiable RTL design : a functional coding style supporting verification processes in Verilog /
by: Bening, Lionel, 1939-
Published: (2000)

Formal verification : an essential toolkit for modern VLSI design /
by: Seligman, Erik
Published: (2015)

VLSI chip design with the hardware description language VERILOG : an introduction based on a large RISC processor design /
by: Golze, Ulrich, 1948-
Published: (1996)

Assertion-based design /
by: Foster, Harry, 1956-
Published: (2004)

Introduction to formal hardware verification /
by: Kropf, Thomas, 1961-
Published: (1999)

Design & test techniques for VLSI & WSI circuits /
Published: (1989)

Top-down digital VLSI design : from architectures to gate-level circuits and FPGAs /
by: Kaeslin, Hubert
Published: (2014)

Correct hardware design and verification methods : 13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005 ; proceedings /
Published: (2005)

Correct hardware design and verification methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : proceedings /
Published: (2003)

Correct hardware design and verification methods : 10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings /
Published: (1999)

Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings /
Published: (2001)

Self-testing VLSI design /
by: I͡Armolik, V. N. (Vi͡acheslav Nikolaevich)
Published: (1993)

Diagnostic measurements in LSI/VLSI integrated circuits production /
by: Jakubowski, Andrzej
Published: (1991)

Formal hardware verification : methods and systems in comparison /
Published: (1997)

Mixed analog-digital VLSI devices and technology : an introduction /
by: Tsividis, Yannis
Published: (1996)

Unified methods for VLSI simulation and test generation /
by: Cheng, Kwang-Ting, 1961-
Published: (1989)

VLSI chip design with the hardware description language VERILOG : an introduction based on a large RISC processor design /
by: Golze, Ulrich, 1948-
Published: (1996)

Genetic algorithms for VLSI design, layout & test automation /
by: Mazumder, Pinaki
Published: (1999)

VLSI test principles and architectures : design for testability /
Published: (2006)

VLSI planarization : methods, models, implementation /
by: Feinberg, V.
Published: (1997)

Digital timing macromodeling for VLSI design verification /
by: Kong, Jeong-Taek, 1959-
Published: (1995)

Formal methods for VLSI design : IFIP WG 10.5 lecture notes /
Published: (1990)

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

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

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

From contamination to defects, faults, and yield loss : simulation and applications /
by: Khare, Jitendra B.
Published: (1996)

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

Basic VLSI design technology : technical questions and solutions /
by: Bhargava, Cherry, 1982-, et al.
Published: (2020)

Verification methodology manual for SystemVerilog /
Published: (2006)

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

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

Proceedings of the ... ACM Great Lakes Symposium on VLSI.
Published: (2002)

Great Lakes Symposium on VLSI : (GLSVLSI).

Proceedings /
Published: (1991)

VLSI design /
by: Vai, M. Michael
Published: (2001)