Il libro è attualmente esaurito
Maggiori informazioni sul libro
Focusing on the integration of formal property verification (FPV) into design processes, this book addresses critical questions about property writing and tool capacity challenges. It provides a structured roadmap for incorporating FPV into traditional validation workflows, making the technology accessible through straightforward examples. Readers can engage with the content without prior knowledge of formal methods, ensuring a broad audience can benefit from its insights into enhancing design verification practices.
Acquisto del libro
A Roadmap for Formal Property Verification, Pallab Dasgupta
- Lingua
- Pubblicato
- 2006
- product-detail.submit-box.info.binding
- (Copertina rigida)
Ti avviseremo via email non appena lo rintracceremo.
Metodi di pagamento
Ancora nessuna valutazione.