McGraw-Hill Education Applied Formal Verification: For Digital Circuit Design (ELECTRONICS)

Formal Verification: An Essential Toolkit for Modern VLSI Design

Morgan Kaufmann

Scalable Hardware Verification with Symbolic Simulation

Springer

Advanced Formal Verification

Springer

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

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

Digital VLSI Design and Simulation with Verilog

Wiley

Digital System Design with FPGA: Implementation Using Verilog and VHDL (ELECTRONICS)

McGraw-Hill Education

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

Springer

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

Springer

Writing Testbenches using SystemVerilog

Springer

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

Springer

Design Through Verilog HDL

Wiley-IEEE Press

Digital VLSI Systems Design: A Design Manual for Implementation of Projects on FPGAs and ASICs Using Verilog

Springer

Introduction to Digital Systems: Modeling, Synthesis, and Simulation Using VHDL

Wiley

Digital Electronics and Design with VHDL

Morgan Kaufmann

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

DESIGN OF DIGITAL SYSTEMS USING VHDL: LEARN BY EXAMPLES

Analog-Mixed Signal Verification

CREATESPACE

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

Springer

Logic Design and Verification Using SystemVerilog (Revised)

CREATESPACE

Springer - Formal Methods and Models for System Design Book

Springer

Digital Design and Modeling with VHDL and Synthesis: 20 (Systems)

Wiley