Publications

Publications

< back to publications

From Assertion-based Verification to Assertion-based Synthesis

Author(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