[发明专利]一种面向硬件逻辑设计的需求建模与验证方法有效
| 申请号： | 201911200553.0 | 申请日： | 2019-11-29 |
| 公开（公告）号： | CN110941932B | 公开（公告）日： | 2021-07-20 |
| 发明（设计）人： | 王洁;曹雪;邓双敏;周宽久;侯刚 | 申请（专利权）人： | 大连理工大学 |
| 主分类号： | G06F30/33 | 分类号： | G06F30/33 |
| 代理公司： | 大连智高专利事务所(特殊普通合伙) 21235 | 代理人： | 盖小静 |
| 地址： | 116023 辽*** | 国省代码： | 辽宁;21 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种面向硬件逻辑设计的需求建模与验证方法，包括步骤1：获取需求分析阶段划分的功能模块，并将所述功能模块代码填入对应样式的表格中；步骤2：分析填充的、以多样式描述不同功能Verilog HDL语句的表格，记录同模块间表格的嵌套关系和不同模块间端口的实例化关系；步骤3：对代码进行语法和逻辑审查；步骤4：由模块代码生成保存时序运行逻辑的文档；步骤5：在不同的时钟沿调用时序运行逻辑的文档，使用表格显示对不同时钟沿时刻代码所处的逻辑分支的具体位置；步骤6：对验证逻辑正确后的所述代码进行整合操作，生成表格填充对应的Verilog HDL代码框架。该方法能以简单的填充表格方式，自动对逻辑进行验证，达到事前验证的效果。 | ||
| 搜索关键词： | 一种 面向 硬件 逻辑设计 需求 建模 验证 方法 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于大连理工大学，未经大连理工大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201911200553.0/，转载请声明来源钻瓜专利网。
- 上一篇：头戴设备便携包
- 下一篇：一种用于视频分析中的动作识别方法
