Kniha momentálne nie je na sklade
Viac o knihe
The book explores the critical role of formal verification in circuit design, particularly as designs grow increasingly complex with millions of transistors. It highlights the limitations of pure simulation and introduces innovative methods that leverage the regular structures of certain designs, such as ALUs. By utilizing Word-Level Decision Diagrams (WLDDs), which are graph-based representations, the book presents a more efficient way to verify functions with a Boolean range and integer domain, simplifying the verification process for complex circuits.
Nákup knihy
Formal Verification of Circuits, Rolf Drechsler
- Jazyk
- Rok vydania
- 2000
- product-detail.submit-box.info.binding
- (pevná)
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
- 2000
- Väzba
- pevná
- Počet strán
- 192
- ISBN13
- 9780792378587
- Kategórie
- Elektrotechnika
- Anotácia
- The book explores the critical role of formal verification in circuit design, particularly as designs grow increasingly complex with millions of transistors. It highlights the limitations of pure simulation and introduces innovative methods that leverage the regular structures of certain designs, such as ALUs. By utilizing Word-Level Decision Diagrams (WLDDs), which are graph-based representations, the book presents a more efficient way to verify functions with a Boolean range and integer domain, simplifying the verification process for complex circuits.