现代信息科技2021，Vol.5Issue(19)：30-33,4.DOI:10.19850/j.cnki.2096-4706.2021.19.007
FPGA软件形式化验证技术研究
Research on Formal Verification Technology of FPGA Software
陈军花 1石颢 1柴金宝1
作者信息
- 1. 中国航天科工集团第四研究院软件评测中心(武汉),湖北 武汉 430000
- 折叠
摘要
关键词
FPGA/形式化验证/SVA分类
信息技术与安全科学引用本文复制引用
陈军花,石颢,柴金宝..FPGA软件形式化验证技术研究[J].现代信息科技,2021,5(19):30-33,4.
