|
|
| |
 |
JEDA Validation Tools Suite: JEDAitg, JEDAtc, JEDAdc, JEDAcc, and JEDArs
JEDA OCP Validation suite: OPC-itg, OCPchecker, OCPcov
JEDA TLM2 Validation Suite: TLM2.0-itg, TLM2.0checker
|
|
|
|
JEDAsuite is targeted primarily to three different groups of ESL users: System Architect, Software Engineer, and Hardware Engineer. |
|
|
|
JEDAsuite’s advanced code coverage component provides code coverage capability for high level SystemC and C++ models. The main goal of code
coverage metrics inside the JEDA Validation Tools Suite is to achieve similar coverage in the SystemC and RTL code. This means it needs to identify in
details each path through the SystemC code.
Some the features of the advanced code coverage functionality are: Position Aware Coverage, Exhaustive decision coverage, SystemC instance coverage, and Filtered viewing. |
|
|
|
JEDAsuite’s functional data coverage component measures the quality of an IP component model or virtual platform based on a user defined quality metric representing the model’s specification intend.
Some of the functionalities available in this component are Item Coverage, Transition Coverage, Cross Coverage, and Group Coverage. |
|
|
|
What is JEDAtc is JEDAsuite’s Temporal Checker component. It provides users the ability to write native SystemC temporal checks for their models. Using this feature, one can specify the requirements and the expected behavior of the
design in a very abstract way. Than it checks automatically that the model developer meets this specification in the SystemC models. The checkers allow to identifying architectural constraints, temporal dependencies and/or various other model bugs automatically to guarantee that the model is compliant with the specification. |
|
|
|
|
