"conception puce." . . "compilation silicium." . . "CAO." . . "conception VLSI." . . "vérification logique." . . "simulation panne." . . "circuit intégré" . . "VLSI." . . "facteur humain." . . "test VLSI." . . "système expert." . . "testabilité" . . "conception PLA." . . . . "optimisation performance." . . "génie logiciel." . . "ACM IEEE Design Automation Conference (24th : 1987 : Miami Beach, Fla.)" . . . "base donnée." . . "accélérateur matériel." . . . "Proceedings 1987 : 24th ACM/IEEE Design Automation Conference ; 24th ACM/IEEE DAC, Miami Beach, Fla"@en . . . . . "DAC '87"@en . "1987 Design Automation Conference"@en . . . . . . . . . . . . . . "Proceedings 1987 24th ACM/IEEE Design Automation Conference ; 24th ACM/IEEE DAC, Miami Beach, Fla"@en . . . . . . . . "24th ACM/IEEE conference proceedings on Design Automation Conference"@en . . "Conference papers and proceedings"@en . . . . . . "génération test." . .