另外,在google上可以搜到下面网页:http://www.huis.hiroshima-u.ac.jp/mwscas04/program/27PM5L-C.html
The 47th IEEE International Midwest Symposium on Circuits and Systems
Session: [27PM5L-C] Techniques for Test, Verification, and Analog
Session Type: Lecture
Time: Tuesday July 27, 2004, 16:10 - 17:58
...
Title Debugging Complex Counterexample of Hardware System using Control Flow Distance Metrics
Author(s) **ShengYu Shen **, Ying Qin, SiKun Li(National Univ. of Defense Technology)
Page(s) pp. I-501 - I-504
呵呵 |