Advanced Formal Verification

Advanced Formal Verification

Advanced Formal Verification shows the latest developments in the verification domain from the perspectives of the user and the developer. World leading experts describe the underlying methods of today's verification tools and describe various scenarios from industrial practice. In the first pa...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Drechsler, Rolf (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Boston, MA : Springer US, 2004.
Θέματα:	Philosophy. Computers. Computer science > Mathematics. Computer-aided engineering. Electrical engineering. Philosophy, general. Computer-Aided Engineering (CAD, CAE) and Design. Computing Methodologies. Electrical Engineering. Theory of Computation. Symbolic and Algebraic Manipulation.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

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

SAT-Based Scalable Formal Verification Solutions
ανά: Ganai, Malay K., κ.ά.
Έκδοση: (2007)

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

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

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

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

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

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

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

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

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

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

Rapid Prototyping of Digital Systems A Tutorial Approach /
ανά: Hamblen, James O., κ.ά.
Έκδοση: (2001)

Trade-Offs in Analog Circuit Design The Designer’s Companion /
Έκδοση: (2002)

Surviving the SOC Revolution A Guide to Platform-Based Design /
ανά: Chang, Henry, κ.ά.
Έκδοση: (1999)

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

Nano, Quantum and Molecular Computing Implications to High Level Design and Validation /
Έκδοση: (2004)

Algorithms for VLSI Physical Design Automation
ανά: Sherwani, Naveed A.
Έκδοση: (1999)

Automatic Layout Modification Including design reuse of the Alpha CPU in 0.13 micron SOI technology.
ανά: Reinhardt, Michael
Έκδοση: (2002)

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

Analog Behavioral Modeling with the Verilog-A Language
ανά: Patrick, Dan Fitz, κ.ά.
Έκδοση: (1998)

Equivalence Checking of Digital Circuits Fundamentals, Principles, Methods /
ανά: Molitor, Paul, κ.ά.
Έκδοση: (2004)

System Specification & Design Languages Best of FDL’02 /
Έκδοση: (2003)

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

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

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

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

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

Principles of Verifiable RTL Design A Functional Coding Style Supporting Verification Processes in Verilog /
ανά: Bening, Lionel, κ.ά.
Έκδοση: (2000)

Principles of Verifiable RTL Design A functional coding style supporting verification processes in Verilog /
ανά: Bening, Lionel, κ.ά.
Έκδοση: (2001)

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

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)

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)

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

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