新思科技推新一代VC SpyGlass RTL靜態Signoff平臺

2021-01-07 太平洋電腦網

新思科技 （Synopsys, Inc.）近日宣布面向市場推出VC SpyGlass RTL靜態Signoff平臺，該平臺採用了公認的SpyGlass技術，是新思科技Verification Continuum 平臺的一部分。支持多核的VC SpyGlass平臺可在內存佔用減少一半的同時將性能提高3倍。新一代平臺通過機器學習技術增強了自身功能，使用可信賴的行業標準SpyGlass引擎，在不影響結果質量的情況下將誤報降低了10倍。

SK Hynix晶片設計主管Duen-Min Wang表示：「藉助VC SpyGlass降低誤報的技術，我們能夠專注於調試實際問題，並發現以前未發現的跨時鐘域問題。此外，VC SpyGlass和Design Compiler設計行為的一致性，將我們的設計設置時間縮短到了一天，同時提供更加靈活的調試和自定義約束設置。」

愈加複雜的晶片設計要求在RTL開發早期對RTL、跨時鐘域(CDC)和跨復位域(RDC) 設計的正確性進行驗證。新思科技VC SpyGlass集成了先進的算法和分析技術，可在RTL開發早期為設計人員提供詳細的設計信息和建議。它提供了緊密集成的形式驗證解決方案，通過降低誤報並提供全面的CDC和RDC分析，捕獲設計實現過程中出現的邏輯問題。VC SpyGlass還與Verdi?自動調試系統進行了天然的集成，以加快分析故障的根本原因。此外，VC SpyGlass平臺使用與新思科技Design Compiler?和PrimeTime?工具保持一致的設計行為和Tcl流程，來顯著縮短實現流程和驗證流程之間的設置時間。

瑞薩電子數字設計技術部門、共享研發部門、物聯網與基礎架構業務部主管Hideyuki Okabe表示：「約束不充分或不正確是造成大量違例問題的主要原因，這也會相應地增加我們的調試周期。藉助VC SpyGlass的新機器學習技術，我們的設計團隊將能夠顯著減少要調試的CDC違例誤報的數量，從而加快識別根本原因。」

新思科技晶片驗證事業群營銷與業務開發副總裁Rajiv Maheshwary表示：「對客戶來說，緊密集成的RTL靜態驗證平臺對晶片產品加速上市和減少迭代至關重要。VC SpyGlass可在將性能提高3倍的同時，將誤報降低10倍，並且提供數十億門級的容量。通過緊密集成的Lint、CDC和RDC分析，以及與實現流程的兼容性，晶片團隊能夠提高整體生產力並加快RTL靜態signoff。」

可用性和資源

新思科技VC SpyGlass RTL靜態signoff平臺現已推出。當前的SpyGlass用戶可使用現有規則和腳本，輕鬆升級至VC SpyGlass。

【來源：美通社】【作者：Synopsys, Inc.】

