Equivalence Checking of Digital Circuits Fundamentals, Principles, Methods /

Equivalence Checking of Digital Circuits Fundamentals, Principles, Methods /

Hardware veri?cation is the process of checking whether a design conforms to its speci?cations of functionality and timing. In today’s design processes it becomes more and more important. Very large scale integrated (VLSI) circuits and the resulting digital systems have conquered a place in almost a...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Molitor, Paul (Συγγραφέας), Mohnke, Janett (Συγγραφέας), Becker, Bernd (Συγγραφέας), Scholl, Christoph (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Boston, MA : Springer US, 2004.
Θέματα:	Engineering. Computers. Computer-aided engineering. Electrical engineering. Electronics. Microelectronics. Electronic circuits. Electronics and Microelectronics, Instrumentation. Circuits and Systems. Electrical Engineering. Computing Methodologies. Computer-Aided Engineering (CAD, CAE) and Design.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

Essentials of Electronic Testing for Digital, Memory and Mixed-Signal VLSI Circuits
ανά: Bushnell, Michael L., κ.ά.
Έκδοση: (2002)

Ultra Low-Power Electronics and Design
Έκδοση: (2004)

Substrate Noise Coupling in Mixed-Signal ASICs
Έκδοση: (2003)

Digital Systems Design and Prototyping Using Field Programmable Logic and Hardware Description Languages /
ανά: Salcic, Zoran, κ.ά.
Έκδοση: (2000)

Reuse-Based Methodologies and Tools in the Design of Analog and Mixed-Signal Integrated Circuits
ανά: CASTRO-LÓPEZ, R., κ.ά.
Έκδοση: (2006)

Fault Injection Techniques and Tools for Embedded Systems Reliability Evaluation
Έκδοση: (2003)

CMOS Current-Mode Circuits for Data Communications
ανά: Yuan, Fei
Έκδοση: (2007)

Low-Power High-Resolution Analog to Digital Converters Design, Test and Calibration /
ανά: Zjajo, Amir, κ.ά.
Έκδοση: (2011)

Low-Power High-Level Synthesis for Nanoscale CMOS Circuits
ανά: Patra, Priyardarsan, κ.ά.
Έκδοση: (2008)

The Core Test Wrapper Handbook Rationale and Application of IEEE Std. 1500™ /
ανά: Silva, Francisco da, κ.ά.
Έκδοση: (2006)

Timing Optimization Through Clock Skew Scheduling
Έκδοση: (2009)

Standardized Functional Verification
ανά: Wiemann, Alan
Έκδοση: (2008)

Nanometer Technology Designs High-Quality Delay Tests
ανά: Tehranipoor, Mohammad, κ.ά.
Έκδοση: (2008)

Taxonomies for the Development and Verification of Digital Systems
Έκδοση: (2005)

System Verilog for Verification A Guide to Learning the Testbench Language Features /
ανά: Spear, Chris
Έκδοση: (2008)

Closing the Power Gap Between ASIC & Custom Tools and Techniques for Low Power Design /
ανά: Chinnery, David, κ.ά.
Έκδοση: (2007)

Power Distribution Networks with On-Chip Decoupling Capacitors
ανά: Popovich, Mikhhail, κ.ά.
Έκδοση: (2008)

Leakage in Nanometer CMOS Technologies
ανά: Narendra, Siva G., κ.ά.
Έκδοση: (2006)

Advances in Design and Specification Languages for SoCs Selected Contributions from FDL’04 /
Έκδοση: (2005)

Verification Methodology Manual for SystemVerilog
ανά: Bergeron, Janick, κ.ά.
Έκδοση: (2006)

The Verillog® Hardware Description Language
ανά: Thomas, Donald E., κ.ά.
Έκδοση: (2002)

Power Estimation and Optimization Methodologies for VLIW-Based Embedded Systems
ανά: Zaccaria, Vittorio, κ.ά.
Έκδοση: (2003)

Introduction to Embedded System Design Using Field Programmable Gate Arrays
ανά: Dubey, Rahul
Έκδοση: (2009)

Static Timing Analysis for Nanometer Designs A Practical Approach /
ανά: Chadha, Rakesh, κ.ά.
Έκδοση: (2009)

Abstraction Refinement for Large Scale Model Checking
ανά: Wang, Chao, κ.ά.
Έκδοση: (2006)

A Roadmap for Formal Property Verification
ανά: DasGupta, Pallab
Έκδοση: (2006)

Introduction to Mixed-Signal, Embedded Design
ανά: Doboli, Alex, κ.ά.
Έκδοση: (2011)

Quantifying and Exploring the Gap Between FPGAs and ASICs Measuring and Exploring /
ανά: Kuon, Ian, κ.ά.
Έκδοση: (2010)

Dynamics of Microelectromechanical Systems
ανά: Lobontiu, Nicolae
Έκδοση: (2007)

Semiconductor Modeling For Simulating Signal, Power, and Electromagnetic Integrity /
ανά: Leventhal, Roy G., κ.ά.
Έκδοση: (2006)

Power-constrained Testing of VLSI Circuits
ανά: Nicolici, Nicola, κ.ά.
Έκδοση: (2003)

System-on-a-Chip Verification Methodology and Techniques /
ανά: Rashinkar, Prakash, κ.ά.
Έκδοση: (2002)

VLSI Physical Design: From Graph Partitioning to Timing Closure
ανά: Kahng, Andrew B., κ.ά.
Έκδοση: (2011)

Computer Methods for Analysis of Mixed-Mode Switching Circuits
ανά: Yuan, Fei, κ.ά.
Έκδοση: (2004)

Electromagnetic Compatibility of Integrated Circuits Techniques for low emission and susceptibility /
Έκδοση: (2006)

Regular Fabrics in Deep Sub-Micron Integrated-Circuit Design
ανά: Mo, Fan, κ.ά.
Έκδοση: (2004)

Low-Power Design Techniques and CAD Tools for Analog and RF Integrated Circuits
Έκδοση: (2001)

Rapid Prototyping of Digital Systems
ανά: Hamblen, James O., κ.ά.
Έκδοση: (2002)

CTL for Test Information of Digital ICS
ανά: Kapur, Rohit
Έκδοση: (2002)

Digital Design and Implementation with Field Programmable Devices
ανά: Navabi, Zainalabedin
Έκδοση: (2005)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Cannot write session to /tmp/vufind_sessions/sess_6co1ag2uba5b8nqonb46aoki8a