Formal Verification Method of Digital System
Tao Ling · Journal of Hefei Teachers College · 2008
Successful design of a complex digital system requires the various stages of implementation to achieve the correctness,traditional approach is no longer adequate and formal verification technology becomes an important complement.The research results of formal verification technology at home and abroad are investigated in this paper,the principal methods are analyzed and compared,and some problems worth researching are pointed out.