商标信息0
暂无商标信息
专利信息6
| 序号 | 专利名称 | 专利类型 | 申请号 | 公开(公告)号 | 公布日期 |
|---|---|---|---|---|---|
| 1 | 一种基于门级污染标签跟踪模型的硬件安全漏洞检测方法 | 发明专利 | CN202011147803.1 | CN112650638B | 2022-01-04 |
| 2 | 一种基于门级污染标签跟踪模型的硬件安全漏洞检测方法 | 发明专利 | CN202011147803.1 | CN112650638A | 2021-04-13 |
| 3 | 一种LED芯片强度测试装置 | 实用新型 | CN201922408234.0 | CN212059674U | 2020-12-01 |
| 4 | 高层综合能量隐通道硬件安全优化方法 | 发明专利 | CN202010476995.4 | CN111832025A | 2020-10-27 |
| 5 | 寄存器传输级Verilog代码的SMV模型构建方法 | 发明专利 | CN201910010500.6 | CN109725900B | 2019-05-07 |
| 6 | 寄存器传输级Verilog代码的SMV模型构建方法 | 发明专利 | CN201910010500.6 | CN109725900A | 2019-05-07 |
软件著作权3
| 序号 | 软件名称 | 软件简称 | 版本号 | 登记号 | 分类号 | 首次发表日期 | 登记批准日期 |
|---|---|---|---|---|---|---|---|
| 1 | 硬件设计RTL代码分析工具系统 | - | V1.0 | 2021SR2104027 | - | - | 2021-12-22 |
| 2 | 硬件设计验证属性提取系统 | - | V1.0 | 2021SR2104026 | - | - | 2021-12-22 |
| 3 | Coq语义门级信息流模型生成工具系统 | - | V1.0 | 2021SR2104025 | - | - | 2021-12-22 |
作品著作权0
暂无作品著作权
网站备案0

暂无网站备案
邮箱
电话
企业联系方式
关注公众号,免费查看企业全部联系方式
请使用微信扫描二维码关注「满商公司网」
满商公司网
2亿企业免费查
企业信息变动早知道
欢迎登录
没有账户?立即注册
获取验证码
找回密码
返回登录
欢迎登录
返回登录
获取验证码