一种基于PRDL规则描述语言的C程序代码规范检查装置

被引：0

专利类型：

发明

申请号：

CN201710191241.2

申请日：

2017-03-28

公开(公告)号：

CN106970819A

公开(公告)日：

2017-07-21

发明(设计)人：

周旻顾明孙家广

申请人：

申请人地址：

100084 北京市海淀区清华园

IPC主分类号：

G06F945

IPC分类号：

G06F1136

代理机构：

北京律谱知识产权代理事务所(普通合伙) 11457

代理人：

罗建书

法律状态：

实质审查的生效

国省代码：

引用

下载

收藏

法律状态

法律状态公告日	法律状态	法律状态信息
2017-08-15	实质审查的生效	实质审查的生效号牌文件类型代码:1604 号牌文件序号:101741972084 IPC(主分类):G06F 9/45 专利申请号:2017101912412 申请日:20170328
2020-07-10	授权	授权
2017-07-21	公开	公开

共 50 条

[1]

将软件程序代码断言转换为硬件描述语言程序代码的方法 [P].

余大伟 ;

张征 ;

陈琦 .

中国专利 :CN101055523A ,2007-10-17

[2]

基于多模型的C语言程序代码规范构造方法 [P].

周旻 ;

顾明 ;

孙家广 ;

徐宝新 .

中国专利 :CN107943481B ,2018-04-20

[3]

一种硬件描述语言VHDL规范检查工具 [P].

李思照 ;

王鹏 ;

武俊鹏 .

中国专利 :CN113312896A ,2021-08-27

[4]

一种基于规则描述语言的动态配置过滤规则的方法 [P].

丰大军 ;

傅一帆 ;

贡春燕 ;

王帅 .

中国专利 :CN105516162A ,2016-04-20

[5]

源代码到接口描述语言的转换方法及装置 [P].

单威强 ;

董庆运 ;

李东军 .

中国专利 :CN119556931A ,2025-03-04

[6]

一种用于硬件描述语言代码解析的预处理方法 [P].

赵敏 ;

李铀 ;

孙宇明 ;

王宏伟 ;

唐柳 ;

曾霞 ;

尤静 ;

姚春月 .

中国专利 :CN118276870A ,2024-07-02

[7]

用于对硬件描述语言代码进行静态检查的方法 [P].

郜震霄 ;

孙晓东 ;

徐清建 ;

蒋卓成 .

中国专利 :CN120610736A ,2025-09-09

[8]

一种基于TypeScript的硬件描述语言代码生成系统 [P].

刘润喆 ;

翟民 ;

张军坦 ;

王宏伟 ;

蒋毅敏 .

中国专利 :CN121209848A ,2025-12-26

[9]

一种检查程序代码编写规范的系统及其实现方法 [P].

陈德淼 ;

季统凯 .

中国专利 :CN106201889A ,2016-12-07

[10]

一种程序代码检查方法及装置 [P].

申世哲 .

中国专利 :CN114817054A ,2022-07-29

← 1 2 3 4 5 →