Constraint-Based Verification

Constraint-Based Verification

Show other versions (1)

Bibliographic Details
Main Author:	Yuan, Jun
Other Authors:	Pixley, Carl, Aziz, Adnan
Format:	Electronic Kit Book
Language:	English
Published:	Boston, MA Springer Science+Business Media, Inc. 2006
Subjects:	Engineering Computer engineering Computer aided design Systems engineering Electronic and Computer Engineering Computer-Aided Engineering (CAD, CAE) and Design Circuits and Systems
Online Access:	http://dx.doi.org/10.1007/0-387-30784-2

Similar Items

Abstraction Refinement for Large Scale Model Checking
by: Wang, Chao
Published: (2006)

Mixed-Signal Layout Generation Concepts
by: Lin, Chieh
Published: (2005)

Verification Methodology Manual for SystemVerilog
by: Bergeron, Janick
Published: (2006)

Systemverilog for Verification A Guide to Learning the Testbench Language Features
by: Spear, Chris
Published: (2006)

Scalable Hardware Verification with Symbolic Simulation
by: Bertacco, Valeria
Published: (2006)

Hardware Verification with C++ A Practitionerβs Handbook
by: Mintz, Mike
Published: (2006)

Rapid Prototyping of Digital Systems
by: Hamblen, James O.
Published: (2006)

Thermal and Power Management of Integrated Circuits
by: Vassighi, Arman
Published: (2006)

The Core Test Wrapper Handbook Rationale and Application of IEEE Std. 1500β'
by: Silva, Francisco
Published: (2006)

Taxonomies for the Development and Verification of Digital Systems
by: Bailey, Brian
Published: (2005)

SystemVerilog for Design A Guide to Using SystemVerilog for Hardware Design and Modeling
by: Sutherland, Stuart
Published: (2006)

Interconnect Noise Optimization in Nanometer Technologies
by: Elgamel, Mohamed A.
Published: (2006)

Embedded System Design
by: Marwedel, Peter, 1949-
Published: (2006)

Scalable Techniques for Formal Verification
by: Ray, Sandip
Published: (2010)

CMOS Current-Mode Circuits for Data Communications
by: Yuan, Fei
Published: (2007)

Writing Testbenches using System Verilog
by: Bergeron, Janick
Published: (2006)

Leakage in Nanometer CMOS Technologies
by: Narendra, Siva G.
Published: (2006)

ESL Models and their Application Electronic System Level Design and Verification in Practice
by: Bailey, Brian
Published: (2010)

FPGA Design Best Practices for Team-based Design
by: Simpson, Philip
Published: (2010)

A Roadmap for Formal Property Verification
by: DasGupta, Pallab
Published: (2006)

On and Off-Chip Crosstalk Avoidance in VLSI Design
by: Duan, Chunjie
Published: (2010)

VLSI Design for Video Coding H.264/AVC Encoding from Standard Specification to Chip
by: Lin, Youn-Long Steve
Published: (2010)

Extreme Low-Power Mixed Signal IC Design Subthreshold Source-Coupled Circuits
by: Tajalli, Armin
Published: (2010)

C Compilers for ASIPs Automatic Compiler Generation with LISA
by: Hohenauer, Manuel
Published: (2010)

Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction
by: Shukla, Sandeep K
Published: (2010)

Embedded Software Design and Programming of Multiprocessor System-on-Chip Simulink and System C Case Studies
by: Popovici, Katalin
Published: (2010)

Minimizing and Exploiting Leakage in VLSI Design
by: Jayakumar, Nikhil
Published: (2010)

Designing Embedded Systems with the SIGNAL Programming Language Synchronous, Reactive Specification
by: Gamatie, Abdoulaye
Published: (2010)

Advanced Test Methods for SRAMs Effective Solutions for Dynamic Fault Detection in Nanoscaled Technologies
by: Bosio, Alberto
Published: (2010)

Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications
by: Singh, Gaurav
Published: (2010)

Processor and System-on-Chip Simulation
by: Leupers, Rainer
Published: (2010)

Power-efficient System Design
by: Panda, Preeti Ranjan
Published: (2010)

Power-Aware Testing and Test Strategies for Low Power Devices
by: Girard, Patrick
Published: (2010)

Hardware Acceleration of EDA Algorithms Custom ICs, FPGAs and GPUs
by: Gulati, Kanupriya
Published: (2010)

Analysis and Design of Resilient VLSI Circuits Mitigating Soft Errors and Process Variations
by: Garg, Rajesh
Published: (2010)

Software Automatic Tuning From Concepts to State-of-the-Art Results
by: Naono, Ken
Published: (2010)

Assertion-Based Design
by: Foster, Harry
Published: (2005)

Digital Design and Implementation with Field Programmable Devices
Published: (2005)

Direct Transistor-level Layout for Digital Blocks
by: Gopalakrishnan, Prakash
Published: (2005)

Advances in Design and Specification Languages for SoCs Selected Contributions from FDLβ04
by: Boulet, Pierre
Published: (2005)

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

Cannot write session to /tmp/vufind_sessions/sess_vaba8a43q6ourp1ecp09j13hj2