Εξώφυλλο

Κώδικας QR

Hardware Design Verification : simulation and formal methods - based approaches /

Κύριος συγγραφέας:	Lam, William K.
Μορφή:	Βιβλίο
Γλώσσα:	English
Στοιχεία έκδοσης:	New Jersey : Pearson Education, 2005
Ταξινομικός αριθμός:	621.39'222 LAM
Θέματα:	Integrated circuits > Verification.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

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

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

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

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

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

VHDL for designers /
από: Sjoholm, Stefan.
Στοιχεία έκδοσης: (1997)

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

The designer's guide to VHDL /
από: Ashenden, Peter J.
Στοιχεία έκδοσης: (2002)

The designer's guide to VHDL
από: Ashenden, Peter J.
Στοιχεία έκδοσης: (2008)

The designer's guide to VHDL /
από: Ashenden, Peter J.
Στοιχεία έκδοσης: (1995)

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

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

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

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

Digital design with CPLD applications and VHDL /
από: Dueck, Robert K.
Στοιχεία έκδοσης: (2005)

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

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

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

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

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

Digital design : an embedded systems approach using Verilog /
από: Ashenden, Peter J.
Στοιχεία έκδοσης: (2008)

Digital design : an embedded systems approach using VHDL /
από: Ashenden, Peter J.
Στοιχεία έκδοσης: (2008)

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

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

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

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

Digital system design and VHDL /
από: Zwolinski, Mark.
Στοιχεία έκδοσης: (2000)

Digital Computer Desing: logic, circuirity, and synthesis /
από: Braun, Edward L.
Στοιχεία έκδοσης: (1963)

VoIP hacks /
από: Wallingford, Ted.
Στοιχεία έκδοσης: (2006)

Successful simulation: a practical approach to simulation project /
από: Robinson, Stewart.
Στοιχεία έκδοσης: (1994)

Learning through simulations : a guide to the design and use of simulations in business and education /
από: Fripp, John 1940-
Στοιχεία έκδοσης: (1993)

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

Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking /
από: Drusinsky, Doron.
Στοιχεία έκδοσης: (2006)

Strategic modelling and business dynamics : a feedback systems approach /
από: Morecroft, John D. W.
Στοιχεία έκδοσης: (2007)

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

Vhdl coding styles and methodologies /
από: Cohen, Ben, 1945-
Στοιχεία έκδοσης: (2002)

HDL programming fundamentals : VHDL and Verilog /
από: Botros, Nazeih 1945-
Στοιχεία έκδοσης: (2006)

VHDL coding and logic synthesis with Synopsys /
από: Lee, Weng Fook.
Στοιχεία έκδοσης: (2000)

VHDL-2008 just the new stuff /
από: Ashenden, Peter J.
Στοιχεία έκδοσης: (2008)

Formal equivalence checking and design debugging /
από: Huang, Shi-Yu , 1965-
Στοιχεία έκδοσης: (1998)

Advanced digital logic design : using VHDL, state machines, and synthesis for FPGAs /
από: Lee, Sunggu.
Στοιχεία έκδοσης: (2006)