發(fā)布時間:2018-09-6 閱讀量:782 來源: 我愛方案網(wǎng) 作者: Miya編輯
2018年9月6日,中國 北京—— 新思科技(Synopsys, Inc.)宣布,推出一種基于人工智能(AI)的最新形式驗證應(yīng)用,即回歸模式加速器。作為新思科技VC Formal?解決方案的組成部分,VC Formal采用最先進的機器學習算法,將設(shè)計和驗證周期中的性能驗證速度提高10倍。除了顯著的性能提升,使用此應(yīng)用還可加速形式屬性驗證,以便后續(xù)運行實現(xiàn)更好的形式收斂?;貧w模式加速器應(yīng)用還能夠在每日回歸測試時顯著節(jié)省計算資源,以驗證復雜的芯片系統(tǒng)(SoC)設(shè)計,從而在過去無法實現(xiàn)的情況下運行形式驗證。
意法半導體研發(fā)設(shè)計經(jīng)理David Vincenzoni表示,“作為領(lǐng)先的集成設(shè)備制造商,意法半導體致力于提供創(chuàng)新的解決方案,推動智能駕駛和物聯(lián)網(wǎng)(包括智能工業(yè))的最新技術(shù)發(fā)展,因此,設(shè)計人員需要能夠提供最佳性能、易用性和高質(zhì)量結(jié)果的形式驗證解決方案。新思科技新推出的VC Formal回歸模式加速器應(yīng)用能夠穩(wěn)定地提供數(shù)量級的性能優(yōu)化,同時改進了我們設(shè)計模塊上最復雜的System Verilog Assertions其他不確定屬性的收斂?!?/p>
日益復雜的SoC系統(tǒng)以及日益增加的上市時間壓力對形式屬性驗證性能和吞吐量的持續(xù)創(chuàng)新提出了新的需求。新思科技VC Formal包含全面的正式應(yīng)用程序,包括屬性驗證(FPV)、時序等效性檢查(SEQ)、寄存器驗證(FRV)、形式覆蓋率分析器(FCA)、連通性檢查(CC)和屬性自動提取(AEP),這些為意法半導體的多種不同應(yīng)用提供了更快的屬性收斂。結(jié)合新思科技VCS?功能驗證解決方案的VC Formal和Verdi?自動調(diào)試系統(tǒng)的原生集成使設(shè)計和驗證團隊能夠輕松利用形式技術(shù),并自動對形式結(jié)果進行根本原因分析。此外,VCS強大的覆蓋引擎在VC Formal中的原生集成有助于將形式分析輕松插入到現(xiàn)有的驗證環(huán)境中。
新思科技驗證部門Manish Pandey表示,“機器學習已經(jīng)成為解決高度復雜和前沿設(shè)計驗證的強大技術(shù)。我們與意法半導體等行業(yè)領(lǐng)導者長期合作,為先進的SoC提供全面的驗證解決方案。通過這些合作,我們正在將AI技術(shù)的研發(fā)擴展到驗證流程和方法中,從而加快產(chǎn)品上市速度?!?/p>
上市時間
包含回歸模式加速器的VC Formal2018.09版本計劃于2018年9月上市。
更多資源
欲了解關(guān)于VC Formal的更多信息,請訪問:InFormal Chat博客:https://blogs.synopsys.com/informal-chat/,VC Formal網(wǎng)頁www.synopsys.com/vcformal。
在現(xiàn)代汽車行業(yè)中,HUD平視顯示系統(tǒng)正日益成為駕駛員的得力助手,為駕駛員提供實時導航、車輛信息和警示等功能,使駕駛更加安全和便捷。在HUD平視顯示系統(tǒng)中,高精度的晶振是確保系統(tǒng)穩(wěn)定運行的關(guān)鍵要素。YSX321SL是一款優(yōu)質(zhì)的3225無源晶振,擁有多項卓越特性,使其成為HUD平視顯示系統(tǒng)的首選。
隨著醫(yī)療技術(shù)的進步,心電監(jiān)護設(shè)備在日常生活和醫(yī)療領(lǐng)域中起到了至關(guān)重要的作用。而無源晶振 YSX211SL 作為一種先進的心電貼產(chǎn)品,以其獨特的優(yōu)勢在市場上備受矚目。
對于可編程晶振選型的話,需要根據(jù)企業(yè)的需求選擇。在選擇可編程晶振的時候注重晶振外觀、晶振的頻率、晶振的輸出模式、晶振的型號等等,這些都是要注意的,尤其是晶振的頻率和晶振輸出模式以及晶振的型號都是需要注意的。
在現(xiàn)代科技發(fā)展中,服務(wù)器扮演著越來越重要的角色,為各種應(yīng)用提供強大的計算和數(shù)據(jù)存儲能力。而高品質(zhì)的服務(wù)器組件是確保服務(wù)器穩(wěn)定運行的關(guān)鍵。YSO110TR寬電壓有源晶振,作為服務(wù)器的重要組成部分,具備多項優(yōu)勢,成為業(yè)界必備的可靠之選。
其實對于差分晶振怎么測量方式有很多種,主要還是要看自己選擇什么樣的方式了,因為選擇不同的測量方式步驟和操作方式是不同的。關(guān)于差分晶振怎么測量的方式,小揚給大家詳細的分享一些吧!