Products

XOPT and SimXACT form a comprehensive, patented solution to automatically eliminate X bugs in RTL and gate-level simulation due to X-optimism and X-pessimism issues.
Complete Verification IP portfolio providing robust models, protocol checking, compliance testsuites, advanced UVM environment, and verification services.
UA-45571462-1