一种基于形式化验证的区间占用逻辑检查系统建模方法

被引：0

专利类型：

发明

申请号：

CN202411760960.8

申请日：

2024-12-03

公开(公告)号：

CN119720513A

公开(公告)日：

2025-03-28

发明(设计)人：

于红姣张铭瑶王燕芩钟远宁

申请人：

卡斯柯信号有限公司

申请人地址：

200072 上海市静安区江场路1401弄21号1101室

IPC主分类号：

G06F30/20

IPC分类号：

G06F30/15

代理机构：

上海元好知识产权代理有限公司 31323

代理人：

曹媛;张双红

法律状态：

实质审查的生效

国省代码：

上海市市辖区

引用

下载

收藏

法律状态

法律状态公告日	法律状态	法律状态信息
2025-04-15	实质审查的生效	实质审查的生效IPC(主分类):G06F 30/20申请日:20241203
2025-03-28	公开	公开

共 50 条

[1]

一种基于SVO逻辑的新形式化验证方法 [P].

不公告发明人 .

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

[2]

基于定理证明的形式化验证方法 [P].

杨霞 ;

郭文生 ;

瞿元 ;

李南铮 ;

黄一 ;

钱智成 ;

潘文睿 ;

高扬 ;

张冯博 ;

卢秀台 ;

熊宇 .

中国专利 :CN110989997A ,2020-04-10

[3]

一种基于形式化验证的FPGA缺陷检查方法 [P].

周勋 .

中国专利 :CN118627439A ,2024-09-10

[4]

一种基于形式化验证的FPGA缺陷检查方法 [P].

周勋 .

中国专利 :CN118627439B ,2024-11-05

[5]

形式化验证的系统和方法 [P].

邵中 ;

顾荣辉 ;

威廉·舍贝里 ;

金志应 ;

热雷米·凯尼格 .

中国专利 :CN112119423A ,2020-12-22

[6]

形式化验证的系统和方法 [P].

邵中 ;

顾荣辉 ;

威廉·舍贝里 ;

金志应 ;

热雷米·凯尼格 .

美国专利 :CN112119423B ,2024-09-10

[7]

基于描述逻辑的服务编导模型形式化验证方法 [P].

张婷婷 ;

张奎昌 ;

董会 ;

牛彦杰 .

中国专利 :CN109784491A ,2019-05-21

[8]

基于层次验证框架的形式化验证方法 [P].

肖堃 ;

李雨珊 ;

罗蕾 ;

陈丽蓉 .

中国专利 :CN120780577A ,2025-10-14

[9]

一种形式化验证方法及系统 [P].

杨林 ;

张龙 ;

杨峰 ;

马琳茹 .

中国专利 :CN115687166A ,2023-02-03

[10]

一种基于SysML模型的形式化验证系统 [P].

黄滟鸿 ;

史建琦 ;

陈英豪 .

中国专利 :CN118981428A ,2024-11-19

← 1 2 3 4 5 →