shop by
Category
items
0 

Sat-based Scalable Formal Verification Solutions (Hardcover)

Author: Ganai, Malay

Customer Reviews   Write a Review

Be the first to review this item and earn 25 Rakuten Super Points™

Product Overview

This book provides an engineering insight into how to provide a scalable and robust verification solution with ever increasing design complexity and sizes. It describes SAT-based model checking approaches and gives engineering details on what makes model checking practical. The book brings together the various SAT-based scalable emerging technologies and techniques covered can be synergistically combined into a scalable solution.

Specifications

Publisher Springer-Verlag New York Inc
Mfg Part# 9780387691664
SKU 204544555
Format Hardcover
ISBN10 0387691669
Release Date 7/1/2007
Product Attributes
Book Format Hardcover
Number of Pages 0326
Publisher Springer
loading
Sold Out
Sorry, you missed the deal!
This product is currently not available.
ADVERTISEMENT
Promotions & Offers (1)
  •  custom promo
    5% Back* Sitewide with Promo Code Rewardme *See page for details
ADVERTISEMENT
ADVERTISEMENT