丁宗杰
- 作品数：3 被引量：10H指数：2
- 供职机构：中国空间技术研究院更多>>
- 相关领域：电子电信航空宇航科学技术更多>>
- 基于UVM的FPGA软硬件联合仿真验证技术研究被引量：5
- 2017年
- 提出了一种基于UVM的FPGA软硬件联合仿真验证技术。该技术基于标准UVM架构,实现了一种软硬件联合仿真验证平台。该技术的实现包含PC主控机、PCI接口驱动总线、被测FPGA和FPGA目标测试硬件平台以及软硬件联合仿真管理软件。该系统具有层次化验证环境、随机配置测试用例及自动化测试结果判读和覆盖率统计及加速仿真验证特点。文中还结合具体设计,进行了该项技术的实现过程和运行测试说明。
- 陈锐门永平杨文强丁宗杰
- FPGA状态机综合可靠性探究被引量：3
- 2021年
- 文章介绍了FPGA综合器中的状态机安全属性,对状态机安全属性的应用进行了说明,对状态机安全属性设置前后电路的差异性进行了分析,探索了不同设置下的电路功能。结果表明,通过综合器状态机安全属性设置,可改善逻辑电路对状态机无效状态的处理,提高状态机运行的可靠性。
- 丁宗杰门永平白正尧陈锐
- 关键词：可靠性等价性
- 等效性验证工具进行大规模FPGA验证探讨被引量：2
- 2011年
- 文章分析了FPGA设计验证的一般流程,并以等效性验证原理为基础,结合等效性验证工具,探讨了大规模FPGA设计验证的工作流程及具体实施过程,对优化FPGA设计验证流程给出了建设性建议。
- 杨文强门永平丁宗杰
- 关键词：FPGA形式化验证
