284 articles – 2152 Notices  [english version]
Fiche détaillée Articles dans des revues avec comité de lecture
Electron-Technology 32(3) (1999) 282-7
Synthesis of decision diagrams from clock-driven multi-process VHDL descriptions for test generation
R. Leveugle1, 2, R. Ubar1

A method is presented for creating decision diagrams (DD) from multi-process VHDL descriptions for test generation purposes. Each process in the VHDL description will be represented either by one or several DDs. To increase the efficiency of test generation, a method is given for compressing the model and collapsing faults by superposition of DDs. The method supports well functional test generation as well as hierarchical test synthesis if the low level implementation details can be provided. Experimental results are included to show the efficiency of using DDs in test generation.
1 :  TIMA - Techniques of Informatics and Microelectronics for integrated systems Architecture
2 :  CSI - CSI, Inst. Nat. Polytech. de Grenoble, France
decision-diagrams-synthesis – clock-driven-multi-process-VHDL-descriptions – functional-test-generation – model-compression – collapsing-faults – DD-superposition – hierarchical-test-synthesis – low-level-implementation-details – ATPG-