Open Verification Methodology Cookbook

Open Verification Methodology Cookbook

Glasser, Open Verification Methodology Cookbook Functional verification is an art as much as a science. It requires not only creativity and cunning, but also a clear methodology to approach the problem. The Open Verification Methodology (OVM) is a leading-edge methodology for verifying designs at m...

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

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

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

High-Level Verification Methods and Tools for Verification of System-Level Designs /
ανά: Kundu, Sudipta, κ.ά.
Έκδοση: (2011)

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

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

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

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

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

Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction /
Έκδοση: (2010)

Scalable Multi-core Architectures Design Methodologies and Tools /
Έκδοση: (2012)

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

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

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

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

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

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

Power-Aware Testing and Test Strategies for Low Power Devices
Έκδοση: (2010)

Analysis and Design of Resilient VLSI Circuits Mitigating Soft Errors and Process Variations /
ανά: Garg, Rajesh, κ.ά.
Έκδοση: (2010)

Advanced Test Methods for SRAMs Effective Solutions for Dynamic Fault Detection in Nanoscaled Technologies /
ανά: Bosio, Alberto, κ.ά.
Έκδοση: (2010)

Designing Embedded Systems with the SIGNAL Programming Language Synchronous, Reactive Specification /
ανά: Gamatie, Abdoulaye
Έκδοση: (2010)

Hardware Acceleration of EDA Algorithms Custom ICs, FPGAs and GPUs /
ανά: Gulati, Kanupriya, κ.ά.
Έκδοση: (2010)

On and Off-Chip Crosstalk Avoidance in VLSI Design
ανά: Duan, Chunjie, κ.ά.
Έκδοση: (2010)

Minimizing and Exploiting Leakage in VLSI Design
ανά: Jayakumar, Nikhil, κ.ά.
Έκδοση: (2010)

VLSI Design for Video Coding H.264/AVC Encoding from Standard Specification to Chip /
ανά: Lin, Youn-Long Steve, κ.ά.
Έκδοση: (2010)

C Compilers for ASIPs Automatic Compiler Generation with LISA /
ανά: Hohenauer, Manuel, κ.ά.
Έκδοση: (2010)

Processor and System-on-Chip Simulation
Έκδοση: (2010)

Integrated Optical Interconnect Architectures for Embedded Systems
Έκδοση: (2013)

Power-efficient System Design
ανά: Panda, Preeti Ranjan, κ.ά.
Έκδοση: (2010)

Multiprocessor System-on-Chip Hardware Design and Tool Integration /
Έκδοση: (2011)

Focal-Plane Sensor-Processor Chips
Έκδοση: (2011)

Extreme Low-Power Mixed Signal IC Design Subthreshold Source-Coupled Circuits /
ανά: Tajalli, Armin, κ.ά.
Έκδοση: (2010)

Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications
ανά: Singh, Gaurav, κ.ά.
Έκδοση: (2010)

Software Automatic Tuning From Concepts to State-of-the-Art Results /
Έκδοση: (2010)

Design of Image Processing Embedded Systems Using Multidimensional Data Flow
ανά: Keinert, Joachim, κ.ά.
Έκδοση: (2011)

Ultra-thin Chip Technology and Applications
Έκδοση: (2011)

Run-time Adaptation for Reconfigurable Embedded Processors
ανά: Bauer, Lars, κ.ά.
Έκδοση: (2011)

Low-Power Variation-Tolerant Design in Nanometer Silicon
Έκδοση: (2011)

Advanced Techniques in Logic Synthesis, Optimizations and Applications
Έκδοση: (2011)

Cloud Connectivity and Embedded Sensory Systems
ανά: Spaanenburg, Lambert, κ.ά.
Έκδοση: (2011)

Voltage Regulators for Next Generation Microprocessors
ανά: López, Toni, κ.ά.
Έκδοση: (2011)

Energy Harvesting Systems Principles, Modeling and Applications /
Έκδοση: (2011)

Reconfigurable Field Programmable Gate Arrays for Mission-Critical Applications
ανά: Battezzati, Niccolò, κ.ά.
Έκδοση: (2011)

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