Cargando…

Assertion-Based Design

Chapter 3 Specifying RTL Properties 61 3. 1 Definitions and concepts 62 62 3. 1. 1 Property 3. 1. 2 Events 65 3. 2 Property classification 65 Safety versus liveness 66 3. 2. 1 3. 2. 2 Constraint versus assertion 67 3. 2. 3 Declarative versus procedural 67 3. 3 RTL assertion specification techniques...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autores principales:	Foster, Harry D. (Autor), Krolnik, Adam C. (Autor), Lacey, David J. (Autor)
Autor Corporativo:	SpringerLink (Online service)
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	New York, NY : Springer US : Imprint: Springer, 2005.
Edición:	2nd ed. 2005.
Temas:	Electronic circuits. Electrical engineering. Computer-aided engineering. Electronic Circuits and Systems. Electrical and Electronic Engineering. Computer-Aided Engineering (CAD, CAE) and Design.
Acceso en línea:	Texto Completo

Ejemplares similares

Creating Assertion-Based IP
por: Foster, Harry D., et al.
Publicado: (2008)

Constraint-Based Verification
por: Yuan, Jun, et al.
Publicado: (2006)

Digital Design and Implementation with Field Programmable Devices
por: Navabi, Zainalabedin
Publicado: (2005)

Reuse-Based Methodologies and Tools in the Design of Analog and Mixed-Signal Integrated Circuits
por: Castro López, Rafael, et al.
Publicado: (2006)

SystemVerilog for Design Second Edition A Guide to Using SystemVerilog for Hardware Design and Modeling /
por: Sutherland, Stuart, et al.
Publicado: (2006)

Functional Verification Coverage Measurement and Analysis
por: Piziali, Andrew
Publicado: (2008)

Clocking in Modern VLSI Systems
Publicado: (2009)

Embedded System Design
por: Marwedel, Peter
Publicado: (2006)

Nanometer Technology Designs High-Quality Delay Tests /
por: Ahmed, Nisar
Publicado: (2008)

Rapid Prototyping of Digital Systems Quartus® II Edition /
por: Hamblen, James O., et al.
Publicado: (2006)

Rapid Prototyping of Digital Systems SOPC Edition /
por: Hamblen, James O., et al.
Publicado: (2008)

Thermal and Power Management of Integrated Circuits
por: Vassighi, Arman, et al.
Publicado: (2006)

SystemC Kernel Extensions for Heterogeneous System Modeling A Framework for Multi-MoC Modeling & Simulation /
por: Patel, Hiren, et al.
Publicado: (2005)

SystemVerilog for Verification A Guide to Learning the Testbench Language Features /
por: Spear, Chris, et al.
Publicado: (2012)

SystemVerilog for Verification A Guide to Learning the Testbench Language Features /
por: Spear, Chris
Publicado: (2006)

Interconnect Noise Optimization in Nanometer Technologies
por: Elgamel, Mohamed, et al.
Publicado: (2006)

Scalable Hardware Verification with Symbolic Simulation
por: Bertacco, Valeria
Publicado: (2006)

Verilog and SystemVerilog Gotchas 101 Common Coding Errors and How to Avoid Them /
por: Sutherland, Stuart, et al.
Publicado: (2007)

CMOS Active Inductors and Transformers Principle, Implementation, and Applications /
por: Yuan, Fei
Publicado: (2008)

SystemC: From the Ground Up, Second Edition
por: Black, David C., et al.
Publicado: (2010)

Standardized Functional Verification
por: Wiemann, Alan
Publicado: (2008)

The Core Test Wrapper Handbook Rationale and Application of IEEE Std. 1500™ /
por: da Silva, Francisco, et al.
Publicado: (2006)

Timing Optimization Through Clock Skew Scheduling
por: Kourtev, Ivan S., et al.
Publicado: (2009)

Design for Manufacturability and Statistical Design A Constructive Approach /
por: Orshansky, Michael, et al.
Publicado: (2008)

Closing the Power Gap between ASIC & Custom Tools and Techniques for Low Power Design /
por: Chinnery, David, et al.
Publicado: (2007)

SystemVerilog for Verification A Guide to Learning the Testbench Language Features /
por: Spear, Chris
Publicado: (2008)

CMOS Current-Mode Circuits for Data Communications
por: Yuan, Fei
Publicado: (2007)

Low-Power High-Level Synthesis for Nanoscale CMOS Circuits
por: Mohanty, Saraju P., et al.
Publicado: (2008)

Taxonomies for the Development and Verification of Digital Systems
Publicado: (2005)

Hardware Verification with C++ A Practitioner's Handbook /
por: Mintz, Mike, et al.
Publicado: (2006)

Writing Testbenches using SystemVerilog
por: Bergeron, Janick
Publicado: (2006)

Leakage in Nanometer CMOS Technologies
Publicado: (2006)

Advances in Design and Specification Languages for SoCs Selected Contributions from FDL'04 /
Publicado: (2005)

Verification Methodology Manual for SystemVerilog
por: Bergeron, Janick, et al.
Publicado: (2006)

Hardware Verification with System Verilog An Object-Oriented Framework /
por: Mintz, Mike, et al.
Publicado: (2007)

FPGA Design Best Practices for Team-based Design /
por: Simpson, Philip
Publicado: (2010)

A Roadmap for Formal Property Verification
por: Dasgupta, Pallab
Publicado: (2006)

SAT-Based Scalable Formal Verification Solutions
por: Ganai, Malay, et al.
Publicado: (2007)

Power-efficient System Design
por: Panda, Preeti Ranjan, et al.
Publicado: (2010)

Principles of VLSI RTL Design A Practical Guide /
por: Churiwala, Sanjay, et al.
Publicado: (2011)

Cannot write session to /tmp/vufind_sessions/sess_vqrv5pit6p4ctc96u28pmugihm