全球半導體設計製造軟體暨IP領導廠商新思科技(Synopsys)發表新一代的Discovery™ 驗證平台 (Discovery™ Verification Platform )，該平台是ㄧ個提供類比混合訊號(analog/mixed-signal)及數位(digital)設計的整合型驗證解決方案，並包含新的多核心模擬技術(multicore simulation technologies)、內建設計核對(native design checks)，及完善的低功耗驗證功能(low power verification capabilities)。其中，多核心模擬技術結合了 VCS® 功能驗證及CustomSim™ 整合電路模擬解決方案(unified circuit simulation solutions)，此二者為Discovery平台的主要元件，而該平台相較於前一個版本的解決方案，提高了四倍的驗證速度。有了Discovery 2009，驗證工程師將可以在類比混合訊號(AMS)及數位設計中，獲得顯著的產能提升及快速的驗證收斂(verification closure)。
新思科技從2008年3月起即推動多核心相關的設計驗證技術，在所屬的驗證、實作(implementation)及製造(manufacturing)等平台中，整合進階的平行處理(parallel)、多執行緒(threaded)之最佳化的運算技術來縮短設計時程。VCS多核心技術突破了早期的驗證瓶頸，這些瓶頸來自於平行處理任務中的互動模擬和長時間的測試，像是出現在多重核心處理器裡的模擬、 覆蓋率(coverage)、 電路特性驗證(assertions)及除錯(debug)等，可較前一代的工具提升2倍速度的驗證效能。而新一代的CustomSim整合電路模擬解決方案，則整合了最佳性能的電路模擬技術，以及最新的多核心功能於單一的驗證解決方案中，為大規模的類比和混合訊號電路設計，提升了高達4倍的效能。
Discovery 2009同時還提供全面性的低功耗驗證功能，其範圍涵蓋從暫存器級(RTL)到電晶體層(transistor level)之多重層級的各個抽象層(multiple levels of abstraction)。根據低功耗驗證方法手冊(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) 和靜態漏電(standby leakage)等問題，對整合電路的可靠度和性能有著決定性的影響。
新思科技致力於功能驗證創新技術的開發，自2003年起即提供SystemVerilog-based的電路特性驗證檢查(assertion checking)，現在VCS使用者可以選擇使用客製設計或是使用 VCS Assertion IP中的標準協定，像是OCP、AXI、USB和PCI來檢查他們的設計；而藉由CustomSim的推出,，新思科技則將內建設計檢查(native design checking)擴展至AMS的驗證領域，它包含有詳細的靜態與動態電路檢查，像是省電模式浮動閘門(power-down floating gates)、 缺失層級移位器(missing level shifters)、閘極氧化層擊穿(gate oxide breakdown) 和正向偏壓二極體(forward-biased bulk diodes)等； CustomSim 讓工程師在投片(tapeout)前就能快速的辨別設計錯誤，避免成本昂貴的矽晶重新設計。
新思科技產品行銷副總裁Bijan Kiani表示：「隨著系統單晶片設計(system-on-chip designs)越來越複雜及多樣化，設計業者需要更有效的整合型驗證解決方案。Discovery 2009的功能是以近十年來的驗證技術為基礎， 並擁有整合電路模擬、多核心效能、內建設計核對，以及完善的低耗能驗證功能等，它不僅提供前所未有的效能，也將帶給客戶更高的生產力及更快速的驗證收斂。」
Discovery驗證平台
Discovery驗證平台整合了AMS和功能驗證解決方案，它有著同類產品中最佳的技術，可以提供高效能及因設計而異的高適應性(scalability)，包括混合的硬體描述語言(mixed-HDL)及AMS模擬、除錯、內建設計核對(native design checks)、電路特性驗證(assertions)、低功耗驗證、驗證IP、測試碼(code)和功能覆蓋、測試平台自動化(testbench automation)和功能比對分析(formal analysis)等。Discovery平台結合了業界標準的硬體設計和驗證語言的支援，包括SystemVerilog、Verilog、Verilog-AMS、VHDL、SystemC™、 OpenVera® language、UPF、 VMM methodology和相關的VMM應用程式，讓驗證工程師在執行進階的AMS和數位設計中，能夠確保高效能的生產力，並且更迅速的完成驗證收斂時程，以達到能夠一次即能達成矽晶成功(first-time silicon success)的目標。Discovery是新思科技中的驗證解決方案中重要的一環，該解決方案可說是當前業界最完善的一套軟體，它所提供的軟體開發(software development)、系統確認(system validation)、功能驗證和電路模擬軟體、硬體、IP、方法學和服務等，為錯綜複雜的系統單晶片設計提供完整的解決方案。
如需更詳盡資料，請瀏覽新思科技網站: http://www.synopsys.com 。
新思科技從2008年3月起即推動多核心相關的設計驗證技術，在所屬的驗證、實作(implementation)及製造(manufacturing)等平台中，整合進階的平行處理(parallel)、多執行緒(threaded)之最佳化的運算技術來縮短設計時程。VCS多核心技術突破了早期的驗證瓶頸，這些瓶頸來自於平行處理任務中的互動模擬和長時間的測試，像是出現在多重核心處理器裡的模擬、 覆蓋率(coverage)、 電路特性驗證(assertions)及除錯(debug)等，可較前一代的工具提升2倍速度的驗證效能。而新一代的CustomSim整合電路模擬解決方案，則整合了最佳性能的電路模擬技術，以及最新的多核心功能於單一的驗證解決方案中，為大規模的類比和混合訊號電路設計，提升了高達4倍的效能。
Discovery 2009同時還提供全面性的低功耗驗證功能，其範圍涵蓋從暫存器級(RTL)到電晶體層(transistor level)之多重層級的各個抽象層(multiple levels of abstraction)。根據低功耗驗證方法手冊(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) 和靜態漏電(standby leakage)等問題，對整合電路的可靠度和性能有著決定性的影響。
新思科技致力於功能驗證創新技術的開發，自2003年起即提供SystemVerilog-based的電路特性驗證檢查(assertion checking)，現在VCS使用者可以選擇使用客製設計或是使用 VCS Assertion IP中的標準協定，像是OCP、AXI、USB和PCI來檢查他們的設計；而藉由CustomSim的推出,，新思科技則將內建設計檢查(native design checking)擴展至AMS的驗證領域，它包含有詳細的靜態與動態電路檢查，像是省電模式浮動閘門(power-down floating gates)、 缺失層級移位器(missing level shifters)、閘極氧化層擊穿(gate oxide breakdown) 和正向偏壓二極體(forward-biased bulk diodes)等； CustomSim 讓工程師在投片(tapeout)前就能快速的辨別設計錯誤，避免成本昂貴的矽晶重新設計。
新思科技產品行銷副總裁Bijan Kiani表示：「隨著系統單晶片設計(system-on-chip designs)越來越複雜及多樣化，設計業者需要更有效的整合型驗證解決方案。Discovery 2009的功能是以近十年來的驗證技術為基礎， 並擁有整合電路模擬、多核心效能、內建設計核對，以及完善的低耗能驗證功能等，它不僅提供前所未有的效能，也將帶給客戶更高的生產力及更快速的驗證收斂。」
Discovery驗證平台
Discovery驗證平台整合了AMS和功能驗證解決方案，它有著同類產品中最佳的技術，可以提供高效能及因設計而異的高適應性(scalability)，包括混合的硬體描述語言(mixed-HDL)及AMS模擬、除錯、內建設計核對(native design checks)、電路特性驗證(assertions)、低功耗驗證、驗證IP、測試碼(code)和功能覆蓋、測試平台自動化(testbench automation)和功能比對分析(formal analysis)等。Discovery平台結合了業界標準的硬體設計和驗證語言的支援，包括SystemVerilog、Verilog、Verilog-AMS、VHDL、SystemC™、 OpenVera® language、UPF、 VMM methodology和相關的VMM應用程式，讓驗證工程師在執行進階的AMS和數位設計中，能夠確保高效能的生產力，並且更迅速的完成驗證收斂時程，以達到能夠一次即能達成矽晶成功(first-time silicon success)的目標。Discovery是新思科技中的驗證解決方案中重要的一環，該解決方案可說是當前業界最完善的一套軟體，它所提供的軟體開發(software development)、系統確認(system validation)、功能驗證和電路模擬軟體、硬體、IP、方法學和服務等，為錯綜複雜的系統單晶片設計提供完整的解決方案。
如需更詳盡資料，請瀏覽新思科技網站: http://www.synopsys.com 。
