Publications

Publications

< retour aux publications

From Assertion-based Verification to Assertion-based Synthesis

Auteur(s) : Y. Oddos, K. Morin-Allory, D. Borrione

Doc. Source: VLSI-SOC: Technologies for Systems Integration" (revised selected contributions from VLSI-SOC'09)

Publisher : Springer