巨微
成都巨微集成電路驗證工程技術有限責任公司
注銷商標信息0
暫無商標信息
專利信息0
暫無專利信息
軟件著作權4
| 序號 | 軟件名稱 | 軟件簡稱 | 版本號 | 登記號 | 分類號 | 首次發(fā)表日期 | 登記批準日期 |
|---|---|---|---|---|---|---|---|
| 1 | 巨微集成電路形式驗證引擎SAT Solver軟件 V1.0 [簡稱: 巨微SAT Solver] | - | - | 2007SR20184 | 65500-6000 | 2007-09-01 | 2007-12-14 |
| 2 | 巨微集成電路形式驗證引擎BDD軟件 V1.0 [簡稱: 巨微BDD軟件] | - | - | 2007SR18598 | 65500-6000 | 2007-07-01 | 2007-11-26 |
| 3 | 巨微集成電路等價性驗證系統(tǒng) [簡稱: 巨微EC系統(tǒng)] V1.0 | - | - | 2007SR00744 | 69900-6000 | 2006-11-01 | 2007-01-15 |
| 4 | 集成電路驗證平臺“巨微”系統(tǒng) V1.0 [簡稱: ChipVeri] | - | - | 2006SR06259 | 66500-9100 | 2006-02-20 | 2006-05-19 |
作品著作權0
暫無作品著作權
網(wǎng)站備案0

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