Semiconductor Functional Verification Tools
Trek5 - Breker Verification Systems
Breker’s solutions enable test reuse across simulation, emulation, prototyping and actual silicon, eliminating redundant effort across the development flow. The Breker “Trek” suite solves challenges across the functional verification process for large, complex semiconductors.
-
product
Generates Test Cases on ICE
TrekSoC-Si
TrekSoC-Si automatically generates self-verifying C test cases to run on the embedded processors in SoCs in in-circuit emulation (ICE), FPGA prototyping, and production silicon. This verifies your chips more quickly and more thoroughly than hand-written diagnostics or running only production code on the processors. TrekSoC-Si's generated test cases target all aspects of full-SoC verification and work in a variety of different environments. TrekSoC-Si is a companion to TrekSoC, which generates test cases for simulation and acceleration. TrekSoC-Si extends the benefits of TrekSoC into hardware platforms.
-
product
Enhance Transactional Universal Verification Methodology (UVM) testbenches
TrekUVM
TrekUVM automatically generates self-verifying test cases that run in existing transactional testbenches, including those compliant with the Universal Verification Methodology (UVM) standard. This verifies your chips more quickly and more thoroughly than using UVM alone to generate transactions. TrekUVM's generated test cases target all aspects of full-chip verification and work in a variety of different environments.
-
product
SoC Verification
TrekSoC
TrekSoC automatically generates self-verifying C test cases to run on the embedded processors in SoCs. This verifies your chips more quickly and more thoroughly than an external testbench, hand-written C tests, or running only production code on the processors. TrekSoC's generated test cases target all aspects of full-SoC verification and work in a variety of different environments.
