基于形式验证的HDLC协议验证  

作　　者：张凡[1] 王小力[1] 

机构地区：[1]西安交通大学

出　　处：《中国新通信》2017年第19期22-22,共1页China New Telecommunications

摘　　要：为了探索更好的验证方式,本文总结了仿真验证方法在应对HDLC协议验证时面临的挑战,提出了以形式验证对HDLC协议设计进行协议级验证的方法。实践表明,对HDLC协议设计的形式验证方法能够获得准确、直观的验证结果,较好地保证了验证的完备性,具有较高的研究价值。

关 键 词：HDLC协议 FPGA 形式验证 断言验证 

分 类 号：TN915.04[电子电信—通信与信息系统]