Publications

Publications

< retour aux publications

Automatic Synthesis of Verification IP's from Assertions: Beyond Observers

Auteur(s) : D. Borrione

Doc. Source: 19th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS'16)

Publisher : IEEE