首页 专利交易 科技果 科技人才 科技服务 国际服务 商标交易 会员权益 IP管家助手 需求市场 关于龙图腾
 /  免费注册
到顶部 到底部
清空 搜索

软硬件协同设计验证方法、系统、设备与介质 

买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!

申请/专利权人:湖南长城银河科技有限公司

摘要:本申请涉及软硬件协同设计验证方法、系统、设备与介质,该方法利用Scala的函数式编程特性实现软件算法;接着,基于SpinalHDL语言描述硬件模块,生成Verilog或VHDL代码进行仿真验证;最后,通过Scala的Actor模型实现软硬件协同仿真,确保设计的正确性。整个流程无需深入了解Verilog或VHDL,简化了硬件设计流程,实现了快速高效的硬件设计与验证,有效解决了传统硬件设计繁琐低效的问题。

主权项:1.一种软硬件协同设计验证方法,其特征在于,包括步骤:获取硬件设计需求文件并采用Scala语言生成各需求功能子模块;获取各所述需求功能子模块对应的标准单元测试结果和标准框架测试结果;根据各所述需求功能子模块采用SpinalHDL语言生成分别对应于各所述需求功能子模块的各硬件子模块,利用Verilog仿真器对各所述硬件子模块进行编译;分别将各所述需求功能子模块和编译后的各所述硬件子模块封装成Scala语言的各演员模型;在基于演员模型的软硬件协同仿真测试中,将各所述需求功能子模块对应的各演员模型替换为各所述硬件子模块对应的各演员模型后,通过ScalaTest测试单元产生第一激励并分发给各所述硬件子模块对应的各演员模型,得到硬件单元测试结果;通过ScalaCheck测试框架产生第二激励并分发给各所述硬件子模块对应的各演员模型,得到硬件框架测试结果;进行测试结果比较处理,当测试结果一致时确定设计验证通过,否则确定设计验证不通过并利用Verilator仿真工具生成硬件子模块对应的波形文件;其中,所述测试结果比较处理包括比较所述硬件单元测试结果与所述标准单元测试结果是否一致,以及比较所述硬件框架测试结果与所述标准框架测试结果是否一致,所述波形文件用于指示出错的硬件子模块。

全文数据:

权利要求:

百度查询: 湖南长城银河科技有限公司 软硬件协同设计验证方法、系统、设备与介质

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。

相关技术
相关技术
相关技术
相关技术