H S

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 Verification 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 Verification 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 Verification Coverage ,[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

H S

Recommandé

Recommandé

Contenu connexe

Tendances

Tendances (20)

En vedette

En vedette (20)

Similaire à H S

Similaire à H S (20)

Dernier

Dernier (20)

H S

Notes de l'éditeur