H. Bouamama

Publication Activity (10 Years)

Years Active: 1996-1997
Publications (10 Years): 0

Publications

Dominique Borrione, F. Vestman, H. Bouamama
An approach to Verilog-VHDL interoperability for synchronous designs. CHARME (1997)
Dominique Borrione, H. Bouamama, David Déharbe, C. Le Faou, Ayman M. Wahba
HDL-Based Integration of Formal Methods and CAD Tools in the PREVAIL Environment. FMCAD (1996)