【ZiDongHua 之品牌自定位收錄關(guān)鍵詞：阿卡思 EDA 芯片驗(yàn)證 IDAS設(shè)計(jì)自動化產(chǎn)業(yè)峰會 】
 
 
　　阿卡思邀您相聚首屆IDAS設(shè)計(jì)自動化產(chǎn)業(yè)峰會
 
 
　　
 
　　芯片驗(yàn)證是在芯片生產(chǎn)之前驗(yàn)證芯片設(shè)計(jì)是否符合芯片定義的需求規(guī)格，該環(huán)節(jié)能夠有效節(jié)省時間與成本，保證芯片質(zhì)量和安全，在一個完整的項(xiàng)目周期中，驗(yàn)證所占用的時間可高達(dá)六七成。仿真和形式化驗(yàn)證是常見的芯片EDA驗(yàn)證方式，它們各自都有一套簽核目標(biāo)。
 
　　仿真是“測試”的概念，例如編寫測試案例，對比這些案例激勵芯片得到輸出情況進(jìn)行判斷，不過這種測試需要考慮生成激勵和覆蓋率，往往有些場景容易被忽略；形式化驗(yàn)證則是從建立數(shù)理邏輯的模型開始，然后在模型上做一個數(shù)學(xué)證明，證明確實(shí)被芯片設(shè)計(jì)中建立的非常嚴(yán)格的邏輯模型滿足，對于檢測出在仿真過程中難以觸發(fā)的深層錯誤，加速覆蓋率收斂具有較好的效果。
 
　　形式化驗(yàn)證作為一種全新的驗(yàn)證方法，近年來在芯片開發(fā)中快速發(fā)展，正逐漸取代傳統(tǒng)的仿真方法。形式化驗(yàn)證不但能夠增加驗(yàn)證的覆蓋率，還可以提供符合要求的最小實(shí)例。
 
　　國內(nèi)就有一家企業(yè)就選擇形式化驗(yàn)證EDA作為自己的賽道，它就是上海阿卡思微電子技術(shù)有限公司。
 
　　上海阿卡思微電子技術(shù)有限公司（子公司為成都奧卡思微電科技有限公司）專注自主知識產(chǎn)權(quán)的邏輯等效性驗(yàn)證軟件的開發(fā)。公司同深圳上海肇觀電子、杭州朔天、昂際航電、中科院、同濟(jì)大學(xué)、南京大學(xué)等企業(yè)和單位均有合作。目前，該公司提供兩款邏輯驗(yàn)證產(chǎn)品：AveMC自動化驗(yàn)證工具軟件和AveCEC等價驗(yàn)證工具軟件；為提升驗(yàn)證效率，企業(yè)還開發(fā)了AveTrace波形調(diào)試軟件。
 
　　

 
　　形式驗(yàn)證軟件平臺Ave MC
 
　　形式驗(yàn)證軟件平臺Ave MC具有以下優(yōu)勢：可以通過圖形化方式建立屬性和約束模型；內(nèi)嵌精確的覆蓋率分析引擎，發(fā)現(xiàn)其他工具忽略的屬性漏洞；用戶可以根據(jù)具體的設(shè)計(jì)和驗(yàn)證場景設(shè)計(jì)自己的工具；用戶可以根據(jù)需求配置最為合理的云計(jì)算能力。
 

 
　　邏輯等價性驗(yàn)證工具AveCEC
 
　　AveCEC邏輯等價性驗(yàn)證工具具有以下優(yōu)勢：驗(yàn)證整個FPGA/ASIC/SOC設(shè)計(jì)、支持先進(jìn)的Data-Path 優(yōu)化、支持FPGA 設(shè)計(jì)流程等優(yōu)勢。基于該軟件還與友商合作形成了國產(chǎn)ECO方案。
 
　　
 
　　AveTrace波形調(diào)試軟件
 
　　AveTrace代碼波形調(diào)試軟件，解決了芯片仿真調(diào)試當(dāng)中波形文件太大導(dǎo)致的效率問題。軟件對應(yīng)的波形文件大小比常用類型小一到兩個數(shù)量級；波形文件加載速度比常規(guī)軟件提升10倍；提供library，可與第三方數(shù)字仿真器集成；支持Tcl/Lua腳本操作波形信號數(shù)據(jù)；支持對RTL代碼的驅(qū)動信號和負(fù)載信號的追蹤。
 
　　為了與全球行業(yè)領(lǐng)袖和專家分享前沿觀點(diǎn)與交流產(chǎn)業(yè)動態(tài)，國內(nèi)領(lǐng)先的芯片數(shù)字前端形式化驗(yàn)證EDA軟件供應(yīng)商，上海阿卡思微電子技術(shù)有限公司將攜最新的產(chǎn)品參展首屆IDAS設(shè)計(jì)自動化產(chǎn)業(yè)峰會！
 
　　上海阿卡思微電子技術(shù)有限公司
 
　　展位號
 
　　D5
 
　　首屆IDAS設(shè)計(jì)自動化產(chǎn)業(yè)峰會將于9月18日在武漢中國光谷科技會展中心舉行。大會預(yù)計(jì)邀請國內(nèi)外300+半導(dǎo)體上下游企業(yè)、600+技術(shù)大咖、50+院士及專家學(xué)者、50+重磅嘉賓進(jìn)行主題演講，涵蓋了從器件和電路級到系統(tǒng)級、從模擬到數(shù)字設(shè)計(jì)以及制造等EDA相關(guān)話題。屆時還有幾十多家頭部企業(yè)攜最新產(chǎn)品參展，方便EDA各產(chǎn)業(yè)鏈企業(yè)進(jìn)行合作交流。
 
　　大會議程與參與方式