芯片验证环境中的枚举型变量的声明方法、可读存储介质

实质审查的生效

摘要

本发明公开了一种芯片验证环境中的枚举型变量的声明方法，包含如下步骤：定义若干枚举型变量；将若干枚举型变量分别一一封装入若干独立的封装类；将封装类分别抽象化；声明抽象化的封装类；调用声明后的抽象化的类。本发明能够有效避免原先在package包文件中封装的同一个范围域内的枚举型变量的重名问题，方便使用和检查。

基本信息

专利标题：

芯片验证环境中的枚举型变量的声明方法、可读存储介质

专利标题（英）：

暂无

公开（公告）号：

CN114492260A

申请号：

CN202210086443.1

公开（公告）日：

2022-05-13

申请日：

2022-01-25

授权号：

暂无

授权日：

暂无

发明人：

马骁

申请人：

杭州云合智网技术有限公司

申请人地址：

浙江省杭州市萧山区萧山经济技术开发区建设二路858号集成电路设计产业园D幢107室

代理机构：

上海洞见未来专利代理有限公司

代理人：

苗绘

优先权：

CN202210086443.1

主分类号：

G06F30/33

IPC分类号：

G06F30/33

IPC结构图谱

G部——物理

G06

计算；推算或计数

G06F

电数字数据处理

G06F30/33

设计验证，例如功能仿真或模型检查

法律状态

2022-05-31 ：

实质审查的生效

IPC(主分类) : G06F 30/33
申请日 : 20220125

2022-05-13 ：

公开

注：本法律状态信息仅供参考，即时准确的法律状态信息须到国家知识产权局办理专利登记簿副本。

文件下载

暂无PDF文件可下载