Important information

This site uses cookies to store information on your computer. By continuing to use our site, you consent to our cookies.

ARM websites use two types of cookie: (1) those that enable the site to function and perform as required; and (2) analytical cookies which anonymously track visitors only while using the site. If you are not happy with this use of these cookies please review our Privacy Policy to learn how they can be disabled. By disabling cookies some features of the site will not work.

inFact Intelligent Testbench Automation by Mentor Graphics Corporation

RTL (Front End) Tools

Product Description

Mentor Graphics inFact intelligent testbench automation solution is the first to use a graph-based approach to accelerate functional coverage closure and find design bugs early in the verification process.

With inFact, users can comprehensively describe the scenarios in which a device is expected to operate and apply intelligent algorithms to generate high-quality test sequences, monitor results, and ensure generation of non-redundant sequences when appropriate. inFact generates more unique verification cycles in a shorter amount of time and accelerates functional coverage by more than an order of magnitude over traditional constrained-random testbenches.

Product Features:

*Intelligent testbench technology automatically creates test sequences, data, and checks on-the-fly
*Advanced stimulus generation creates any combination of constrained random, non-redundant random, systematic, and directed test sequences
*Accelerates functional coverage closure for module, subsystem, and system-level verification
*Supports testbenches written in all standard high-level verification languages, such as SystemVerilog, SystemC, and C++
*Supports standard verification methodologies (OVM, AVM, VMM) and transaction-level environments

inFact Intelligent Testbench Automation

Market Segment(s)

  • Enterprise
  • Home
  • Mobile

ARM Processor(s)

  • Cortex-A53
  • Cortex-A57
  • ARMv8

System IP

  • Interconnect Fabric
 
ARM Connected