跳至主要內容
首頁
新聞&活動
電子設計自動化工具
AMIQ
Baum
Jedat
NanDigits
Perforce
Pulsic
Real Intent
TeamEDA
TOOL
Xpeedic
矽智財
Certus Semiconductor
HDL-DH
Intrinsic ID
NSCore
OmniDesign
Silicon Creations
Trilinear
關於凱為
關於凱為
聯絡我們
中文 (台灣)
中文 (台灣)
English
搜尋關鍵字:
Close menu
首頁
新聞&活動
電子設計自動化工具
AMIQ
Baum
Jedat
NanDigits
Perforce
Pulsic
Real Intent
TeamEDA
TOOL
Xpeedic
矽智財
Certus Semiconductor
HDL-DH
Intrinsic ID
NSCore
OmniDesign
Silicon Creations
Trilinear
關於凱為
關於凱為
聯絡我們
中文 (台灣)
中文 (台灣)
English
Toggle menu
搜尋關鍵字:
電子設計自動化工具
› NanDigits
Gates On the Fly product lines
•
GOF – ECO
–
Functional Netlist ECO
•
GOF Debug
–
Schematic and Debug; ECO on the fly
•
GOF LEC
–
RTL to Netlist Equivalence Checker
•
GOF Formal
–
Formal method for fault coverage; ISO 26262 standard compliant
•
GOF Link (2024 release)
–
FUSA Information sharing; web based tool
Back to top