• Share
  • Email
  • Embed
  • Like
  • Save
  • Private Content
JedaOverview
 

JedaOverview

on

  • 754 views

Overview slide

Overview slide

Statistics

Views

Total Views
754
Views on SlideShare
611
Embed Views
143

Actions

Likes
0
Downloads
12
Comments
0

2 Embeds 143

http://www.jedatechnologies.net 142
http://stage1.jedatechnologies.net 1

Accessibility

Categories

Upload Details

Uploaded via as Microsoft PowerPoint

Usage Rights

© All Rights Reserved

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
  • Full Name Full Name Comment goes here.
    Are you sure you want to
    Your message goes here
    Processing…
Post Comment
Edit your comment
  • 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.

JedaOverview JedaOverview Presentation Transcript

  • ESL Verification Automation
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • JEDA Partners
  • ESL Verification Automation www. jedatechnologies .net