華芯安信
華芯安信(北京)科技有限公司
存續(xù)商標信息0
暫無商標信息
專利信息6
| 序號 | 專利名稱 | 專利類型 | 申請?zhí)?/th> | 公開(公告)號 | 公布日期 |
|---|---|---|---|---|---|
| 1 | 一種基于門級污染標簽跟蹤模型的硬件安全漏洞檢測方法 | 發(fā)明專利 | CN202011147803.1 | CN112650638B | 2022-01-04 |
| 2 | 一種基于門級污染標簽跟蹤模型的硬件安全漏洞檢測方法 | 發(fā)明專利 | CN202011147803.1 | CN112650638A | 2021-04-13 |
| 3 | 一種LED芯片強度測試裝置 | 實用新型 | CN201922408234.0 | CN212059674U | 2020-12-01 |
| 4 | 高層綜合能量隱通道硬件安全優(yōu)化方法 | 發(fā)明專利 | CN202010476995.4 | CN111832025A | 2020-10-27 |
| 5 | 寄存器傳輸級Verilog代碼的SMV模型構建方法 | 發(fā)明專利 | CN201910010500.6 | CN109725900B | 2019-05-07 |
| 6 | 寄存器傳輸級Verilog代碼的SMV模型構建方法 | 發(fā)明專利 | CN201910010500.6 | CN109725900A | 2019-05-07 |
軟件著作權3
| 序號 | 軟件名稱 | 軟件簡稱 | 版本號 | 登記號 | 分類號 | 首次發(fā)表日期 | 登記批準日期 |
|---|---|---|---|---|---|---|---|
| 1 | 硬件設計RTL代碼分析工具系統(tǒng) | - | V1.0 | 2021SR2104027 | - | - | 2021-12-22 |
| 2 | 硬件設計驗證屬性提取系統(tǒng) | - | V1.0 | 2021SR2104026 | - | - | 2021-12-22 |
| 3 | Coq語義門級信息流模型生成工具系統(tǒng) | - | V1.0 | 2021SR2104025 | - | - | 2021-12-22 |
作品著作權0
暫無作品著作權
網(wǎng)站備案0

暫無網(wǎng)站備案
郵箱
電話
企業(yè)聯(lián)系方式
關注公眾號,免費查看企業(yè)全部聯(lián)系方式
請使用微信掃描二維碼關注「滿商公司網(wǎng)」
滿商公司網(wǎng)
2億企業(yè)免費查
企業(yè)信息變動早知道
歡迎登錄
沒有賬戶?立即注冊
獲取驗證碼
找回密碼
返回登錄
歡迎登錄
返回登錄
獲取驗證碼