相關焦點

  • 新思科技推出新一代VC SpyGlass RTL靜態Signoff平臺
    10倍 在內存佔用減少一半的同時性能提高3倍，從而降低伺服器成本 統一的Verdi調試並提供各抽象層次的可見性 Design Compiler和PrimeTime兼容性加快了signoff新思科技（Synopsys, Inc.
  • 新思科技、臺積電和微軟Azure實現時序signoff新流程
    ，可節省大量成本 合著的詳細白皮書現可在臺積電門戶網站下載，推動客戶運行雲signoff流程新思科技（Synopsys, Inc., 納斯達克股票代碼：SNPS）今天宣布，與臺積電(TSMC)和微軟的合作已經實現了一項突破性的、可高度擴展的用於雲的時序signoff流程。
  • 新思科技實現雲上高度可擴展的時序signoff新流程
    TSMC)和微軟的合作已經實現了一項突破性的、可高度擴展的雲上時序signoff流程。三方通過長達數月的深度合作加速下一代片上系統(SoC)的signoff。通過在微軟Azure平臺上使用新思科技PrimeTime®靜態時序分析和StarRC™寄生提取，該流程可顯著提高吞吐量。臺積公司設計基礎設施管理部資深處長Suk Lee表示：「由於先進的製程技術、更大的庫規模和更多的操作條件要分析，設計複雜度的增加使得設計signoff的周轉時間變得至關重要。
  • 業內首個signoff驅動的PrimeECO解決方案發布, 實現零迭代signoff...
    收斂 獨特的圖形用戶界面實現了設計可視化，搭載獨家signoff時序重疊和可用插件，以便實現用戶驅動優化 業內唯一的設計收斂解決方案，能夠獲得金牌PrimeTime signoff結果 新思科技（Synopsys, Inc.
  • ...臺積公司和微軟Azure攜手,實現雲上高度可擴展的時序signoff新...
    ，助力客戶運行雲上時序signoff流程新思科技（Synopsys, Inc., 納斯達克股票代碼：SNPS）今天宣布，與臺積公司(TSMC)和微軟的合作已經實現了一項突破性的、可高度擴展的雲上時序signoff流程。
  • 業內首個signoff驅動的PrimeECO解決方案發布,實現零迭代signoff收斂
    具有通用數據模型的Fusion設計平臺實現了快速增量式布局、布線和參數提取技術，實現零迭代signoff收斂 獨特的圖形用戶界面實現了設計可視化，搭載獨家signoff時序重疊和可用插件，以便實現用戶驅動優化 業內唯一的設計收斂解決方案，能夠獲得金牌PrimeTime signoff結果新思科技（Synopsys, Inc.
  • 新思科技、臺積電和微軟Azure實現在雲中高度可擴展新流程
    亮點：-PrimeTime時序signoff和StarRC提取可在多場景、分布式處理運行中顯著提高吞吐量-通過優化利用雲計算資源進行多場景分析，可節省大量成本-合著的詳細白皮書現可在臺積電門戶網站下載，推動客戶運行雲signoff流程新思科技
  • 新思科技、臺積公司和微軟Azure攜手,實現雲上高度可擴展的時序...
    三方通過長達數月的深度合作加速下一代片上系統(SoC)的signoff。通過在微軟Azure平臺上使用新思科技PrimeTime靜態時序分析和StarRC寄生提取，該流程可顯著提高吞吐量。臺積公司設計基礎設施管理部資深處長Suk Lee表示：「由於先進的製程技術、更大的庫規模和更多的操作條件要分析，設計複雜度的增加使得設計signoff的周轉時間變得至關重要。利用雲平臺可以極大地加快signoff，為晶片設計帶來根本上的影響。臺積公司是首家與設計生態系統合作夥伴和雲服務提供商合作提供雲端設計解決方案的專業集成電路製造服務公司。
  • 新思科技推出IC Validator NXT 物理signoff周期縮短2倍
    行業領先的擴展能力，可擴展至2000多個核心，數小時內實現全晶片物理signoffExplorer DRC創新技術在SoC集成期間將DRC速度加快5倍IC Validator NXT物理signoff技術已被多個客戶部署到雲端，確保按進度完成流片搭載IC Compiler II的融合技術與結合Custom Compiler的Live DRC助物理
  • 新思科技攜手三星推出高性能計算設計優化參考方法學
    ， 納斯達克股票代碼：SNPS)近期宣布與三星開展合作，基於新思科技Fusion Design Platform提供經認證的數字實現、時序和物理籤核參考流程，以加速高性能計算(HPC)設計。通過該全新的經認證參考流程，開發者可以利用新思平臺的自動化功能和集成優勢來提高其工作效率，同時在三星的先進工藝節點上實現其設計目標。
  • 新思科技升級Verification Continuum平臺繼續引領技術
    新思科技近日發布新版Verification Continuum™平臺，將各種驗證工具進行新的原生集成，實現高達五倍的驗證性能。Verification Continuum平臺基於新思科技開發的高速引擎，包括Virtualizer™虛擬原型、SpyGlass®靜態驗證、VC Formal®形式驗證、VCS®軟體仿真、ZeBu®硬體加速仿真、HAPS®原型、Verdi®調試和VC驗證IP (VIP)。日益增加的片上系統(SoC)複雜性和軟體內容以及上市時間壓力對高效驗證平臺的需求更加緊迫。
  • 博通擴展與新思科技在7納米及5納米設計方面的合作
    在7納米設計多個成功經驗的基礎上，博通與新思科技進一步合作，部署了包括基於Fusion Design Platform進行的5納米晶片設計。博通通過整合新思科技的工具、流程和方法，從最新的晶片工藝產品中獲得最大的收益，並有效地為客戶提供價值。
  • 新思科技與三星開展合作,為先進定製設計提供優化的 iPDK 和方法學...
    加州山景城2021年1月8日 /美通社/ -- 憑藉豐富的 iPDK 庫，新思科技定製設計平臺可適於各種不同的先進和傳統工藝技術  完整的 iPDK 可讓用戶解鎖高級功能，從而加速和拓寬開發者對新工藝節點的使用，促進設計復用並實現進一步創新  三星認證了新思科技定製設計參考流程能夠帶來高效設計和驗證最佳實踐
  • 新思與SiMa.ai合作將高性能機器學習推理引入嵌入式設備
    通過此次協作，SiMa.ai採用新思科技的DesignWare IP、Verification Continuum平臺和Fusion Design Platform進行MLSoC開發。MLSoC是針對自動駕駛、監控和機器人等特殊計算機視覺應用而專門設計的平臺。
  • 富士施樂採用新思科技ZeBu伺服器,開發新一代多功能印表機SoC晶片
    新思科技宣布，領先的文檔管理解決方案和服務提供商富士施樂有限公司(Fuji Xerox Co., Ltd.)，已部署新思科技的ZeBu®伺服器硬體仿真系統，以實現其新一代多功能印表機SoC晶片的軟體開發和性能調優。可擴展的高性能ZeBu系統可與新思科技的Virtualizer™虛擬原型、VCS®仿真和Verdi®調試進行集成，通過使用該系統，富士施樂能夠加快真實系統測試和軟體開發。
  • 新思科技發布全新Polaris軟體完整性平臺 新平臺支持從開發到部署...
    速途網3月14日消息（報導：喬志斌）美國新思科技公司(Synopsys, Nasdaq: SNPS)近日宣布發布其全新的Polaris軟體完整性平臺。Polaris軟體完整性平臺將新思科技軟體質量與安全的產品和服務的強大功能整合到一個集成解決方案中，幫助安全和開發團隊更快地構建安全、優質的軟體。
  • Sign off on
    He signed off on raising the threat level Sunday morning. Sign off on是美國俚語，表示「未經籤署而認可，非正式地同意」。值得注意的是，sign off on和sign off的含義完全不同，後者表示「結束廣播；離開，停止（工作、活動）」。
  • 新思科技和AMD籤署多年期ZeBu仿真協議
    新思科技（Synopsys, Inc.作為新協議的一部分，新思科技將會為部署基於AMD霄龍處理器的伺服器，優化其ZeBu和VCS軟體。AMD則將藉此繼續實施其開發戰略，利用高性能ZeBu仿真系統提供首批客戶支持。AMD和新思科技將會擴大雙方成功的仿真合作，在軟體驅動功率和性能分析、混合仿真與虛擬主機解決方案以外，為系統級調試和模擬/混合信號仿真提供支持。
  • 數字IC設計中的sign-off及所用的EDA工具
    數字IC設計中的sign-off及所用的EDA工具在完成數字IC設計之後要對多方面的內容進行檢查並籤收（Sign-off），包括：功能、功耗/IR-drop/EM、物理、時序。業界在數字IC時序Signoff方面的標準應該當數PrimeTime(PT)無疑了。可以用StarRC提取版圖中的寄生參數得到spef文件，到PT中進行靜態時序分析（STA），如果存在Violation，可以用PT進行ECO。
  • 形式驗證sign-off(上)
    本文介紹了一種方法，通過了解被測設計和系統分析方法，可以限定形式驗證邊界證明的深度，並使用抽象模型來實現所需的證明邊界，進而完成形式驗證sign-off。在上篇（本篇）中我們將簡要介紹形式驗證應用、sign-off概念、以及形式驗證基本模型和形式驗證checker。