Use of constraint solving in order to generate test vectors for behavioral validation - Archive ouverte HAL Access content directly
Conference Papers Year : 2000

Use of constraint solving in order to generate test vectors for behavioral validation

Abstract

Validation of VHDL descriptions at the early phases of the microelectronic design is one of the most time consuming task design. This paper presents a test vector generation method for behavioral VHDL design. This method analyzes control and dependence flow of VHDL program. We use the cyclomatic complexity, that is a software metric based on a graph associated with the control part of software: the control flow graph (CFG). Significant control flow paths are selected using a powerful algorithm: the Poole's algorithm. The execution of this set of paths satisfies the coverage of each decision outcome of the VHDL program. Any additional test path would be a linear combination of the basis paths already tested and therefore considered to be redundant. By considering the selected paths as a group of constraints, test data are generated and solved using constraint programming. These data form the test bench that test the VHDL description.
No file

Dates and versions

hal-00184805 , version 1 (01-11-2007)

Identifiers

Cite

Christophe Paoli, Marie Laure Nivet, Jean-François Santucci. Use of constraint solving in order to generate test vectors for behavioral validation. IEEE International High-Level Validation and Test Workshop (HLDVT'00), 2000, Berkeley, United States. pp. 15-20, ⟨10.1109/HLDVT.2000.889553⟩. ⟨hal-00184805⟩
53 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More