AcconSys
Mentor
Siemens
ClioSoft
PRO DESIGN
Dorado
PROPlus
INVIA
PLDA
AnaGlobe
Archband
Temento
QuickLogic
Floadia
產品和服務    AnaGlobe

Questa驗證平臺

更新日期:2018-01-15 11:35:10  瀏覽次數:5504次  作者:admin  【打印此頁】  【關閉

QuestaMentor公司基于多項行業領先技術、支持業界所有標準、面向復雜大規模ASIC/SoC驗證而推出的企業級驗證平臺,同時Questa也是目前市場上單一引擎的高性能驗證解決方案,全面整合了包括測試自動化、基于斷言的驗證、CDC檢查、形式分析以及驗證管理等在內的最新一代的驗證技術。奧


QuestaSim仿真技術

QuestaSim仿真器結合了高性能和大容量的仿真技術,采用統一的先進調試功能對工業界標準的語言進行最完整的支持。QuestaSim仿真器是Questa驗證平臺的核心仿真與驗證引擎,它支持TLM到晶體管級的抽象層次???/span>


Questa Formal形式化分析及CDC檢查技術

Questa Formal形式化技術提供廣泛的形式化解決方案,并且該應用彌補大量關鍵領域中仿真的不足。Questa Formal形式化應用顯著提升了驗證的效能以及設計的質量,它采用窮舉的方式去發布驗證任務,這在傳統的方法中是很難做到的。同時,對使用者并不要求具有形式化驗證和基于斷言的驗證經驗。思



Questa Formal工具為熟悉形式化和基于斷言方法學的設計和驗證工程師提供強大的形式化分析能力?;诖?,Mentor公司建立了一個廣泛的形式化技術解決方案和應用技術,它將挑戰當今的驗證技術難題,并且這一技術已經非常的自動化,可以讓非專業人員在最小的專業訓練后能夠很好的使用它。Questa Formal解決方案和應用技術包括如下。



其中,針對CDC檢查,Questa CDC是業界最強大且最易用,全面解決跨時鐘域驗證難題的高度自動化解決方案。避免了傳統的人工檢查亞穩態問題的工作,其采用多種技術發現并確認所有的跨時鐘域亞穩態問題,自動分析設計并指出可能導致亞穩態問題的信號,防止由于亞穩態效應導致的功能錯誤,極大地保證驗證的完備性與設計的可靠性。


  • 奧肯思總部
  • 電話:010-68058081
  • 傳真:010-10-68058085
  • 地址:北京市朝陽區朝外西街3號兆泰國際中心C座501A?
  • 奧肯思研發與培訓中心
  • 電話:010-82346812
  • 傳真:010-82346802 ext.8002
  • 地址:北京市海淀區中關村軟件園3號樓B座二層1219室
  • 奧肯思上海分公司
  • 電話:021-54591058
  • 地址:上海市徐匯區龍華中路596號綠地中心A座501室(200032)
  • 奧肯思成都分公司
  • 電話:028-86716980
  • 傳真:028-86716983 -109
  • 地址:成都市青羊區蜀金路1號金沙萬瑞中心C座1706-1707室
  • 奧肯思深圳辦事處
  • 電話:0755-86367150
  • Email:daiqunzhao@acconsys.com
               法律聲明     網站地圖     加入奧肯思     友情鏈接     幫助中心     關于奧肯思

Copyright 2014 acconsys All Rights Reserved 京ICP備12034336號-1

版權所有:奧肯思(北京)科技有限公司  技術支持:上海網站建設

海王捕鱼下载 (*^▽^*)MG超级船长的宝藏援彩金 (^ω^)MG黑绵羊咩咩叫试玩网站 101在线彩票平台登录 新疆25选7078期开奖 (★^O^★)MG呼噜噜爱上乡下_稳赢版 (*^▽^*)MG丧尸来袭援彩金 26选5超级大底 广西快乐双彩开奖信息 一波中特期期公开 (★^O^★)MG相扑君的逆袭游戏 河内5分彩独胆计划在线 贵州快3开结果今天 (★^O^★)MG杂技群英会官网 (★^O^★)MG真爱app (^ω^)MG圣诞奇迹试玩 公式规律九肖