HDL-Based Integration of Formal Methods and CAD Tools in the PREVAIL Environment. - Dominique Borrione; H. Bouamama; David Déharbe; C. Le Faou; Ayman M. Wahba (FMCAD, 1996)