Tarek provides the following verification services
Tarek provides the following verification services
-
Vera andeLanguages Replacement
-
AlthoughDracois language neutral, we recommend C/C++ for reusability and performance.
-
x5-x10 performance improvement
-
Unification of different ASIC verification environments
-
Customization in C/C++/SystemVerilog
-
-
-
State-of-the-art ESL environment for RTL and architecture verification
-
Emulatable and multi-threaded in C/C++
-
Test case automation
-
-
Customized Design Interface Module Development
-
Transaction-accurate in ESL, Cycle-accurate in Verilog
-
Executable in SystemC and Verilog
-
-
-
Best debugging automation: Co-Simulation between DUT and Assertion Model
-
Run-time Memory Integrity Checking
-
Transaction Monitoring for Important Interfaces
-
Draco and our verification services give you the full-coverage pre-silicon on schedule while lowering your budget.
