0
ESL Verification   Automation
Jeda’s Mission <ul><li>Mission: Accelerating ESL verification productivity through automation, with native System C and C+...
A Typical ESL Design Flow HW/SW partitioning Embedded SW development Virtual platform  Architecture Exploration HW depende...
ESL Design Requirements <ul><li>Executable specification  </li></ul><ul><li>Early software development and testing </li></...
JEDA ESL Product Benefits <ul><li>Maintain model consistency across various abstract levels  </li></ul><ul><li>Ensure desi...
JEDA Products Assertions NSC  – Native SystemC verification suite Any-Architecture Applications OCP Design Applications NS...
JEDA NSCa Assertions NSC  – Native SystemC verification suite Any-Architecture Applications NSCa: Native SystemC Assertion...
JEDA NSCv Assertions NSC  – Native SystemC verification suite Any-Architecture Applications NSCa: Native SystemC Assertion...
JEDA OCPchecker Assertions NSC  – Native SystemC verification suite Any-Architecture Applications OCP Design Applications ...
JEDA OCPcover Assertions NSC  – Native SystemC verification suite Any-Architecture Applications OCP Design Applications OC...
Sonics <ul><li>     &quot;The JEDA OCPchecker has proved itself in our production environment.  It automatically adapts to...
JEDA Partners
ESL Verification Automation www. jedatechnologies .net
Upcoming SlideShare
Loading in...5
×

H S

357

Published on

Published in: Technology, Business
0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total Views
357
On Slideshare
0
From Embeds
0
Number of Embeds
0
Actions
Shares
0
Downloads
6
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide
  • 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.
  • Transcript of "H S"

    1. 1. ESL Verification Automation
    2. 2. Jeda’s Mission <ul><li>Mission: Accelerating ESL verification productivity through automation, with native System C and C++ verification solutions </li></ul><ul><ul><li>For all architectures </li></ul></ul><ul><ul><li>For OCP designs </li></ul></ul><ul><li>Experienced Team </li></ul><ul><ul><li>Invented 1st generation hardware verification automation language – VERA </li></ul></ul>
    3. 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. 4. ESL Design Requirements <ul><li>Executable specification </li></ul><ul><li>Early software development and testing </li></ul><ul><li>Fast architectural exploration </li></ul><ul><li>Software/hardware tradeoffs </li></ul><ul><li>Real system performance measurement </li></ul><ul><li>System level verification before RTL </li></ul><ul><li>Quick configuration and design modifications </li></ul>Early, stable virtual system platforms High-level synthesis <ul><li>Meet timing requirements </li></ul><ul><li>Meet area requirements </li></ul><ul><li>Meet power requirements </li></ul>
    5. 5. JEDA ESL Product Benefits <ul><li>Maintain model consistency across various abstract levels </li></ul><ul><li>Ensure design constraints are uniformly applied </li></ul><ul><li>Pinpoint model problems </li></ul><ul><li>Automate verification </li></ul><ul><li>Improve verification coverage </li></ul>Create and verify models in less time <ul><li>Thoroughly validate pre- and post- synthesis designs </li></ul>Shorten time to tapeout from ESL synthesis <ul><li>Automate system constraint checking </li></ul><ul><li>Automate performance checking </li></ul><ul><li>Automate protocol checking </li></ul><ul><li>Advanced smart debugging </li></ul><ul><li>Functional, data and line coverage measurement </li></ul>Reach stable virtual system and debug faster
    6. 6. JEDA Products Assertions NSC – Native SystemC verification suite Any-Architecture Applications OCP Design Applications NSCa: Native SystemC Assertion OCPchecker : OCP Compliance Checks Coverage <ul><li>NSCv : </li></ul><ul><li>Native SystemC Verification </li></ul><ul><li>NSCvDC: Data/Functional Coverage </li></ul><ul><li>NSCvCC: Code/line Coverage </li></ul>OCPcover: OCP Verification Coverage
    7. 7. JEDA NSCa Assertions NSC – Native SystemC verification suite Any-Architecture Applications NSCa: Native SystemC Assertion Coverage <ul><li>NSCv : </li></ul><ul><li>Native SystemC Verification </li></ul><ul><li>NSCvDC: Data/Functional Coverage </li></ul><ul><li>NSCvCC: Code/line Coverage </li></ul><ul><li>NSCa </li></ul><ul><li>Increases engineering </li></ul><ul><li>productivity </li></ul><ul><li>Accelerates verification </li></ul><ul><li>20% or more </li></ul><ul><li>Verification at a higher </li></ul><ul><li>level of abstraction;1 </li></ul><ul><li>line of code vs 7 </li></ul><ul><li>Fast debugging </li></ul><ul><li>Built-in consistency </li></ul><ul><li>Verification re-use </li></ul><ul><li>Easy maintenance </li></ul>
    8. 8. JEDA NSCv Assertions NSC – Native SystemC verification suite Any-Architecture Applications NSCa: Native SystemC Assertion Coverage <ul><li>NSCv : </li></ul><ul><li>Native SystemC Verification </li></ul><ul><li>NSCvDC: Data/Functional Coverage </li></ul><ul><li>NSCvCC: Code/line Coverage </li></ul><ul><li>NSCv </li></ul><ul><li>Functional and data </li></ul><ul><li>coverage </li></ul><ul><li>TLM & cycle based designs </li></ul><ul><li>Audits SystemC and C++ </li></ul><ul><li>design verification suite </li></ul><ul><li>Improves quality </li></ul><ul><li>Accelerates productivity </li></ul><ul><li>Reduces risk </li></ul><ul><li>Designed for SystemC </li></ul><ul><li>hardware designers, </li></ul><ul><li>architects </li></ul>
    9. 9. JEDA OCPchecker Assertions NSC – Native SystemC verification suite Any-Architecture Applications OCP Design Applications OCPchecker : OCP Compliance Checks Coverage OCPcover: OCP Verification Coverage <ul><li>OCP Checker </li></ul><ul><li>SystemC / C++ OCP based validation </li></ul><ul><li>Reduces verification time </li></ul><ul><li>Supports evolving OCP standard </li></ul><ul><li>Checks OCP assertion compliance </li></ul><ul><li>Comprehensive verification </li></ul><ul><li>environment </li></ul><ul><li>Easy debug, pinpointing root causes </li></ul><ul><li>Consistent ESL / RTL protocol checks </li></ul>
    10. 10. JEDA OCPcover Assertions NSC – Native SystemC verification suite Any-Architecture Applications OCP Design Applications OCPchecker : OCP Compliance Checks Coverage OCPcover: OCP Verification Coverage <ul><li>OCP Cover </li></ul><ul><li>Code coverage checking </li></ul><ul><li>For SystemC / C++ OCP designs </li></ul><ul><li>Characterizes verification suites </li></ul><ul><li>Reduces verification risk </li></ul><ul><li>Supports evolving OCP standard </li></ul>
    11. 11. Sonics <ul><li>    &quot;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.&quot; </li></ul><ul><li>Scott Evans </li></ul><ul><li>Director of software development </li></ul><ul><li>Sonics </li></ul>
    12. 12. JEDA Partners
    13. 13. ESL Verification Automation www. jedatechnologies .net
    1. A particular slide catching your eye?

      Clipping is a handy way to collect important slides you want to go back to later.

    ×