公开/公告号CN102279800A
专利类型发明专利
公开/公告日2011-12-14
原文格式PDF
申请/专利权人 中国信息安全测评中心;北京启明星辰信息安全技术有限公司;
申请/专利号CN201110256022.0
申请日2011-08-31
分类号G06F11/36;
代理机构北京安信方达知识产权代理有限公司;
代理人栗若木
地址 100085 北京市海淀区上地西路8号院A座
入库时间 2023-12-18 04:00:10
法律状态公告日
法律状态信息
法律状态
2014-11-12
发明专利申请公布后的视为撤回 IPC(主分类):G06F11/36 申请公布日:20111214 申请日:20110831
发明专利申请公布后的视为撤回
2012-02-01
实质审查的生效 IPC(主分类):G06F11/36 申请日:20110831
实质审查的生效
2011-12-14
公开
公开
机译: 使用静态时序分析器和动态时序分析器来验证电路内关键路径的时序性能的设备和方法
机译: 静态分析器的源代码,系统,方法及其程序
机译: 源代码分析器源代码分析方法和源代码分析程序