The book is currently out of stock
More about the book
The book delves into the challenges of formal verification in circuit design, particularly as the complexity of circuits increases with millions of transistors. It emphasizes the limitations of pure simulation and the benefits of leveraging regular structures in designs for easier verification. Highlighting the use of Word-Level Decision Diagrams (WLDDs), the text explains how these graph-based representations facilitate the verification of functions with a Boolean range and integer domain, making the process more efficient for complex designs like ALUs and multipliers.
Book purchase
Formal Verification of Circuits, Rolf Drechsler
- Language
- Released
- 2010
- product-detail.submit-box.info.binding
- (Paperback)
We’ll notify you via email once we track it down.
Payment methods
- Title
- Formal Verification of Circuits
- Language
- English
- Authors
- Rolf Drechsler
- Publisher
- Springer US
- Released
- 2010
- Format
- Paperback
- Pages
- 192
- ISBN13
- 9781441949851
- Category
- Electrical engineering
- Description
- The book delves into the challenges of formal verification in circuit design, particularly as the complexity of circuits increases with millions of transistors. It emphasizes the limitations of pure simulation and the benefits of leveraging regular structures in designs for easier verification. Highlighting the use of Word-Level Decision Diagrams (WLDDs), the text explains how these graph-based representations facilitate the verification of functions with a Boolean range and integer domain, making the process more efficient for complex designs like ALUs and multipliers.