跳至主要內容
首頁
新聞&活動
電子設計自動化工具
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
搜尋關鍵字:
電子設計自動化工具
› Real Intent
•
Ascent
–
Lint – the fastest and lowest-noise RTL lint solution.
–
AutoFormal – formal verification tool that finds elusive bugs at RTL early stage
•
Meridian
–
CDC – the best performance CDC solution in the market
–
RDC – the best performance RDC solution in the market.
–
RXV – X-optimism correction
•
Verix
–
CDC – as the market’s only true multi-mode CDC
–
PCDC – gate-level multi-mode CDC
–
SimFix – X-pessimism correction
Back to top