Bookbot

Robustness and Usability in Modern Design Flows

Parametri

Pagine
184pagine
Tempo di lettura
7ore

Maggiori informazioni sul libro

The book addresses the challenges in designing and verifying increasingly complex integrated circuits. It analyzes current methodologies, identifies deficiencies, and proposes improvements in both design and verification processes. A comprehensive tool flow for Synthesis for Testability of SystemC descriptions is introduced, enabling fully testable circuits with efficient test pattern generation. Additionally, it presents a new paradigm for formal design verification, emphasizing design understanding and automated property generation, supported by empirical evaluations to enhance usability and robustness in design flows.

Pubblicazione

Acquisto del libro

Robustness and Usability in Modern Design Flows, Rolf Drechsler, Görschwin Fey

Lingua
Pubblicato
2010
product-detail.submit-box.info.binding
(In brossura)
Ti avviseremo via email non appena lo rintracceremo.

Metodi di pagamento