论文部分内容阅读
为了探索更好的验证方式,本文总结了仿真验证方法在应对HDLC协议验证时面临的挑战,提出了以形式验证对HDLC协议设计进行协议级验证的方法。实践表明,对HDLC协议设计的形式验证方法能够获得准确、直观的验证结果,较好地保证了验证的完备性,具有较高的研究价值。
In order to explore a better verification method, this paper summarizes the challenges faced by the simulation verification method in response to the HDLC protocol verification, and presents a method for formally verifying the protocol-level verification of the HDLC protocol design. Practice shows that the formal verification method of HDLC protocol design can obtain accurate and intuitive verification results, and better ensure the completeness of verification, which has a high research value.