Assertion-based design /

Assertion-based design /

Show other versions (3)

Saved in:

Bibliographic Details
Main Author:	Foster, Harry, 1956- (Author)
Other Authors:	Krolnik, Adam, Lacey, David
Format:	Book
Language:	English
Edition:	2nd ed.
Subjects:	Integrated circuits > Very large scale integration > Design and construction. Integrated circuits > Verification. Verilog (Computer hardware description language).
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

Digital VLSI design
by: Singh, Ajay Kumar
Published: (2011)

Digital VLSI design
by: Singh, Ajay Kumar
Published: (2011)

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

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

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

Variable body blasing based vlsi design approach to reduce static power
by: Woo, Wei Kai
Published: (2018)

IEEE transactions on very large scale integration (VLSI) systems.
Published: (1993)

VLSI design
by: Raj, A. Albert
Published: (2008)

VLSI design
by: Raj, A. Albert
Published: (2008)

VLSI design
by: Bagad, Vilas S.
Published: (2013)

VLSI design
by: Bagad, Vilas S.
Published: (2013)

VLSI design environments /
Published: (2000)

VLSI design environments /
Published: (2000)

Modern VLSI design : system-on-chip design /
by: Wolf, Wayne
Published: (2002)

VLSI system design /
by: Muroga, Saburo
Published: (1982)

Design automation, languages and simulations /
Published: (2003)

Design automation, languages, and simulations /

The design and analysis of VLSI circuits /
by: Glasser, Lance A.
Published: (1985)

VLSI-design of non-volatile memories /
by: Campardo, Giovanni
Published: (2005)

Low-power digital VLSI design : circuits and systems /
by: Bellaouar, Abdellatif
Published: (1995)

Analysis and design of resilient VLSI circuits : mitigating soft errors and process variations /
by: Garg, Rajesh
Published: (2010)

Design of dual-port SRAM in 130nm CMOS technology /
by: Nurdyana Mat Jainudin
Published: (2016)

VLSI circuit design methodology demystified : a conceptual taxonomy /
by: Xiu, Liming
Published: (2008)

VLSI circuit design methodology demystified : a conceptual taxonomy /
by: Xiu, Liming
Published: (2007)

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

Interconnect tree optimization algorithm in nanometer very large scale integration designs /
by: Chessda Uttraphan Eh Kan
Published: (2016)

VLSI design /
by: Das, Debaprasad
Published: (2010)

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

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

Design of low-power and high-speed 4x4 multiplier using vedic mathematics and reversible logic gates /
by: Lim, Weng Chuen
Published: (2015)

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

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

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

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

Analog VLSI design automation /
by: Balkir, Sina
Published: (2003)

VLSI digital signal processing systems : design and implementation /
by: Parhi, Keshab K.
Published: (1999)

VLSI digital signal processing systems : design and implementation /
by: Parhi, Keshab K, 1959-
Published: (1999)

VLSI digital signal processing systems design and implementation
by: Parhi
Published: (1999)