| |
| 1999 | ||
|---|---|---|
| 2 | EE | Ludovic Jacomme, Frédéric Pétrot, Rajesh K. Bawa: Formal Analysis of Single WAIT VHDL processes for Semantic Based Synthesis. VLSI Design 1999: 151-156 |
| 1998 | ||
| 1 | EE | Ludovic Jacomme, Frédéric Pétrot, Rajesh K. Bawa: Formal Extraction of Memorizing Elements for Sequential VHDL Synthesis. EUROMICRO 1998: 10317-10620 |
| 1 | Rajesh K. Bawa | [1] [2] |
| 2 | Frédéric Pétrot | [1] [2] |