before the simulation environment is available. Advanced assertion visualization, property browsing, grouping and filtering allow simple concise access to results. Formal navigator enables debug and "what-if-analysis" with only the RTL design in the Unified Verdi GUI with/without assertions or Test...
高度のデバッグおよび双方向性: スケマティックのバリュー・アノテーション、オンザフライ・アサーション、制約編集、証明状況フィードバック、および影響解析など、Unified Verdi GUIベースのRTL上で構築された高度のデバッグ・インターフェイスおよび波形可視化ソリューションを利用して、...
在对话框头文件添加: CStatic m_static; CFont font; 在BOOL CYourDlg::OnInitDialog()中添加 m_static.SubclassDlgItem(IDC_TEXT,this); LOGFONT log; GetObject(::GetStockObject(DEFAULT_GUI_FONT),sizeof(log),&log); log.lfHeight=45; //改 log.lfWidth=30; //改 log.lfCharSet=GB2312_CHARSET; ...
形式导航器 (HAB):仅使用统一 Verdi GUI 中的 RTL 设计(使用/不使用断言或测试平台)启用调试和“假设分析”。 寄存器验证 (FRV):帮助从形式上验证配置寄存器的行为,如“只读”、“读/写”或“复位值”等相关属性,消除定向测试需求。 具有Testbench Quality Assurance 集成 (FTA) 的形式测试平台分析器:Testbench...