Verification and Error Correction on High-Level Decision Diagrams

By Anton Karputkin

This book explores the theory of High-Level Decision Diagrams in application to formal verification and design error correction. We start with methods for synthesizing the diagrams for representing... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3659355704
• ISBN13: 9783659355707
• Release Date: March 2013
• Publisher: LAP Lambert Academic Publishing
• Length: 124 Pages
• Weight: 0.42 lbs.
• Dimensions: 0.3" x 6.0" x 9.0"