|
|
|
|
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 |
|
|
|
|
|
| |
|