Race a word-level atpg-based constraints solver system for smart random simulation
暂无分享,去创建一个
[1] A. K. Chandra,et al. Constraint solving for test case generation: a technique for high-level design verification , 1992, Proceedings 1992 IEEE International Conference on Computer Design: VLSI in Computers & Processors.
[2] Mahesh A. Iyer. High Time For High Level ATPG , 1999, International Test Conference 1999. Proceedings (IEEE Cat. No.99CH37034).
[3] Kwang-Ting Cheng,et al. Assertion checking by combined word-level ATPG and modular arithmetic constraint-solving techniques , 2000, DAC.
[4] Seema Sharma,et al. Paper 11 , 2022 .
[5] Randal E. Bryant,et al. Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.
[6] Dhiraj K. Pradhan,et al. Recursive learning: a new implication technique for efficient solutions to CAD problems-test, verification, and optimization , 1994, The IEEE International Symposium on Circuits and Systems, 2003. Tutorial Guide: ISCAS 2003..
[7] Daniel Geist,et al. AVPGEN-A test generator for architecture verification , 1995, IEEE Trans. Very Large Scale Integr. Syst..
[8] Avi Ziv,et al. Using a constraint satisfaction formulation and solution techniques for random test program generation , 2002, IBM Syst. J..
[9] Adnan Aziz,et al. Modeling design constraints and biasing in simulation using BDDs , 1999, 1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051).
[10] Ieee Standards Board. IEEE Standard hardware Description language : based on the Verilog hardware description language , 1996 .
[11] Prabhakar Goel,et al. An Implicit Enumeration Algorithm to Generate Tests for Combinational Logic Circuits , 1981, IEEE Transactions on Computers.
[12] Melvin A. Breuer,et al. Digital systems testing and testable design , 1990 .
[13] Janick Bergeron,et al. Writing Testbenches: Functional Verification of HDL Models , 2000 .
[14] Aharon Aharon,et al. Verification of the IBM RISC System/6000 by a Dynamic Biased Pseudo-Random Test Program Generator , 1991, IBM Syst. J..