NO.005: Improvement of chip verification automation technology

Author(s):
Ma Yao, Shao Haibo, Yue Yaping, and Cao Zhu