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

• 作者: 张凡 王小力
• 来源期刊: 中国新通信
• 关键词: HDLC协议 FPGA 形式验证 断言验证
• 年，卷（期）: 2017,（19）
• 所属期刊栏目: 互联网+ 通信
• 页码范围: 22
• 页数: 1页
• 字数: 1677字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-4866.2017.19.016

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王小力		59	320	11.0	16.0
2	张凡		21	190	8.0	13.0