Εξώφυλλο

Κώδικας QR

Advanced formal verification /

Άλλοι συγγραφείς:	Drechsler, Rolf.
Μορφή:	Βιβλίο
Γλώσσα:	English
Στοιχεία έκδοσης:	Boston : Kluwer Academic Publishers, 2004
Ταξινομικός αριθμός:	621.3815'48 ADV
Θέματα:	Electronic circuits > Testing. Decision trees.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

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

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

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

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

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

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

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

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

Embedded Processor-Based Self-Test /
από: Γκιζόπουλος, Δημήτρης.
Στοιχεία έκδοσης: (2004)

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

Microelectronic circuits /
από: Sedra, Adel S.
Στοιχεία έκδοσης: (1998)

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

On-line testing for VLSI/
Στοιχεία έκδοσης: (1998)

Noise theory of linear and nonlinear circuits /
από: Engberg, J. 1936-
Στοιχεία έκδοσης: (1995)

Design for AT speed test diagnosis and measurment/
Στοιχεία έκδοσης: (2000)

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

Design-for-test for digital IC`s and embedded core systems /
από: Crouch, Alfred L.
Στοιχεία έκδοσης: (1999)

Digital logic techniques : principles and practice /
από: Stonham, T. J.
Στοιχεία έκδοσης: (1996)

Digital Fundamentals /
από: Floyd, Thomas L.
Στοιχεία έκδοσης: (2000)

Electrical engineering design compendium /
από: McConnell, Robert L. 1939-
Στοιχεία έκδοσης: (1993)

Electronic devices and circuit theory /
από: Boylestad, Robert L.
Στοιχεία έκδοσης: (1999)

Analog circuits cookbook
από: Hickman, Ian.
Στοιχεία έκδοσης: (1999)

Introduction to advanced system-on-chip test design and optimization /
από: Larsson, Erik, 1966-
Στοιχεία έκδοσης: (2005)

Asynchronous circuit design /
από: Myers, Chris J., 1969-
Στοιχεία έκδοσης: (2001)

Proceedings : 14th IEEE International On-Line Testing Symposium : Rhodes, Greece, July 6-9, 2008 /
Στοιχεία έκδοσης: (2008)

Pulse, digital, and switching waveforms : devices and circuits for their generation and processing /
από: Millman, Jacob, 1911-
Στοιχεία έκδοσης: (1965)

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

Advances in electronic testing : challenges and methodologies /
Στοιχεία έκδοσης: (2006)

Testing of digital systems /
από: Jha, Niraj K.
Στοιχεία έκδοσης: (2003)

Telecommunication circuits and technology
από: Leven, Andrew A.
Στοιχεία έκδοσης: (2000)

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

Building a successful board-test strategy
από: Scheiber, Stephen F.
Στοιχεία έκδοσης: (2001)

Login and computer design fundamentals /
από: Mano, Morris M., 1927-
Στοιχεία έκδοσης: (2000)

Fundamentals of digital logic and microcomputer design /
από: Rafiquazzaman, Mohamed.
Στοιχεία έκδοσης: (1999)

The art and science of analog circuit design
Στοιχεία έκδοσης: (1998)

Analog circuit design art, science, and personalities /
Στοιχεία έκδοσης: (1991)

Reuse in electronic design : from information modelling to intellectual properties /
από: Cornadi, Peter.
Στοιχεία έκδοσης: (1999)

Troubleshooting analog circuits
από: Pease, Robert A.
Στοιχεία έκδοσης: (1993)

Advances in computers.
Στοιχεία έκδοσης: (2004)

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

The boundary-scan handbook /
από: Parker, Kenneth P.
Στοιχεία έκδοσης: (2003)