SVA: The Power of Assertions in SystemVerilog

SVA: The Power of Assertions in SystemVerilog

This book is a comprehensive guide to assertion-based verification of hardware designs using SystemVerilog Assertions (SVA). It enables readers to minimize the cost of verification by using assertion-based techniques in simulation testing, coverage collection, and formal analysis. The book provide...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Cerny, Eduard (Συγγραφέας), Dudani, Surrendra (Συγγραφέας), Havlicek, John (Συγγραφέας), Korchemny, Dmitry (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Cham : Springer International Publishing : Imprint: Springer, 2015.
Έκδοση:	2nd ed. 2015.
Θέματα:	Engineering. Microprocessors. Electronic circuits. Circuits and Systems. Processor Architectures. Electronic Circuits and Devices.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

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

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)

Functional Verification of Dynamically Reconfigurable FPGA-based Systems
ανά: Gong, Lingkan, κ.ά.
Έκδοση: (2015)

Out-of-order Parallel Discrete Event Simulation for Electronic System-level Design
ανά: Chen, Weiwei
Έκδοση: (2015)

Debug Automation from Pre-Silicon to Post-Silicon
ανά: Dehbashi, Mehdi, κ.ά.
Έκδοση: (2015)

Counterfeit Integrated Circuits Detection and Avoidance /
ανά: Tehranipoor, Mark (Mohammad), κ.ά.
Έκδοση: (2015)

Spintronics-based Computing
Έκδοση: (2015)

Soft Error Mechanisms, Modeling and Mitigation
ανά: Sayil, Selahattin
Έκδοση: (2016)

FPGAs and Parallel Architectures for Aerospace Applications Soft Errors and Fault-Tolerant Design /
Έκδοση: (2016)

3D Stacked Chips From Emerging Processes to Heterogeneous Systems /
Έκδοση: (2016)

Near Threshold Computing Technology, Methods and Applications /
Έκδοση: (2016)

Invasive Tightly Coupled Processor Arrays
ανά: LARI, VAHID
Έκδοση: (2016)

Integrated Circuit Authentication Hardware Trojans and Counterfeit Detection /
ανά: Tehranipoor, Mohammad, κ.ά.
Έκδοση: (2014)

Operational Amplifiers Theory and Design /
ανά: Huijsing, Johan
Έκδοση: (2017)

Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach /
ανά: Zhan, Naijun, κ.ά.
Έκδοση: (2017)

Fundamentals of IP and SoC Security Design, Verification, and Debug /
Έκδοση: (2017)

Carbon Nanotubes for Interconnects Process, Design and Applications /
Έκδοση: (2017)

The Dark Side of Silicon Energy Efficient Computing in the Dark Silicon Era /
Έκδοση: (2017)

Electromigration Inside Logic Cells Modeling, Analyzing and Mitigating Signal Electromigration in NanoCMOS /
ανά: Posser, Gracieli, κ.ά.
Έκδοση: (2017)

Multiprocessor Systems on Chip Design Space Exploration /
ανά: Kempf, Torsten, κ.ά.
Έκδοση: (2011)

More-than-Moore 2.5D and 3D SiP Integration
ανά: Radojcic, Riko
Έκδοση: (2017)

Neuro-inspired Computing Using Resistive Synaptic Devices
Έκδοση: (2017)

Operational Amplifiers Theory and Design /
ανά: Huijsing, Johan
Έκδοση: (2011)

Digital VLSI Design with Verilog A Textbook from Silicon Valley Polytechnic Institute /
ανά: Williams, John Michael
Έκδοση: (2014)

Flip-Flop Design in Nanometer CMOS From High Speed to Low Energy /
ανά: Alioto, Massimo, κ.ά.
Έκδοση: (2015)

High-Performance Computing Using FPGAs
Έκδοση: (2013)

Smart Sensors and Systems
Έκδοση: (2015)

Introduction to Logic Circuits & Logic Design with Verilog
ανά: LaMeres, Brock J.
Έκδοση: (2017)

Emerging Technology and Architecture for Big-data Analytics
Έκδοση: (2017)

Low Power Interconnect Design
ανά: Saini, Sandeep
Έκδοση: (2015)

An ASIC Low Power Primer Analysis, Techniques and Specification /
ανά: Chadha, Rakesh, κ.ά.
Έκδοση: (2013)

Power Distribution Networks with On-Chip Decoupling Capacitors
ανά: Jakushokas, Renatas, κ.ά.
Έκδοση: (2011)

Analog Circuit Design High-speed Clock and Data Recovery, High-performance Amplifiers, Power Management /
Έκδοση: (2009)

Circuit and Interconnect Design for RF and High Bit-Rate Applications
ανά: Veenstra, Hugo, κ.ά.
Έκδοση: (2008)

Formal Specification Level Concepts, Methods, and Algorithms /
ανά: Soeken, Mathias, κ.ά.
Έκδοση: (2015)

Model-Driven Design Using IEC 61499 A Synchronous Approach for Embedded and Automation Systems /
ανά: Yoong, Li Hsien, κ.ά.
Έκδοση: (2015)

Application Analysis Tools for ASIP Design Application Profiling and Instruction-set Customization /
ανά: Karuri, Kingshuk, κ.ά.
Έκδοση: (2011)

Reconfigurable Networks-on-Chip
ανά: Chen, Sao-Jie, κ.ά.
Έκδοση: (2012)

Self-Organization in Embedded Real-Time Systems
Έκδοση: (2013)

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