Case Studies


This page contains several case studies on application of our technologies and tools for cross tool development and for hardware verification. The list is incomplete and will be supplemented soon.

Hardware Verification

Unit-Level Verification

Verification of Translation Lookaside Buffer Using UniTESK Technology and CTESK Tool.

Verification of L2 Cache Using UniTESK Technology and CTESK Tool.

Core-Level Verification

Verification of MIPS64 Microprocessor Using MicroTESK Technology.

Verification of DSP Coprocessor Using MicroTESK Technology.

Verification of Arithmetical Coprocessors Using MicroTESK Technology.