共 8 条
[1]
Appenzeller D.P., 1995, FORMAL VERIFICATION
[2]
Behm M., 2004, P 41 ANN DES AUT C
[3]
Bentley B., 2002, P 7 IEEE INT HIGH LE
[4]
BERGERON J, 2003, WRITING TESTBENCHES
[5]
Shimizu K., 2006, P 43 ANN DES AUT C
[6]
Shin D. Y., 2013, ASPDAC 2013 UNPUB
[7]
Tahar S., 1993, METHODOLOGY FORMAL H
[8]
Watanabe Y., 2006, AS S PAC DES AUT C