Εξώφυλλο

Κώδικας QR

Formal equivalence checking and design debugging /

Κύριος συγγραφέας:	Huang, Shi-Yu , 1965-
Άλλοι συγγραφείς:	Cheng, Kwang-Ting 1961-
Μορφή:	Βιβλίο
Γλώσσα:	English
Στοιχεία έκδοσης:	Boston : Kluwer Academic Publishers, 1998
Ταξινομικός αριθμός:	621.3815 HUA
Θέματα:	Integrated circuits > Verification. Electronic circuit design > Data processing. Application specific integrated circuits > Design and construction.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

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

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

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

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

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

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

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

Design of analog integrated circuits and systems/
από: Laker, Kenneth R.
Στοιχεία έκδοσης: (1994)

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

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

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

Electronic circuit analysis and design /
από: Neamen, Donald A.
Στοιχεία έκδοσης: (1996)

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

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

Embedded DSP processor design application specific instruction set processors /
από: Liu, Dake, 1957-
Στοιχεία έκδοσης: (2008)

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

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

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

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

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

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

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

The practical Xilinx designer lab book /
από: Van Den Bout, Dave.
Στοιχεία έκδοσης: (1998)

Embedded core design with FPGAs /
από: Navabi, Zainalabedin.
Στοιχεία έκδοσης: (2007)

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

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

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

Mathematical theory of computation / Zohar Manna.
από: Manna, Zohar.
Στοιχεία έκδοσης: (1974)

RF circuit design
από: Bowick, Chris.
Στοιχεία έκδοσης: (2008)

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

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

The design analysis handbook a practical guide to design validation /
από: Walker, N. Edward.
Στοιχεία έκδοσης: (1998)

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

Debugging embedded microprocessor systems /
από: Ball, Stuart R.
Στοιχεία έκδοσης: (1998)

Practical electronics handbook /
από: Sinclair, Ian Robertson.
Στοιχεία έκδοσης: (2007)

Modeling embedded systems and SoCs : concurrency and time in models of computation /
από: Jantsch, Axel.
Στοιχεία έκδοσης: (2004)

The practical xilinx designer lab book, version 1.5 /
από: Van Den Bout, David E.
Στοιχεία έκδοσης: (1999)

Logic design : a review of theory and practice /
από: Langdon, Glen G.
Στοιχεία έκδοσης: (1974)

SMT soldering handbook
από: Strauss, Rudolf.
Στοιχεία έκδοσης: (1998)

Fabricating printed circuit boards
από: Varteresian, Jon.
Στοιχεία έκδοσης: (2002)

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