排序方式： 共有2条查询结果，搜索用时 15 毫秒
1
1.
远程控制FPGA是卫星执行地面指令和转发地面数据的核心部分,必须对其进行全面验证,避免存在设计隐患。本文以远程控制FPGA为被测件,使用目前最先进性的通用验证方法学UVM建立了一体化闭环仿真验证平台。该验证平台具有带约束收敛的测试向量随机生成和自动检查输出结果正确性功能,实现了功能覆盖率检测,能有效提高远程控制FPGA验证的效率和质量,较好的满足了验证需求。 相似文献
2.
该文介绍了嵌入式武控软件数学模型的基本特点及基本验证方法。同时针对如何更加高效的完成数学模型验证工作,提出了使用函数调用选择法来进行武控软件的数学模型验证。 相似文献
1