codasip 文章最新資訊

Codasip攜手西門子打造RISC-V領(lǐng)域最完整形式驗(yàn)證

處理器設(shè)計(jì)自動(dòng)化領(lǐng)域的領(lǐng)導(dǎo)性企業(yè)Codasip近日宣布：通過采用西門子集團(tuán)Siemens EDA的OneSpin IC驗(yàn)證工具，擴(kuò)大了其形式驗(yàn)證解決方案的可用工具范圍，以進(jìn)行全面和徹底的處理器測試。Codasip不斷在處理器驗(yàn)證方面投入巨資，以再接再厲為業(yè)界提供最高質(zhì)量的RISC-V處理器半導(dǎo)體知識(shí)產(chǎn)權(quán)（IP）。Siemens EDA的OneSpin工具提供了一個(gè)先進(jìn)且無比強(qiáng)大的驗(yàn)證平臺(tái)，用以解決關(guān)鍵的芯片完整性問題。OneSpin是極為先進(jìn)的形式驗(yàn)證工具，適用于汽車和其他高完整性處理器應(yīng)用，能以最少的設(shè)
關(guān)鍵字： Codasip 西門子EDA RISC-V 形式驗(yàn)證

處理器設(shè)計(jì)自動(dòng)化領(lǐng)域的領(lǐng)導(dǎo)者Codasip已啟動(dòng)其大學(xué)計(jì)劃，以幫助下一代處理器工程師進(jìn)行“面向差異化的設(shè)計(jì)（Design for Differentiation）”，并解決未來的技術(shù)挑戰(zhàn)。該項(xiàng)目通過提供教學(xué)材料和作業(yè)，以及授予工業(yè)級(jí)Codasip RISC-V定制開發(fā)工具和CodAL高級(jí)綜合語言的訪問權(quán)限，豐富了研究生和本科生計(jì)算機(jī)工程課程的內(nèi)容。使用Codasip Studio開發(fā)工具和CodAL開發(fā)語言，加上特定的技術(shù)，將使Codasip大學(xué)項(xiàng)目的合作伙伴能夠支持基于RISC-V的特定領(lǐng)域應(yīng)用和功能，
關(guān)鍵字： Codasip 大學(xué)項(xiàng)目

共17條 2/2 « 1 2

您好，目前還沒有人創(chuàng)建詞條codasip!
歡迎您創(chuàng)建該詞條，闡述對(duì)codasip的理解，并與今后在此搜索codasip的朋友們分享。創(chuàng)建詞條