Le livre est actuellement en rupture de stock
En savoir plus sur le livre
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.
Achat du livre
A Roadmap for Formal Property Verification, Pallab Dasgupta
- Langue
- Année de publication
- 2006
- product-detail.submit-box.info.binding
- (rigide)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Personne n'a encore évalué .