数字集成电路设计中状态机的验证方法及验证系统

被引:0
专利类型
发明
申请号
CN202111636387.6
申请日
2021-12-29
公开(公告)号
CN114330179B
公开(公告)日
2025-04-18
发明(设计)人
陈安帅
申请人
展讯通信(上海)有限公司
申请人地址
201203 上海市浦东新区浦东张江高科技园区祖冲之路2288弄展讯中心1号楼
IPC主分类号
G06F30/33
IPC分类号
代理机构
北京兰亭信通知识产权代理有限公司 11667
代理人
赵永刚
法律状态
授权
国省代码
上海市
引用
下载
收藏
共 50 条
[1]
数字集成电路设计中状态机的验证方法及验证系统 [P]. 
陈安帅 .
中国专利 :CN114330179A ,2022-04-12
[2]
一种数字集成电路设计的验证方法 [P]. 
王博 ;
谢峥 ;
李姮乐 ;
杨宝国 ;
罗永贵 ;
宋建龙 ;
伍国斌 .
中国专利 :CN102737143A ,2012-10-17
[3]
数字集成电路的设计方法 [P]. 
朱佳辉 ;
葛菲 ;
黄慧宇 .
中国专利 :CN113723045B ,2025-09-16
[4]
数字集成电路的设计方法 [P]. 
朱佳辉 ;
葛菲 ;
黄慧宇 .
中国专利 :CN113723045A ,2021-11-30
[5]
高可靠性数字集成电路设计方法 [P]. 
周密 ;
尚利宏 ;
张炯 ;
金惠华 .
中国专利 :CN100543757C ,2008-03-26
[6]
基于数字集成电路设计的广告流水灯 [P]. 
文涵灵 .
中国专利 :CN203057614U ,2013-07-10
[7]
用于数字集成电路设计的最佳极性搜索方法 [P]. 
汪鹏君 ;
陆金刚 .
中国专利 :CN101216865A ,2008-07-09
[8]
一种可配置的数字集成电路设计方法 [P]. 
彭智聪 ;
陈岚 ;
周崟灏 .
中国专利 :CN110457849A ,2019-11-15
[9]
集成电路设计验证 [P]. 
朱嘉华 .
中国专利 :CN114417755A ,2022-04-29
[10]
包含双边沿触发器的数字集成电路设计方法 [P]. 
郑松 ;
魏述然 ;
张亮 ;
张标 ;
谢晓娟 .
中国专利 :CN102831273A ,2012-12-19