3Ziv A. Cross- product functional coverage measurement with temporal pmperities - based assertion [C] //Proceedings of Design, Automation and Test in Europe Conference and Exhibition. IEEE Comput. Soc, Los Alamitos, CA, USA, 2003:834- 839.
4Yeung P, Subramanian S. Applying assertion - based formal verification to verification hot spots [ M]. USA: Wilsonville Mentor Graphics Technical Library, 2007.
5Foster H. Integrating formal verification into a traditional flow[ M]. Mentor Graphics White Paper, 2006.
6Vijayaraghavan S, Ramanathan M. System verilog assertions应用指南[M].北京:清华大学出版社,2006:133-143.
