Y. Oddos, K. Morin-Allory, D. Borrione. From Assertion-based Verification to Assertion-based Synthesis. Jürgen Becker; Marcelo Johann; Ricardo Reis. 17th International Conference on Very Large Scale Integration (VLSISOC), Oct 2009, Florianópolis, Brazil.
HAL Archives-Ouvertes,
Y. Oddos, K. Morin-Allory, D. Borrione. From Assertion-based Verification to Assertion-based Synthesis.