SAT-Based Scalable Formal Verification Solutions

SAT-Based Scalable Formal Verification Solutions

Functional verification has become an important aspect of the chip design process. Significant resources, both in industry and academia, are devoted to the design complexity and verification endeavors. SAT-Based Scalable Formal Verification Solutions discusses in detail several of the latest and int...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Ganai, Malay K. (Συγγραφέας), Gupta, Aarti (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Boston, MA : Springer US, 2007.
Σειρά:	Series on Integrated Circuits and Systems,
Θέματα:	Computer science. Computer-aided engineering. Electrical engineering. Electronic circuits. Computer Science. Computer-Aided Engineering (CAD, CAE) and Design. Circuits and Systems. Electrical Engineering.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

Scalable Hardware Verification with Symbolic Simulation
ανά: Bertacco, Valeria
Έκδοση: (2006)

Constraint-Based Verification
ανά: Yuan, Jun, κ.ά.
Έκδοση: (2006)

Scalable Techniques for Formal Verification
ανά: Ray, Sandip
Έκδοση: (2010)

Advanced Verification Techniques: A SystemC Based Approach for Successful Tapeout
ανά: Singh, Leena, κ.ά.
Έκδοση: (2004)

The e Hardware Verification Language
ανά: Iman, Sasan, κ.ά.
Έκδοση: (2004)

Functional Verification Coverage Measurement and Analysis
ανά: Piziali, Andrew
Έκδοση: (2008)

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

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

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

Assertion-Based Design
ανά: Foster, Harry, κ.ά.
Έκδοση: (2005)

Creating Assertion-Based IP
ανά: Foster, Harry D., κ.ά.
Έκδοση: (2008)

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

Verification by Error Modeling Using Testing Techniques in Hardware Verification /
ανά: Radecka, Katarzyna, κ.ά.
Έκδοση: (2003)

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

Scalable Techniques for Formal Verification
ανά: Ray, Sandip
Έκδοση: (2010)

Hardware Verification with C++ A Practitioner’s Handbook /
ανά: Mintz, Mike, κ.ά.
Έκδοση: (2006)

Writing Testbenches Functional Verification of HDL Models /
ανά: Bergeron, Janick
Έκδοση: (2000)

Logic Synthesis and Verification Algorithms
ανά: Hachtel, Gary D., κ.ά.
Έκδοση: (1996)

Embedded System Design
ανά: Marwedel, Peter
Έκδοση: (2006)

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

High Speed A/D Converters Understanding Data Converters Through SPICE /
ανά: Alfi, Moscovici
Έκδοση: (2002)

Design, Simulation and Applications of Inductors and Transformers for Si RF ICs
ανά: Niknejad, Ali M., κ.ά.
Έκδοση: (2000)

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

A Designer’s Guide to Built-In Self-Test
ανά: Stroud, Charles E.
Έκδοση: (2002)

Advanced ASIC Chip Synthesis Using Synopsys® Design Compiler™ Physical Compiler™ and PrimeTime®
ανά: Bhatnagar, Himanshu
Έκδοση: (2002)

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

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

Timing
ανά: Sapatnekar, Sachin
Έκδοση: (2004)

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

Static Crosstalk-Noise Analysis For Deep Sub-Micron Digital Designs /
ανά: Chen, Pinhong, κ.ά.
Έκδοση: (2004)

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

The Boundary-Scan Handbook Analog and Digital /
ανά: Parker, Kenneth P.
Έκδοση: (1998)

IC Interconnect Analysis
ανά: Celik, Mustafa, κ.ά.
Έκδοση: (2002)

High Performance Memory Testing: Design Principles, Fault Modeling and Self-Test
ανά: Adams, R. Dean
Έκδοση: (2003)

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

Substrate Noise Analysis and Optimization for IC Design /
ανά: Charbon, Edoardo, κ.ά.
Έκδοση: (2001)

The Designer’s Guide to Spice and Spectre
ανά: Kundert, Kenneth S.
Έκδοση: (1995)

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

Structured Electronic Design Negative-Feedback Amplifiers /
ανά: Verhoeven, C. J. M., κ.ά.
Έκδοση: (2003)

Clocking in Modern VLSI Systems
Έκδοση: (2009)

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