CTL for test information of digital ICs /

Digital VLSI design and simulation with Verilog /
by: Tripathi, Suman Lata, et al.
Published: (2022)

Practical formal methods for hardware design /
Published: (1997)

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

Testability concepts for digital ICs : the macro test approach /
by: Beenker, F. P. M. (Frans P. M.)
Published: (1995)

Digital VLSI design with Verilog : a textbook from Silicon Valley Technical Institute /
by: Williams, John, Dr
Published: (2008)

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

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

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, et al.
Published: (2015)

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

Design-for-test for digital IC's and embedded core systems /
by: Crouch, Alfred L.
Published: (1999)

Digital design and modeling with VHDL and synthesis /
by: Chang, K. C. (Kou-Chuan), 1957-
Published: (1997)

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

Practical digital design using ICs /
by: Greenfield, Joseph D., 1930-
Published: (1977)

Digital systems testing and testable design /
by: Abramovici, Miron
Published: (1990)

Introduction to digital board testing /
by: Bennetts, R. G.
Published: (1982)

Digital systems testing and testable design /
by: Abramovici, Miron
Published: (1990)

Digital circuit testing : a guide to DFT and other techniques /
by: Wang, Francis C.
Published: (1991)

Random testing of digital circuits : theory and applications /
by: David, René, 1939-
Published: (1998)

Digitally-assisted analog and analog-assisted digital IC design /
Published: (2015)

MOS digital ICs /
by: Flynn, George, 1921-
Published: (1975)

VHDL : analysis and modeling of digital systems /
by: Navabi, Zainalabedin
Published: (1998)

Digital circuit testing : a guide to DFT and other techniques /
by: Wang, Francis C.
Published: (1991)

Writing testbenches : functional verification of HDL models /
by: Bergeron, Janick
Published: (2003)

Writing testbenches : functional verification of HDL models /
by: Bergeron, Janick
Published: (2000)

Digitally-assisted analog and analog-assisted digital IC design /
Published: (2015)

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

Developments in integrated circuit testing /
Published: (1987)

High-speed digital IC technologies /
Published: (1990)

IC mask design : essential layout techniques /
by: Saint, Christopher, 1961-
Published: (2002)

Electronic design automation for IC system design, verification, and testing /
Published: (2016)

An introduction to mixed-signal IC test and measurement /
by: Burns, Mark, 1962-
Published: (2001)

Digital integrated circuits : design-for-test using Simulink and Stateflow /
by: Perelroyzen, Evgeni
Published: (2007)

Automatic testing and evaluation of digital integrated circuits /
by: Healy, James T., 1940-
Published: (1981)

Model engineering in mixed-signal circuit design : a guide to generating accurate behavioral models in VHDL-AMS /
by: Huss, Sorin A. (Sorin Alexander)
Published: (2001)

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