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