 |
|
 |
 |
Verification |
 |
 |
 |
 |
|
We have the capabilities of building complex customer-specific verification environments and tool-chains utilizing the most advanced verification strategies.
Here are some of the main verification services we provide:
 |
Test bench development |
 |
Test plans development |
 |
Tool-chain development |
 |
Complex test user interfaces - PLI, pipes, sockets. |
 |
Test protocols |
 |
Functional dynamic verification - test vectors, transactors |
 |
Static functional verification |
 |
FPGA logic emulation and prototyping |
 |
Timing annotated gate-level simulations |
 |
Formal Verification |
|
 |
Diagram:
Functional Verification
Design Flow  |
|

Diagram:
Formal Verification
Design Flow  |
|
|
|
|
|
|  |
 |