Scalable Hardware Verification with Symbolic Simulation

Scalable Hardware Verification with Symbolic Simulation

Εμφάνιση άλλων εκδόσεων (1)

Scalable Hardware Verification with Symbolic Simulation presents recent advancements in symbolic simulation-based solutions which radically improve scalability. It overviews current verification techniques, both based on logic simulation and formal verification methods, and unveils the inner working...

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

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

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

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

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)

Hardware Verification with SystemVerilog An Object-Oriented Framework /
ανά: Mintz, Mike, κ.ά.
Έκδοση: (2007)

Post-Silicon and Runtime Verification for Modern Processors
ανά: Wagner, Ilya, κ.ά.
Έκδοση: (2011)

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)

SystemVerilog for Design A Guide to Using SystemVerilog for Hardware Design and Modeling /
ανά: Sutherland, Stuart, κ.ά.
Έκδοση: (2006)

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)

Verilog® Quickstart A Practical Guide to Simulation and Synthesis in Verilog /
ανά: Lee, James M.
Έκδοση: (1999)

Verilog® Quicstart A Practical Guide to Simulation and Synthesis in Verilog /
ανά: Lee, James M.
Έκδοση: (2002)

SystemC Kernel Extensions for Heterogeneous System Modeling A framework for Multi-MoC Modeling & Simulation /
ανά: Patel, Hiren D., κ.ά.
Έκδοση: (2005)

Interconnect Noise Optimization in Nanometer Technologies
ανά: Elgamel, Mohamed A., κ.ά.
Έκδοση: (2006)

Reuse Methodology Manual for System-on-a-Chip Designs
ανά: Keating, Michael, κ.ά.
Έκδοση: (2002)

System Design with SystemC
ανά: Grötker, Thorsten, κ.ά.
Έκδοση: (2002)

The Complete Verilog Book
ανά: Sagdeo, Vivek
Έκδοση: (1998)

The Designer’s Guide to Verilog-AMS, June 2004
ανά: Kundert, Kenneth S., κ.ά.
Έκδοση: (2004)

VHDL Coding Styles and Methodologies
ανά: Cohen, Ben
Έκδοση: (1999)

The Verilog PLI Handbook A User’s Guide and Comprehensive Reference on the Verilog Programming Language Interface /
ανά: Sutherland, Stuart
Έκδοση: (2002)

CMOS Active Inductors and Transformers Principle, Implementation, and Applications /
ανά: Yuan, Fei
Έκδοση: (2008)

Verilog and SystemVerilog Gotchas 101 Common Coding Errors and How to Avoid Them /
ανά: Sutherland, Stuart, κ.ά.
Έκδοση: (2007)

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

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

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

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

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

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

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

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

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

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

Hardware Software Co-Design of a Multimedia SOC Platform
ανά: Chen, Sao-Jie, κ.ά.
Έκδοση: (2009)

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

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

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

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

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

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

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

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

Cannot write session to /tmp/vufind_sessions/sess_hipps73p7v838gk8kohfvt3a39