< back to publications

Prototyping Generators for On-line Test Vector Generation Based on PSL Properties

Author(s): Y. Oddos, K. Morin-Allory, D. Borrione

Doc. Source: IEEE Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS’07)

Publisher: IEEE

Pages: 1-6

Doi : 10.1109/DDECS.2007.4295317

From an assumed property, which constrains the inputs of a design under test, we produce a RTL synthesizable design that generates compliant sequences of values for all the signals named in the property. Such generator can be connected to the design under test for verification by simulation or emulation. Experiments on our prototype tool show that the technique is efficient, and allows to test the design at its full speed when implemented on an FPGA platform.