Stimuli generation with late binding of values

Generating test-cases that reach corner cases in the design is one of the main challenges in the functional verification of complex designs. In this paper, we describe a new technique that increases the ability of test generators by delaying assignment of values in the generated stimuli, until these values are used in the design. This late-binding allows the generator to have a more accurate view of the state of the design, and thus it can better choose the correct values. Experimental results show that late-binding can significantly improve coverage, with a reasonable penalty in simulation time.

[1]  Mark Horowitz,et al.  Improving coverage analysis and test generation for large designs , 1999, 1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051).

[2]  Avi Ziv,et al.  User defined coverage—a tool supported methodology for design verification , 1998, DAC.

[3]  Aharon Aharon,et al.  Test Program Generation for Functional Verification of PowePC Processors in IBM , 1995, 32nd Design Automation Conference.

[4]  Janick Bergeron,et al.  Writing Testbenches: Functional Verification of HDL Models , 2000 .

[5]  Nobu Matsumoto,et al.  A new verification methodology for complex pipeline behavior , 2001, Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232).

[6]  Avi Ziv.  Functional Verification Environment for Object-oriented Hardware Designs , 2003, FDL.

[7]  Yehuda Naveh,et al.  X-Gen: a random test-case generator for systems and SoCs , 2002, Seventh IEEE International High-Level Design Validation and Test Workshop, 2002..

[8]  Jen-Tien Yen,et al.  Multiprocessing design verification methodology for Motorola MPC74XX PowerPC microprocessor , 2000, DAC.

[9]  Randal E. Bryant,et al.  Formal verification by symbolic evaluation of partially-ordered trajectories , 1995, Formal Methods Syst. Des..

[10]  Allon Adir,et al.  Piparazzi: a test program generator for micro-architecture flow verification , 2003, Eighth IEEE International High-Level Design Validation and Test Workshop.

[11]  Tughrul Arslan,et al.  Proceedings Design, Automation and Test in Europe Conference and Exhibition , 2003, 2003 Design, Automation and Test in Europe Conference and Exhibition.