| 1994 |
|---|
| 4 | | Huy Nam Nguyen,
J. P. Tual,
L. Ducousso,
M. Thill,
P. Vallet:
Logic Synthesis and Verification of the CPU and Caches of a Mainframe System.
EDAC-ETC-EUROASIC 1994: 60-64 |
| 3 | | Huy Nam Nguyen,
J. P. Tual,
L. Ducousso,
M. Thill,
P. Vallet:
The Structured Logic CAD Suite Used on the DPS7000 System.
ICCD 1994: 464-467 |
| 1989 |
|---|
| 2 | | Huy Nam Nguyen,
L. Ducousso:
Automated synthesis of combinational logic using problem solving techniques.
SPLT 1989: 577-582 |
| 1988 |
|---|
| 1 | | Huy Nam Nguyen,
L. Ducousso:
Utilisation de CHIP pour la synthèse et vérification des circuits CMOS.
SPLT 1988: 267-278 |
