Utilisation de CHIP pour la synthèse et vérification des circuits CMOS

Huy Nam Nguyen, L. Ducousso. Utilisation de CHIP pour la synthèse et vérification des circuits CMOS. In Serge Bourgault, Mehmet Dincbas, editors, SPLT 88, 7:::ème::: Séminaire Programmation en Logique, 25-27 mai 1988, Trégastel, France. pages 267-278, 1988.

Abstract

Abstract is missing.