Scalable Hardware Verification With Symbolic Simulation

$199.00
+ $28.99 Shipping

Scalable Hardware Verification With Symbolic Simulation

Sold by:
  • product image
Scalable Hardware Verification With Symbolic Simulation

$199.00

In stock
+ $28.99 Shipping
Taxes calculated at checkout

14-Day Returns Policy

Payment methods:

Product details

Product details

Scalable Hardware Verification With Symbolic Simulation

This Book Is Intended As An Innovative Overview Of Current Formal Verification Methods, Combined With An In-depth Analysis Of Some Advanced Techniques To Improve The Scalability Of These Methods, And Close The Gap Between Design And Verification In Computer-aided Design. Formal Verification: Scalable Hardware Verification With Symbolic Simulationnbsp;explains Current Formal Verification Methods And Provides An In-depth Analysis Of Some Advanced Techniques To Improve The Scalability Of These Methods And Close The Gap Between Design And Verification In Computer-aided Design. Itnbsp;provides The Theoretical Background Required To Present Such Methods And Advanced Techniques, I.e.
  • Brand: Springer Nature B.V
  • Category: Computing & Internet
  • Format: Hardcover
  • Language: English
  • Publication Date: 2005-12-23
  • Publisher / Label: Springer Nature B.V
  • Author: Valeria Bertacco
  • Number of Pages: 200
  • Fruugo ID: 550927880-1115606269
  • ISBN: 9780387244112
Delivery

Delivery

Dispatched within 24 hours

  • STANDARD: $28.99 - Delivery between Thu 05 November 2026–Tue 10 November 2026

Shipping from United Kingdom.

Returns

Returns

We do our best to ensure that the products that you order are delivered to you in full and according to your specifications. However, should you receive an incomplete order, or items different from the ones you ordered, or there is some other reason why you are not satisfied with the order, you may return the order, or any products included in the order, and receive a full refund for the items.

View full return policy