Kniha momentálne nie je na sklade
Viac o knihe
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 vydania
- 2010
- product-detail.submit-box.info.binding
- (mäkká)
Akonáhle sa objaví, pošleme vám e-mail.
Doručenie
Platobné metódy
Navrhnúť zmenu
- Titul
- Formal Verification of Circuits
- Jazyk
- anglicky
- Autori
- Rolf Drechsler
- Vydavateľ
- Springer US
- Rok vydania
- 2010
- Väzba
- mäkká
- Počet strán
- 192
- ISBN13
- 9781441949851
- Kategórie
- Elektrotechnika
- Anotácia
- 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.