Système CADOC : génération fonctionnelle de test pour les circuits complexes

par Jens A. Rarivomanana

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) .

mots clés

• Circuits intégrés à très grande échelle -- Essais
• CADOC.LD (langage de description de matériel informatique)
• Conception assistée par ordinateur

Résumé

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

Titre traduit

CADOC system : functionnal generation of test for the complex circuits

Pas de résumé disponible.