断言产生系统及其程序、电路验证系统以及断言产生方法

被引：0

专利类型：

发明

申请号：

CN200580001510.X

申请日：

2005-09-21

公开(公告)号：

CN1906619A

公开(公告)日：

2007-01-31

发明(设计)人：

山田孝光

申请人：

申请人地址：

日本东京都

IPC主分类号：

G06F1750

IPC分类号：

代理机构：

北京市柳沈律师事务所

代理人：

邵亚丽;吕晓章

法律状态：

公开

国省代码：

引用

下载

收藏

法律状态

法律状态公告日	法律状态	法律状态信息
2007-01-31	公开	公开
2007-03-28	实质审查的生效	实质审查的生效
2009-01-28	授权	授权

共 50 条

[1]

监控程序产生系统及其产生方法 [P].

萧志坚 .

中国专利 :CN107977293A ,2018-05-01

[2]

电压产生系统、电压产生电路以及相关方法 [P].

张延安 ;

史毅骏 .

中国专利 :CN110727305A ,2020-01-24

[3]

用于硅后芯片验证的断言检测装置、方法、系统、芯片 [P].

沈海华 ;

赵跃辉 .

中国专利 :CN105760612B ,2016-07-13

[4]

验证系统、验证方法以及程序 [P].

吉田尚水 ;

岩田宪治 ;

藤村浩司 .

中国专利 :CN108629614A ,2018-10-09

[5]

良率以及处理建议产生系统以及产生方法 [P].

郑宇峻 ;

董昆明 ;

林蔚廷 .

中国专利 :CN117689254A ,2024-03-12

[6]

程序码的动态产生系统及其方法 [P].

黄彦淳 .

中国专利 :CN103970524A ,2014-08-06

[7]

气泡产生装置以及气泡产生系统 [P].

藤本克己 .

日本专利 :CN116917026B ,2025-11-18

[8]

基于增量SMT问题求解的软件断言验证方法、系统及设备 [P].

蔡少伟 ;

张昕荻 .

中国专利 :CN117573556B ,2024-06-21

[9]

滚动码产生系统与产生方法 [P].

陈福泰 ;

张家宪 .

中国专利 :CN101996854A ,2011-03-30

[10]

基于断言的触发网络功能验证系统、方法、设备和介质 [P].

冷勇 ;

冯华 ;

刘功哲 ;

陈洁 ;

李焱明 ;

蔡畅 ;

陈昭妗 ;

刘昱伟 ;

吴松 .

中国专利 :CN118939554A ,2024-11-12

← 1 2 3 4 5 →