Thèse de doctorat en Informatique
Sous la direction de Gabrièle Saucier.
Soutenue en 1985
à Grenoble INPG , en partenariat avec Institut d'informatique et mathématiques appliquées (Grenoble) (autre partenaire) .
Le système CADOC est un outil de conception assisté pour circuits VLSI, basé sur le langage CADOC-LD. Présentation du langage CADOC-LD en tenant compte de l'étude du langage de description de matériel CHDL. Application à partir du langage CADOC-LD basée sur les techniques d'exécution symbolique temporisée et de l'intelligence artificielle
CADOC system : functionnal generation of test for the complex circuits
Pas de résumé disponible.