Synthesis of decision diagrams from clock-driven multi-process VHDL descriptions for test generation

• Autorzy: Leveugle R. , Ubar R.
• Konferencja: Mixed Design of Integrated Circuits and Systems. 5 International Conference MIXDES' 98 (18-20.06.1998 ; Łódź, Poland)
• Języki publikacji: EN

Abstrakty

EN

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

• Wydawca: Institute of Electron Technology
• Czasopismo: Electron Technology
• Rocznik: 1999
• Tom: Vol. 32, No. 3
• Strony: 282--287
• Opis fizyczny: Bibliogr. 13 poz.

Twórcy

autor

Leveugle R.

autor

Ubar R.

• Laboratoire Conception de Systemes Integres of Institut National Polytechnique de Grenoble, 46, av. Felix-Viallet, 38031 Grenoble Cedex, France,