Jeda's mission is to accelerate ESL verification through automation using native System C and C++ solutions. Their products include verification suites, assertions, coverage tools, and checkers for OCP compliance and performance. These tools help maintain model consistency, improve verification efficiency, and validate designs at the ESL level before tapeout.

1. ESL Verification Automation

2. Jeda’s Mission Mission: Accelerating ESL verification productivity through automation, with native System C and C++ verification solutions For all architectures For OCP designs Experienced Team Invented 1st generation hardware verification automation language – VERA

3. A Typical ESL Design Flow HW/SW partitioning Embedded SW development Virtual platform Architecture Exploration HW dependent SW (driver, HAL) Operating system (GUI, services) Middleware – application framework Application DSP OS, HAL drivers Algorithms Application Algorithm / Application / functional models RTL verification  unified testbench Performance analysis Architecture validation SW Integration System Debugging Memory subsystem RTL Swap HW platform Traffic generator Traffic generator Traffic generator Traffic generator Traffic generator Traffic generator Traffic generator Traffic generator Traffic generator Traffic generator Traffic generator Traffic generator Traffic generator Traffic generator

4. ESL Design Requirements Executable specification Early software development and testing Fast architectural exploration Software/hardware tradeoffs Real system performance measurement System level verification before RTL Quick configuration and design modifications Early, stable virtual system platforms High-level synthesis Meet timing requirements Meet area requirements Meet power requirements

5. JEDA ESL Product Benefits Maintain model consistency across various abstract levels Ensure design constraints are uniformly applied Pinpoint model problems Automate verification Improve verification coverage Create and verify models in less time Thoroughly validate pre- and post- synthesis designs Shorten time to tapeout from ESL synthesis Automate system constraint checking Automate performance checking Automate protocol checking Advanced smart debugging Functional, data and line coverage measurement Reach stable virtual system and debug faster

6. JEDA Products Assertions NSC – Native SystemC verification suite Any-Architecture Applications OCP Design Applications NSCa: Native SystemC Assertion OCPchecker : OCP Compliance Checks Coverage NSCv : Native SystemC Verification NSCvDC: Data/Functional Coverage NSCvCC: Code/line Coverage OCPcover: OCP Verification Coverage

7. JEDA NSCa Assertions NSC – Native SystemC verification suite Any-Architecture Applications NSCa: Native SystemC Assertion Coverage NSCv : Native SystemC Verification NSCvDC: Data/Functional Coverage NSCvCC: Code/line Coverage NSCa Increases engineering productivity Accelerates verification 20% or more Verification at a higher level of abstraction;1 line of code vs 7 Fast debugging Built-in consistency Verification re-use Easy maintenance

8. JEDA NSCv Assertions NSC – Native SystemC verification suite Any-Architecture Applications NSCa: Native SystemC Assertion Coverage NSCv : Native SystemC Verification NSCvDC: Data/Functional Coverage NSCvCC: Code/line Coverage NSCv Functional and data coverage TLM & cycle based designs Audits SystemC and C++ design verification suite Improves quality Accelerates productivity Reduces risk Designed for SystemC hardware designers, architects

9. JEDA OCPchecker Assertions NSC – Native SystemC verification suite Any-Architecture Applications OCP Design Applications OCPchecker : OCP Compliance Checks Coverage OCPcover: OCP Verification Coverage OCP Checker SystemC / C++ OCP based validation Reduces verification time Supports evolving OCP standard Checks OCP assertion compliance Comprehensive verification environment Easy debug, pinpointing root causes Consistent ESL / RTL protocol checks

10. JEDA OCPcover Assertions NSC – Native SystemC verification suite Any-Architecture Applications OCP Design Applications OCPchecker : OCP Compliance Checks Coverage OCPcover: OCP Verification Coverage OCP Cover Code coverage checking For SystemC / C++ OCP designs Characterizes verification suites Reduces verification risk Supports evolving OCP standard

11. Sonics "The JEDA OCPchecker has proved itself in our production environment. It automatically adapts to any of our configurations with on-the-fly checking. We replaced our in-house SystemC-OCP checking solution with OCPchecker because it supports the complete OCP protocol, is more efficient, and is easy to use and integrate." Scott Evans Director of software development Sonics

12. JEDA Partners

13. ESL Verification Automation www. jedatechnologies .net