JedaOverview

Jeda’s Mission ,[object Object],[object Object],[object Object],[object Object],[object Object]

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 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Early, stable virtual system platforms High-level synthesis ,[object Object],[object Object],[object Object]

JEDA ESL Product Benefits ,[object Object],[object Object],[object Object],[object Object],[object Object],Create and verify models in less time ,[object Object],Shorten time to tapeout from ESL synthesis ,[object Object],[object Object],[object Object],[object Object],[object Object],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 ,[object Object],[object Object],[object Object],[object Object],OCPcover: OCP Transaction and Data Coverage

JEDA NSCa Assertions NSC – Native SystemC verification suite Any-Architecture Applications NSCa: Native SystemC Assertion Coverage ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

JEDA NSCv Assertions NSC – Native SystemC verification suite Any-Architecture Applications NSCa: Native SystemC Assertion Coverage ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

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 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

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 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Sonics ,[object Object],[object Object],[object Object],[object Object]

ESL Verification Automation www. jedatechnologies .net

JedaOverview

Recomendados

Recomendados

Mais conteúdo relacionado

Mais procurados

Mais procurados (20)

Destaque

Destaque (6)

Semelhante a JedaOverview

Semelhante a JedaOverview (20)

Último

Último (20)

JedaOverview

Notas do Editor