公开/公告号CN113049948A
专利类型发明专利
公开/公告日2021-06-29
原文格式PDF
申请/专利权人 成都奥卡思微电科技有限公司;
申请/专利号CN202110360925.7
发明设计人 袁军;
申请日2019-07-01
分类号G01R31/317(20060101);
代理机构51223 成都华风专利事务所(普通合伙);
代理人张巨箭
地址 610000 四川省成都市中国(四川)自由贸易试验区成都高新区天府大道中段1366号2栋12层16、17号
入库时间 2023-06-19 11:40:48
法律状态公告日
法律状态信息
法律状态
2022-09-02
授权
发明专利权授予
机译: 使用抽象语法树将基于注释的标准中的描述性断言封装到基于代码的库中的系统和方法
机译: 基于用户程序代码的断言生成装置和方法用于断言的处理器验证的装置和方法
机译: 用于基于用户程序代码生成断言的设备和方法,以及用于使用断言来验证处理器的设备和方法