Εξώφυλλο

Κώδικας QR

Verification by error modeling : using testing techniques in hardware verification /

Κύριος συγγραφέας:	Radecka, Katarzyna.
Άλλοι συγγραφείς:	Zilic, Zeljko.
Μορφή:	Βιβλίο
Γλώσσα:	English
Στοιχεία έκδοσης:	Boston : Kluwer Academic, 2003.
Σειρά:	Frontiers in electronic testing ; 25
Ταξινομικός αριθμός:	621.39'5 RAD
Θέματα:	Integrated circuits > Very large scale integration > Computer-aided design. Integrated circuits > Verification. Error analysis (Mathematics)
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

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

Introduction to formal hardware verification /
από: Kropf, Thomas, 1961-
Στοιχεία έκδοσης: (1999)

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

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

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

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

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

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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Architecture design for soft errors
από: Mukherjee, Shubu.
Στοιχεία έκδοσης: (2008)

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

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

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

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

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

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

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

Professional verification : a guide to advanced functional verification /
από: Wilcox, Paul, MBA.
Στοιχεία έκδοσης: (2004)

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

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

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

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

Advanced ASIC chip synthesis : using Synopsys Design Compiler, Physical Compiler, and PrimeTime /
από: Bhatnagar, Himanshu.
Στοιχεία έκδοσης: (2002)

ASIC and FPGA verification : a quide to component modeling /
από: Munden, Richard.
Στοιχεία έκδοσης: (2005)

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

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

Electromagnetics, microwave circuit and antenna design for communications engineering /
από: Russer, P. 1943-
Στοιχεία έκδοσης: (2006)