[发明专利]基于内部实体状态转移的数字电路功能建模方法及系统有效
| 申请号： | 201811619957.9 | 申请日： | 2018-12-28 |
| 公开（公告）号： | CN109753713B | 公开（公告）日： | 2023-06-02 |
| 发明（设计）人： | 陈书明;吕昭;王耀华;张廷荣;胡春媚;黎余亮 | 申请（专利权）人： | 中国人民解放军国防科技大学 |
| 主分类号： | G06F30/398 | 分类号： | G06F30/398 |
| 代理公司： | 湖南兆弘专利事务所(普通合伙) 43008 | 代理人： | 谭武艺 |
| 地址： | 410073 湖南*** | 国省代码： | 湖南;43 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种基于内部实体状态转移的数字电路功能建模方法及系统，本发明针对目标数字电路的功能规范进分析提取功能点和内部实体，采用带有功能属性分类的阶段转移模型将功能点的行为流程进行形式化描述，采用拓展有限状态机对电路的内部实体进行形式化描述，从而得到阶段转移模型和拓展有限状态机构成的目标数字电路的功能模型。本发明能够高效完备地描述数字电路中每个功能点的时序特性与多功能点执行的并发特性，适用于数字电路的功能建模，本发明具有形式化、图形化的特点，具有良好的拓展性与适用性，方便在集成电路设计验证过程中尤其是激励自动生成方面进行工程化应用。 | ||
| 搜索关键词： | 基于 内部 实体 状态 转移 数字电路 功能 建模 方法 系统 | ||
【主权项】：
1.一种基于内部实体状态转移的数字电路功能建模方法，其特征在于实施步骤包括：1）针对目标数字电路的功能规范进分析提取功能点和内部实体；2）采用带有功能属性分类的阶段转移模型将功能点的行为流程进行形式化描述，采用拓展有限状态机对电路的内部实体进行形式化描述，从而得到阶段转移模型和拓展有限状态机构成的目标数字电路的功能模型；3）输出阶段转移模型和拓展有限状态机。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于中国人民解放军国防科技大学，未经中国人民解放军国防科技大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201811619957.9/，转载请声明来源钻瓜专利网。
