The following text field will produce suggestions that follow it as you type.

Home

Barnes and Noble

Formal Equivalence Checking and Design Debugging / Edition 1

Unfortunately, this item is no longer available, but we found some similar items you might like.

You May Also Like

Formal Specification and Design

Formal Specification and Design

Barnes and Noble
A Formal Approach to Hardware Design / Edition 1

A Formal Approach to Hardware Design / Edition 1

Barnes and Noble
Introduction to Formal Hardware Verification / Edition 1

Introduction to Formal Hardware Verification / Edition 1

Barnes and Noble
System Verification: Proving the Design Solution Satisfies the Requirements / Edition 2

System Verification: Proving the Design Solution Satisfies the Requirements / Edition 2

Barnes and Noble
Assertion-Based Design / Edition 2

Assertion-Based Design / Edition 2

Barnes and Noble
Formal Verification of Circuits

Formal Verification of Circuits

Barnes and Noble
Digital System Test and Testable Design: Using HDL Models and Architectures

Digital System Test and Testable Design: Using HDL Models and Architectures

Barnes and Noble
Modal Analysis and Testing / Edition 1

Modal Analysis and Testing / Edition 1

Barnes and Noble
Principles of Verifiable RTL Design: A functional coding style supporting verification processes in Verilog / Edition 2

Principles of Verifiable RTL Design: A functional coding style supporting verification processes in Verilog / Edition 2

Barnes and Noble
Program Design Calculi / Edition 1

Program Design Calculi / Edition 1

Barnes and Noble
High-Level Verification: Methods and Tools for Verification of System-Level Designs

High-Level Verification: Methods and Tools for Verification of System-Level Designs

Barnes and Noble
Formal Methods and Models for System Design: A System Level Perspective / Edition 1

Formal Methods and Models for System Design: A System Level Perspective / Edition 1

Barnes and Noble
Logic Synthesis and Verification / Edition 1

Logic Synthesis and Verification / Edition 1

Barnes and Noble
Constraint-Based Verification / Edition 1

Constraint-Based Verification / Edition 1

Barnes and Noble
Functional Analysis / Edition 1

Functional Analysis / Edition 1

Barnes and Noble
Advances in Hardware Design and Verification / Edition 1

Advances in Hardware Design and Verification / Edition 1

Barnes and Noble
Powered by Adeptmind