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)

An approach to Verilog-VHDL interoperability for synchronous designs. - Dominique Borrione; F. Vestman; H. Bouamama (CHARME, 1997)