Knihu momentálně nemáme skladem
Více o knize
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.
Nákup knihy
Formal Verification of Circuits, Rolf Drechsler
- Jazyk
- Rok vydání
- 2010
- product-detail.submit-box.info.binding
- (měkká)
Jakmile ji vyčmucháme, pošleme vám e-mail.
Doručení
Platební metody
Navrhnout úpravu
- Titul
- Formal Verification of Circuits
- Jazyk
- anglicky
- Autoři
- Rolf Drechsler
- Vydavatel
- Springer US
- Rok vydání
- 2010
- Vazba
- měkká
- Počet stran
- 192
- ISBN13
- 9781441949851
- Kategorie
- Elektrotechnika
- Anotace
- 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.