Trek™ is a functional test synthesis tool that develops functional verification tests for complex digital designs. Using a visual graph-based verification plan and generating test directly from the plan, Trek makes the entire process easy and systematic:

• Verification Planning
  Use a combination of graphs and dependencies to create a complete, concise specification of your verification requirements. Pre-simulation analysis provides feedback on quality and completeness of the plan, and estimates how much simulation is required for coverage.
• Functional Test Synthesis
  Automatic generation of functional test cases from the verification plan. Self-checking test cases provide input stimulus and check output results. Reduce functional verification effort by 10x or more as compared to manual development of testbenches and test cases.
• 100% Verification Plan Coverage
  Functional Test Synthesis can ensure coverage of the verification plan. Post-simulation “hot-spot” analysis and visualization of verification plan coverage data.