HDL-Based Integration of Formal Methods and CAD Tools in the PREVAIL Environment.

Dominique Borrione, H. Bouamama, David Dharbe, C. Le Faou, Ayman M. Wahba

Browse the full FMCAD paper archive.