The Power of Assertions in SystemVerilog

The Power of Assertions in SystemVerilog

The Power of Assertions in SystemVerilog is a comprehensive book that enables the reader to reap the full benefits of assertion-based verification in the quest to abate hardware verification cost. The book is divided into three parts. The first part introduces assertions, SystemVerilog and its simul...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Cerny, Eduard (Συγγραφέας), Dudani, Surrendra (Συγγραφέας), Havlicek, John (Συγγραφέας), Korchemny, Dmitry (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Boston, MA : Springer US : Imprint: Springer, 2010.
Έκδοση:	First.
Θέματα:	Engineering. Electrical engineering. Electronic circuits. Circuits and Systems. Electrical Engineering.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

SVA: The Power of Assertions in SystemVerilog
ανά: Cerny, Eduard, κ.ά.
Έκδοση: (2015)

A Practical Guide for SystemVerilog Assertions
ανά: Vijayaraghavan, Srikanth, κ.ά.
Έκδοση: (2005)

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

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

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

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)

SystemVerilog Assertions and Functional Coverage Guide to Language, Methodology and Applications /
ανά: Mehta, Ashok B.
Έκδοση: (2016)

SystemVerilog Assertions and Functional Coverage Guide to Language, Methodology and Applications /
ανά: Mehta, Ashok B.
Έκδοση: (2014)

Assertion-Based Design
ανά: Foster, Harry, κ.ά.
Έκδοση: (2005)

Creating Assertion-Based IP
ανά: Foster, Harry D., κ.ά.
Έκδοση: (2008)

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

A Practical Guide for SystemVerilog Assertions
ανά: Vijayaraghavan, Srikanth
Έκδοση: (2005)

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)

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

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

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

Power Trade-Offs and Low-Power in Analog CMOS ICs
ανά: Sanduleanu, Mihai A. T., κ.ά.
Έκδοση: (2002)

Power Aware Design Methodologies
Έκδοση: (2002)

Low Power Design Essentials
ανά: Rabaey, Jan
Έκδοση: (2009)

Feedback Linearization of RF Power Amplifiers
ανά: Dawson, Joel L., κ.ά.
Έκδοση: (2004)

Sub-threshold Design for Ultra Low-Power Systems
ανά: Wang, Alice, κ.ά.
Έκδοση: (2006)

Modular Low-Power, High-Speed CMOS Analog-to-Digital Converter for Embedded Systems
ανά: Lin, Keh-La, κ.ά.
Έκδοση: (2003)

Inductive Powering Basic Theory and Application to Biomedical Systems /
Έκδοση: (2009)

The Design and Implementation of Low-Power CMOS Radio Receivers
ανά: Shaeffer, Derek K., κ.ά.
Έκδοση: (2002)

RF CMOS Power Amplifiers: Theory, Design and Implementation
ανά: Hella, Mona Mostafa, κ.ά.
Έκδοση: (2002)

Low-Voltage Low-Power CMOS Current Conveyors
ανά: Ferri, Giuseppe, κ.ά.
Έκδοση: (2003)

Writing Testbenches using System Verilog
ανά: Bergeron, Janick
Έκδοση: (2006)

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

Electrothermal Analysis of VLSI Systems
ανά: Cheng, Yi-Kan, κ.ά.
Έκδοση: (2002)

Digital Radio Systems on a Chip A Systems Approach /
ανά: Chien, Charles
Έκδοση: (2001)

Analog Design for CMOS VLSI Systems
ανά: Maloberti, Franco
Έκδοση: (2001)

Low Power Methodology Manual For System-on-Chip Design /
ανά: Keating, Michael, κ.ά.
Έκδοση: (2007)

Analog Circuit Design Scalable Analog Circuit Design, High Speed D/A Converters, RF Power Amplifiers /
Έκδοση: (2002)

Mixed Signal VLSI Wireless Design Circuits and Systems /
ανά: Farag, Emad N., κ.ά.
Έκδοση: (2002)

The Designer's Guide to Jitter in Ring Oscillators
ανά: Ricketts, David, κ.ά.
Έκδοση: (2009)

Power-Aware Architecting for data-dominated applications
ανά: Ditzel, Maarten, κ.ά.
Έκδοση: (2007)

METHODOLOGY FOR THE DIGITAL CALIBRATION OF ANALOG CIRCUITS AND SYSTEMS
ανά: Pastre, Marc, κ.ά.
Έκδοση: (2006)

Multi-GHz Frequency Synthesis & Division Frequency Synthesizer Design for 5 GHz Wireless LAN Systems /
ανά: Rategh, Hamid R., κ.ά.
Έκδοση: (2001)

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