JedaOverview
- 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 Coverage OCPcover: OCP Transaction and Data 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 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 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 Transaction and Data Coverage OCP Checker Validating OCP models in SystemC Checking OCP protocol compliance Reduces verification time Supports evolving OCP standard Provides 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 Transaction and Data Coverage OCP Cover Measures data and transaction coverage 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
Editor's Notes
- #2: JEDA is the technbology leader in verification for ESL designs. JEDA provides solutions for all architecture designs, and specialized verification tools for OCP-IP based designs.