Assertion-based design /

Assertion-based design /

Saved in:

Bibliographic Details
Author / Creator:	Foster, Harry, 1956-
Edition:	2nd ed.
Imprint:	Boston : Kluwer Academic Publishers, c2004.
Description:	1 online resource (xxiii, 390 p.) : ill.
Language:	English
Subject:	Integrated circuits -- Very large scale integration -- Design and construction. Integrated circuits -- Verification. Verilog (Computer hardware description language) Integrated circuits -- Verification. Integrated circuits -- Very large scale integration -- Design and construction. Verilog (Computer hardware description language)
Format:	E-Resource Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/8876495

Hidden Bibliographic Details
Other authors / contributors:	Krolnik, Adam. Lacey, David.
ISBN:	9781402080289 140208028X
Notes:	Includes bibliographical references (p. 379-383) and index. Description based on print version record.
Other form:	Print version: Foster, Harry, 1956- Assertion-based design. 2nd ed. Boston : Kluwer Academic Publishers, c2004 1402080271 9781402080272

Similar Items

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

Digital VLSI design with Verilog : a textbook from Silicon Valley Polytechnic Institute /
by: Williams, John Michael
Published: (2014)

Layout design and verification /
Published: (1986)

Digital VLSI systems design : a design manual for implementation of projects on FPGAs and ASICs using Verilog /
by: Ramachandran, S. (Seetharaman)
Published: (2007)

VLSI design and test for systems dependability /
Published: (2019)

Trace-based post-silicon validation for VLSI circuits /
by: Liu, Xiao
Published: (2014)

Debug automation from pre-silicon to post-silicon /
by: Dihbāshī, Mahdī
Published: (2014)

The power of assertions in SystemVerilog /
Published: (2010)

Generating hardware assertion checkers : for hardware verification, emulation, post-fabrication debugging and on-line monitoring /
by: Boulé, Marc, 1974-
Published: (2008)

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

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

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 : 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 : 13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrü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 : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings /
Published: (2001)

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)

VLSI circuit design methodology demystified : a practical approach for building up concepts /
by: Xiu, Liming
Published: (2007)

Design methodologies /
Published: (1986)

Basic VLSI design : principles and applications /
by: Pucknell, Douglas A., 1927-
Published: (1985)

Basic VLSI design : systems and circuits /
by: Pucknell, Douglas A., 1927-
Published: (1988)

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)

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

Verification methodology manual for SystemVerilog /
Published: (2006)

Trace theory and VLSI design /
by: Van de Snepscheut, Jan L. A., 1953-
Published: (1985)

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

Formal methods in circuit design /
by: Stavridou, V. (Victoria)
Published: (1993)

Learning from VLSI Design Experience /
by: Lee, Weng Fook
Published: (2019)

VLSI design & test : milestones and challenges : proceedings of VLSI Design Test Workshops [i.e. workshop], 2000, August 25-27, 2000 /
Published: (2000)

Minimizing and exploiting leakage in VLSI design /
Published: (2010)

VLSI design and test : 23rd International Symposium, VDAT 2019, Indore, India, July 4-6, 2019, Revised selected papers /
Published: (2019)

VLSI design and test : 22nd International Symposium, VDAT 2018, Madurai, India, June 28-30, 2018, Revised selected papers /
Published: (2019)

Progress in VLSI design and test : 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings /
Published: (2012)

Great Lakes Symposium on VLSI (GLSVLSI)
Published: ()

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

Correct hardware design and verification methods : IFIP WG10.5 advanced research working conference, CHARME '95, Frankfurt, Germany, October 1995 : proceedings /
Published: (1995)

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

Current trends in hardware verification and automated theorem proving /
Published: (1989)