Stimuli generation with late binding of values
暂无分享,去创建一个
[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.