Jeda's mission is to accelerate ESL verification through automation using native System C and C++ verification solutions. Their products include assertions, coverage, and checking tools to verify designs at the system level before RTL. These tools help improve verification productivity, maintain model consistency, automate various checks, and find issues earlier in the design flow. Sonics uses Jeda's OCPchecker tool to validate their OCP models and check protocol compliance.