| |
| 1997 | ||
|---|---|---|
| 2 | Dominique Borrione, F. Vestman, H. Bouamama: An approach to Verilog-VHDL interoperability for synchronous designs. CHARME 1997: 65-87 | |
| 1996 | ||
| 1 | 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: 450-467 | |
| 1 | Dominique Borrione | [1] [2] |
| 2 | David Déharbe | [1] |
| 3 | C. Le Faou | [1] |
| 4 | F. Vestman | [2] |
| 5 | Ayman M. Wahba | [1] |