Springer ASIC/SoC Functional Design Verification: A Comprehensive Guide to Technologies and Methodologies

ASIC/SoC Functional Design Verification: A Comprehensive Guide to Technologies and Methodologies

Springer

System Verilog Assertions and Functional Coverage: Guide to Language, Methodology and Applications

Springer

System Verilog Assertions and Functional Coverage: Guide to Language, Methodology and Applications

Springer

SystemVerilog Assertions and Functional Coverage: Guide to Language, Methodology and Applications

Springer

Standardized Functional Verification

Springer

Writing Testbenches using SystemVerilog

Springer

Verification Methodology Manual for SystemVerilog

Springer

A Practical Approach to VLSI System on Chip (SoC) Design: A Comprehensive Guide

Springer

Low-Power Design and Power-Aware Verification

Springer

Low-Power Design and Power-Aware Verification

Springer

Scalable Hardware Verification with Symbolic Simulation

Springer

Advanced Formal Verification

Springer

Formal System Verification: State-of the-Art and Future Trends

Springer

Advanced ASIC Chip Synthesis: Using Synopsys Design Compiler and PrimeTime

Springer

Analog-Mixed Signal Verification

CREATESPACE

Reconfigurable System Design and Verification

CRC Press

Introduction to SystemVerilog

Springer

Formal Verification of Floating-Point Hardware Design: A Mathematical Approach

Springer

Generating Hardware Assertion Checkers: For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring

Springer

Formal System Verification: State-of the-Art and Future Trends

Springer

Formal Verification: An Essential Toolkit for Modern VLSI Design

Morgan Kaufmann

Advanced ASIC Chip Synthesis: Using Synopsys® Design Compiler™ Physical Compiler™ and PrimeTime®

Springer

Advanced ASIC Chip Synthesis: Using Synopsys® Design Compiler™ Physical Compiler™ and PrimeTime®

Springer

Advanced Digital System Design: A Practical Guide to Verilog Based FPGA and ASIC Implementation