H. Bouamama

According to our database, H. Bouamama authored at least 2 papers between 1996 and 1997.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1997

An approach to Verilog-VHDL interoperability for synchronous designs.

Dominique Borrione, F. Vestman, H. Bouamama

Proceedings of the Advances in Hardware Design and Verification, 1997

1996

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

Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996