全球半導體設計制造軟件暨IP領導廠商新思科技(Synopsys)日前發(fā)表新一代的Discovery? 驗證平臺 (Discovery? Verification Platform ),該平臺是ㄧ個提供模擬混合訊號(analog/mixed-signal)及數(shù)字(digital)設計的整合型驗證解決方案,并包含新的多核心模擬技術(multicore simulation technologies)、內(nèi)建設計核對(native design checks),及完善的低功耗驗證功能(low power verification capabilities)。其中,多核心仿真技術結合了 VCS? 功能驗證及CustomSim? 整合電路仿真解決方案(unified circuit simulation solutions),此二者為Discovery平臺的主要組件,而該平臺相較于前一個版本的解決方案,提高了四倍的驗證速度。有了Discovery 2009,驗證工程師將可以在模擬混合訊號(AMS)及數(shù)字設計中,獲得顯著的產(chǎn)能提升及快速的驗證收斂(verification closure)。
新思科技從2008年3月起即推動多核心相關的設計驗證技術,在所屬的驗證、實作(implementation)及制造(manufacturing)等平臺中,整合進階的平行處理(parallel)、多執(zhí)行緒(threaded)之最佳化的運算技術來縮短設計時程。VCS多核心技術突破了早期的驗證瓶頸,這些瓶頸來自于平行處理任務中的互動仿真和長時間的測試,像是出現(xiàn)在多重核心處理器里的模擬、 覆蓋率(coverage)、 電路特性驗證(assertions)及除錯(debug)等,可較前一代的工具提升2倍速度的驗證效能。而新一代的CustomSim整合電路仿真解決方案,則整合了最佳性能的電路仿真技術,以及最新的多核心功能于單一的驗證解決方案中,為大規(guī)模的模擬和混合訊號電路設計,提升了高達4倍的效能。
Discovery 2009同時還提供全面性的低功耗驗證功能,其范圍涵蓋從緩存器級(RTL)到晶體管層(transistor level)之多重層級的各個抽象層(multiple levels of abstraction)。根據(jù)低功耗驗證方法手冊(Verification Methodology Manual for Low Power , VMM-LP),VCS結合MVSIM,將可提供準確的電壓感知(voltage aware)緩存器級(RTL)和邏輯閘層次仿真(gate-level simulation)、電路特性自動驗證(automated assertions)和全面性的驗證覆蓋(verification coverage)。CustomSim 則可在晶體管層(transistor level)中驗證復雜的功率管理設計,處理壓降(IR drop)、電子漂移(electromigration) 和靜態(tài)漏電(standby leakage)等問題,對整合電路的可靠度和性能有著決定性的影響。
新思科技致力于功能驗證創(chuàng)新技術的開發(fā),自2003年起即提供SystemVerilog-based的電路特性驗證檢查(assertion checking),現(xiàn)在VCS使用者可以選擇使用客制設計或是使用 VCS Assertion IP中的標準協(xié)議,像是OCP、AXI、USB和PCI來檢查他們的設計;而藉由CustomSim的推出,,新思科技則將內(nèi)建設計檢查(native design checking)擴展至AMS的驗證領域,它包含有詳細的靜態(tài)與動態(tài)電路檢查,像是省電模式浮動閘門(power-down floating gates)、 缺失層級移位器(missing level shifters)、閘極氧化層擊穿(gate oxide breakdown) 和正向偏壓二極管(forward-biased bulk diodes)等; CustomSim 讓工程師在投片(tapeout)前就能快速的辨別設計錯誤,避免成本昂貴的硅晶重新設計。
新思科技產(chǎn)品營銷副總裁Bijan Kiani表示:「隨著系統(tǒng)單芯片設計(system-on-chip designs)越來越復雜及多樣化,設計業(yè)者需要更有效的整合型驗證解決方案。Discovery 2009的功能是以近十年來的驗證技術為基礎, 并擁有整合電路仿真、多核心效能、內(nèi)建設計核對,以及完善的低耗能驗證功能等,它不僅提供前所未有的效能,也將帶給客戶更高的生產(chǎn)力及更快速的驗證收斂?!?
Discovery驗證平臺
Discovery驗證平臺整合了AMS和功能驗證解決方案,它有著同類產(chǎn)品中最佳的技術,可以提供高效能及因設計而異的高適應性(scalability),包括混合的硬件描述語言(mixed-HDL)及AMS模擬、除錯、內(nèi)建設計核對(native design checks)、電路特性驗證(assertions)、低功耗驗證、驗證IP、測試碼(code)和功能覆蓋、測試平臺自動化(testbench automation)和功能比對分析(formal analysis)等。Discovery平臺結合了業(yè)界標準的硬件設計和驗證語言的支持,包括SystemVerilog、Verilog、Verilog-AMS、VHDL、SystemC?、 OpenVera? language、UPF、 VMM methodology和相關的VMM應用程序,讓驗證工程師在執(zhí)行進階的AMS和數(shù)字設計中,能夠確保高效能的生產(chǎn)力,并且更迅速的完成驗證收斂時程,以達到能夠一次即能達成硅晶成功(first-time silicon success)的目標。Discovery是新思科技中的驗證解決方案中重要的一環(huán),該解決方案可說是當前業(yè)界最完善的一套軟件,它所提供的軟件開發(fā)(software development)、系統(tǒng)確認(system validation)、功能驗證和電路仿真軟件、硬件、IP、方法學和服務等,為錯綜復雜的系統(tǒng)單芯片設計提供完整的解決方案。