专利查询
首页
专利评估
登录
注册
当前位置:
首页
>
专利查询
>
中国科学院计算技术研究所
>
用于验证电路的模型检测中的模型抽象方法及其系统技术方案
>技术资料下载
下载用于验证电路的模型检测中的模型抽象方法及其系统的技术资料
文档序号:3847311
温馨提示:您尚未登录,请点
登陆
后下载,如果您还没有账户请点
注册
,登陆完成后,请刷新本页查看技术详细信息。
本发明涉及用于验证电路的模型检测中的模型抽象方法和系统,所述电路由Verilog设计,所述方法包括:步骤1,读入所述电路的Verilog代码,依据检测需求处理所述Verilog代码中的变量,以规范并简化所述代码;步骤2,根据规范后的所述变量...
该专利属于中国科学院计算技术研究所所有,仅供学习研究参考,未经过中国科学院计算技术研究所授权不得商用。
详细技术文档下载地址
温馨提示:您尚未登录,请点
登陆
后下载,如果您还没有账户请点
注册
,登陆完成后,请刷新本页查看技术详细信息。