contents

software
 
Native SystemC Assertion-Based Verification Automation Tools

JEDA Technologies has announced the release of NSCa (Native SystemC assertion), the first member of JEDA's new family of Native SystemC assertion-based verification automation tools. NSCa aims at System Level verification and removes the restrictions of RTL-based assertion approaches for SystemC.

NSCa easily integrates into an existing SystemC environment. Users have a choice to write their assertion checks in one of two ways:
1) By using the NSCa code, a concise and compact assertions syntax that extends C++ or
2) By directly calling the NSCa assertion macro functions inside their SystemC code.

NSCa syntax are few and concise resulting in a 4 to 10x coding efficiency compared to writing assertions directly in SystemC, thus requiring far less code to write and maintain. In addition, NSCa includes a powerful assertion IDE (integrated development environment), an assertion debug environment and assertion coverage and tracing tools. JEDA has worked closely to provide integration with the Novas Verdi behavioral debug environment. Verdi users can navigate and view the state of NSCa assertions checks and their NSCa source code.

The NSCa syntax is very similar to the SVA (SystemVerilog Assertion) syntax at the cycle level. NBridge-SVA, a bidirectional NSCa to SVA translator is bundled with NSCa to provide a bridge between NSCa and SVA.



write your comments about the article :: © 2006 Computing News :: home page