|
形式驗(yàn)證訓(xùn)練營(yíng)到達(dá)中國(guó)
電視在中國(guó)推出了一個(gè)隨需應(yīng)變的形式驗(yàn)證培訓(xùn)服務(wù)。這增加了中國(guó)國(guó)家已經(jīng)服務(wù)包括那些在歐洲,亞洲和北美洲。
形式驗(yàn)證越來越主流硬件驗(yàn)證的工具變得更加強(qiáng)大,更加自動(dòng)化。電視的培訓(xùn)旨在讓工程師準(zhǔn)備“正式”解釋的基礎(chǔ)學(xué)科。工程師就能夠擴(kuò)大他們的正式的理解在課堂上通過工作實(shí)例,證明之前的屬性在自己的設(shè)計(jì)。
改進(jìn)的自動(dòng)化在正式體現(xiàn)在應(yīng)用程序旨在解決特定的驗(yàn)證的挑戰(zhàn),如superlinting,時(shí)鐘域交叉和連通性。以連接為例,用戶描述塊之間的信號(hào)連接在一個(gè)子系統(tǒng)或SOC水平,和工具自動(dòng)執(zhí)行必要的連接檢查。這些自動(dòng)檢查能夠減少需要大量昂貴的集成測(cè)試和模擬。
電視的形式驗(yàn)證訓(xùn)練營(yíng)關(guān)注正式程序和通用的驗(yàn)證功能。
電視與EDA廠商緊密合作,提供課程無論工具的代表。
這確保代表能夠應(yīng)用技術(shù)課程后直接在項(xiàng)目。最后的會(huì)議通常是在寫作過程屬性和約束(使用系統(tǒng)Verilog)在一個(gè)真正的設(shè)計(jì)。這樣就避免了“白紙綜合癥”,代表們回來時(shí)經(jīng)常面臨課程學(xué)習(xí)新的語言和技術(shù)。
的創(chuàng)始人和CEO邁克·巴特利,電視,評(píng)論說:“正式的驗(yàn)證已經(jīng)成熟,在某種程度上它可以被應(yīng)用在大多數(shù)的設(shè)計(jì)。它提供了一個(gè)真正的解決方案的局限性基于仿真的驗(yàn)證。我們現(xiàn)在的課程設(shè)計(jì),打包和部署工程師的起點(diǎn)。課程在中國(guó)的成功執(zhí)行支撐,是衡量該公司有多嚴(yán)重?cái)U(kuò)大其全球業(yè)務(wù)。”
DC插座http://www.zzycbxg.cn |
當(dāng)前位置: