From Assertion-based Verification to Assertion-based Synthesis - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 1970

From Assertion-based Verification to Assertion-based Synthesis

Résumé

We propose a linear complexity approach to achieve automatic synthesis of designs from temporal specifications. It uses concepts from the Assertion-Based Verification. Each property is turned into a component combining classical monitor and generator features: the extended-generator. We connect them with specific components to obtain a design that is correct by construction. It shortens the design flow by removing implementation and functional verification steps. Our approach synthesizes circuits specified by hundreds of temporal properties in a few seconds. Complex examples (i.e. conmax-ip and GenBuf) show the efficiency of the approach.
Fichier principal
Vignette du fichier
978-3-642-23120-9_6_Chapter.pdf (326.75 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01478893 , version 1 (27-07-2017)

Licence

Paternité - Pas d'utilisation commerciale

Identifiants

Citer

Y. Oddos, Katell Morin-Allory, D. Borrione. From Assertion-based Verification to Assertion-based Synthesis. 17th International Conference on Very Large Scale Integration (VLSISOC), Oct 2009, Florianópolis, Brazil. pp.94-117, ⟨10.1007/978-3-642-23120-9_6⟩. ⟨hal-01478893⟩
279 Consultations
586 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More