Εξώφυλλο

Κώδικας QR

Introduction to formal hardware verification /

Κύριος συγγραφέας:	Kropf, Thomas, 1961-
Μορφή:	Βιβλίο
Γλώσσα:	English
Στοιχεία έκδοσης:	Berlin ; New York : Springer, c1999
Ταξινομικός αριθμός:	621.39'5 KRO
Θέματα:	Integrated circuits > Very large scale integration > Computer-aided design. Integrated circuits > Verification.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

Παρόμοια τεκμήρια

Verification by error modeling : using testing techniques in hardware verification /
από: Radecka, Katarzyna.
Στοιχεία έκδοσης: (2003)

Design verification with e /
από: Palnitkar, Samir.
Στοιχεία έκδοσης: (2004)

The e hardware verification language /
από: Iman, Sasan.
Στοιχεία έκδοσης: (2004)

VLSI digital signal processing systems : design and implementation /
από: Parhi, Keshab K. 1959-
Στοιχεία έκδοσης: (1999)

From contamination to defects, faults and yield loss : Simulation and applications /
από: Khare, Jitendra B.
Στοιχεία έκδοσης: (1996)

Low-power design of nanometer FPGAs : architecture and EDA /
από: Hassan, Hassan, 1979-
Στοιχεία έκδοσης: (2010)

DSP integrated circuits
από: Wanhammar, Lars.
Στοιχεία έκδοσης: (1999)

Contemporary logic design/
από: Katz, Randy H., 1955-
Στοιχεία έκδοσης: (1994)

IEEE transactions on Very Large Scale Integration (VLSI) Systems
Στοιχεία έκδοσης: (1993)

Verilog digital system design : RT level synthesis, testbench, and verification /
από: Navabi, Zainalabedin.
Στοιχεία έκδοσης: (2006)

The designer's guide to Verilog-AMS /
από: Kundert, Kenneth S.
Στοιχεία έκδοσης: (2004)

Advanced digital design with the Verilog HDL /
από: Ciletti, Michael D.
Στοιχεία έκδοσης: (2003)

Electronic design automation : synthesis, verification, and test /
Στοιχεία έκδοσης: (2009)

VLSI test principles and architectures : design for testability /
Στοιχεία έκδοσης: (2006)

R-trees : theory and applications /
Στοιχεία έκδοσης: (2005)

Hardware Design Verification : simulation and formal methods - based approaches /
από: Lam, William K.
Στοιχεία έκδοσης: (2005)

System-on-chip test architectures : nanometer design for testability /
Στοιχεία έκδοσης: (2008)

IEEE transactions on computer-aided design of integrated circuits and systems
Στοιχεία έκδοσης: (1982)

Circuit design with VHDL /
από: Pedroni, Volnei A.
Στοιχεία έκδοσης: (2004)

Advanced formal verification /
Στοιχεία έκδοσης: (2004)

Introduction to IDDQ testing /
Στοιχεία έκδοσης: (1997)

VLSI testing : digital and mixed analoque/digital techniques /
από: Hurst, Stanley L.
Στοιχεία έκδοσης: (1998)

Computational aspects of VLSI /
από: Ullman, Jeffrey D., 1942-
Στοιχεία έκδοσης: (1984)

System on chip methodologies & design languages /
Στοιχεία έκδοσης: (2001)

System-level design with Rosetta
από: Alexander, Perry.
Στοιχεία έκδοσης: (2007)

FPGA-based system design /
από: Wolf, Wayne.
Στοιχεία έκδοσης: (2004)

Fundamentals of digital logic with VHDL design /
από: Brown, Stephen.
Στοιχεία έκδοσης: (2000)

Fundamentals of digital logic with VHDL design /
από: Brown, Stephen.
Στοιχεία έκδοσης: (2009)

Delay fault testing for VLSI circuits/
από: Krstic, Angela 1965-
Στοιχεία έκδοσης: (1998)

Power-constrained testing of VLSI circuits/
από: Nicolici, Nicola.
Στοιχεία έκδοσης: (2003)

Elements of STIL : Principles and Applications of IEEE Std. 1450 /
από: Maston, Gregory A.
Στοιχεία έκδοσης: (2003)

Modern VLSI design : system-on-chip design /
από: Wolf, Marilyn 1958-
Στοιχεία έκδοσης: (2002)

Digital systems design with VHDL and synthesis : an integrated approach /
από: Chang, Kou-Chuan, 1957-
Στοιχεία έκδοσης: (1999)

Verification techniques for system-level design
από: Fujita, Masahiro, 1956-
Στοιχεία έκδοσης: (2008)

Introduction to MOS LSI design /
από: Mavor, J.
Στοιχεία έκδοσης: (1983)

Introduction to VLSI systems /
από: Mead, Carver.
Στοιχεία έκδοσης: (1980)

Verilog HDL : A guide to digital design and synthesis /
από: Palnitkar, Samir.
Στοιχεία έκδοσης: (2003)

Computer-aided design techniques for low power sequential logic circuits/
από: Monteiro, Josi, 1966-
Στοιχεία έκδοσης: (1979)

Essentials of electronic testing for digital, menory and mixed-signal VLSI circuits /
από: Bushnell, Michael L. 1950-
Στοιχεία έκδοσης: (2000)

A Vhdl primer /
από: Bhasker, Jayaram.
Στοιχεία έκδοσης: (1999)