Test


Real Intent產品系列

Real Intent 提供兩個產品系列 — Ascent早 期功能驗證系列,用於在綜合(Synthesis) 前的功能驗證; Meridian高 級功能簽核系列,提供傳統仿真及静态时序分析(STA)无法提供的驗證功能。

Real Intent Products Info

Ascent 早期功能驗證系列
Ascent Lint 是業界最快,最低雜訊的RTL靜態檢查(Lint) 解決方案。該解決方案使用聰明的語法(syntax)語意(semantic)規則,來檢查當今復雜的SoC設計。 Ascent Lint ,因其高容量,全面性,以及其易於偵錯, 成為業界一款獨特的靜態檢查產品。

Ascent Implied Intent Verification (IIV) 是一款早期功能驗證的解決方案。該解決方案能夠自動接測出RTL中的難以發現的錯誤。 Ascent IIV採用自動檢查生成(automatic check formulation),接以深層時序電路(deep-sequential)形式分析(formal analysis)的方法論,提供給用戶全面的功能驗證. Ascent IIV能夠在測試平台開發及仿真之前檢測近50%的功能錯誤,極大的提高功能驗證的效率。

Ascent X-Verification System (XV) 能夠及早在Verilog RTL中檢測及分離關於X-propagation的相關問題。這包括X有可能掩蓋有些功能錯誤(X-optimism),以及去除不必要的X出現(X- pessimism)。 Ascent XV 能夠在RTL簽核之前及早發現這些問題,從而避免在netlist中耗時而不可靠的偵錯,給研發團隊降低了成本。

Meridian CDC 是一款业界最快,处理容量最高,以及最精确的CDC解决方案。该解决方案提供全面的结构以及功能分析, 以确保ASIC或FPGA芯片中跨时钟域信号能够被可靠地接收。Meridian CDC 能够处理超过100M的逻辑单元,是业界唯一全方位的CDC签核解决方案。

Meridian Physical CDC (物理跨时钟域检验工具) 是目前行业中唯一的可以进行完全的故障检测和电路网表检验签收的跨时钟域检 测工具。它可以实现全面的结构和功能分析, 从而确保在专用集成电路(ASIC) 或可编程逻辑器件(FPGA)设备中的跨异步时钟域的信号可以在电路门级网表中可靠的接收。完整的Real Intent Meridian CDC 系列产品提供了全面的RTL检验签收分析,Meridian Physical CDC 更提供了加强功能的网表检验签收能力, 可适用于5亿门以上的芯片设计。

Meridian Constraints 是一款業界領先,全面的設計約束(constraint)管理解決方案。該解決方案提供高效設計約束驗證,模板生成,覆蓋率分析,等效性檢查以及時序例外 等功能。 Meridian Constraints 使用戶在設計流程的各個環節中都能夠對時序約束(timing constraints) 的正確性有最高的信心與保障。