Behavioral-level test vector generation for system-on-chip designs

Co-design tools represent an effective solution for reducing costs and shortening time-to-market, when system-on-chip design is considered. In a top-down design flow, designers would greatly benefit from the availability of tools able to automatically generate test sequences, which can be reused during the following design steps, from the system-level specification to the gate-level description. This would significantly increase the chance of identifying testability problems early in the design flow, thus reducing the costs and increasing the final product quality. The paper proposes an approach for integrating the ability to generate test sequences into an existing co-design tool. Preliminary experimental results are reported, assessing the feasibility of the proposed approach.

[1]  Fabrizio Ferrandi,et al.  Implicit test generation for behavioral VHDL models , 1998, Proceedings International Test Conference 1998 (IEEE Cat. No.98CH36270).

[2]  Srinivas Devadas,et al.  Simulation vector generation from HDL descriptions for observability-enhanced statement coverage , 1999, DAC '99.

[3]  Giovanni Squillero,et al.  High-level observability for effective high-level ATPG , 2000, Proceedings 18th IEEE VLSI Test Symposium.

[4]  Giovanni Squillero,et al.  High Quality Test Pattern Generation for RT-level VHDL Descriptions , 1999 .

[5]  Luciano Lavagno,et al.  Hardware-software co-design of embedded systems: the POLIS approach , 1997 .

[6]  Elizabeth M. Rudnick,et al.  Fast sequential circuit test generation using high-level and gate-level techniques , 1998, Proceedings Design, Automation and Test in Europe.

[7]  Boris Beizer,et al.  Software testing techniques (2. ed.) , 1990 .

[8]  Jacob A. Abraham,et al.  A unified framework for design validation and manufacturing test , 1996, Proceedings International Test Conference 1996. Test and Design Validity.

[9]  Luciano Lavagno,et al.  Hardware-Software Co-Design of Embedded Systems , 1997 .

[10]  Paolo Prinetto,et al.  Exploiting Behavioral Information in Gate-Level ATPG , 1999, J. Electron. Test..

[11]  Luciano Lavagno,et al.  Automatic test bench generation for simulation-based validation , 2000, Proceedings of the Eighth International Workshop on Hardware/Software Codesign. CODES 2000 (IEEE Cat. No.00TH8518).

[12]  Luciano Lavagno,et al.  System-level test bench generation in a co-design framework , 2000, Proceedings IEEE European Test Workshop.