ZHANG Duoli.Research on functional-information-based verification engineering and verification techniques system[D].Hefei： Hefei University of Technology， 2005（in Chinese）.[张多利.基于功能信息的验证工程学及若干验证技术研究[D].合肥：合肥工业大学， 2005].
[2]
MEHLITZ P C，PENIX J.Design for verification using design patterns to build reliable systems[EB/OL].[2009-05-05]. http：//ti.arc.nasa.gov/people/pcmehlitz/papers/CBSE2003.pdf.
