Free Delivery Over $100
|
|
|||
|
||||
OverviewThe book overviews current formal verification methods and provides an in-depth analysis of some advanced techniques to improve the scalability of these methods and to close the gap between design and verification in computer-aided design. It provides the theoretical background required to present such methods and advanced techniques, i.e. Boolean function representations, models of sequential networks and, in particular, some novel algorithms to expose the disjoint support decompositions of Boolean functions, used in one of the scalable approaches. Full Product DetailsAuthor: Valeria BertaccoPublisher: Springer-Verlag New York Inc. Imprint: Springer-Verlag New York Inc. Edition: 2006 ed. Dimensions: Width: 15.50cm , Height: 1.20cm , Length: 23.50cm Weight: 0.460kg ISBN: 9780387244112ISBN 10: 0387244115 Pages: 180 Publication Date: 21 December 2005 Audience: Professional and scholarly , Professional & Vocational Format: Hardback Publisher's Status: Active Availability: Out of stock  The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available. Table of ContentsReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |
||||
