公开/公告号CN110782342A
专利类型发明专利
公开/公告日2020-02-11
原文格式PDF
申请/专利权人 北京明略软件系统有限公司;
申请/专利号CN201911039264.7
申请日2019-10-29
分类号
代理机构北京超成律师事务所;
代理人高玉光
地址 100000 北京市海淀区东北旺西路8号院4号楼310号
入库时间 2023-12-17 06:47:23
法律状态公告日
法律状态信息
法律状态
2020-03-06
实质审查的生效 IPC(主分类):G06Q40/02 申请日:20191029
实质审查的生效
2020-02-11
公开
公开
机译: 验证处理器行为模型正确性的方法和装置
机译: 验证处理器行为模型正确性的方法和装置
机译: 用于验证中央处理器单元的行为模型的细粒度正确性的方法和装置