Improvements for constraint solving in the systemc verification library
暂无分享,去创建一个
[1] Thorsten Grotker,et al. System Design with SystemC , 2002 .
[2] Andreas Herrholz,et al. A Functional Coverage Prototype for SystemC-based Verification of Chipset Designs , 2004 .
[3] Randal E. Bryant,et al. Efficient implementation of a BDD package , 1991, DAC '90.
[4] Fabio Somenzi,et al. CUDD: CU Decision Diagram Package Release 2.2.0 , 1998 .
[5] Kunle Olukotun,et al. A General Method for Compiling Event-Driven Simulations , 1995, 32nd Design Automation Conference.
[6] Adnan Aziz,et al. Constraint-based verification , 2006 .
[7] Randal E. Bryant,et al. Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.
[8] Stuart Swan,et al. A tutorial introduction on the new SystemC verification standard , 2003 .
[9] Wolfgang Rosenstiel,et al. SystemC: methodologies and applications , 2003 .