VERIFICATION: SystemC assertions go 'native' - Embedded.com

VERIFICATION: SystemC assertions go ‘native’

Santa Cruz, Calif. — Verification startup Jeda Technologies Inc. believes so strongly in SystemC that it shelved its own Jeda verification language. The result is a new tool suite that is said to have the industry's first “native” SystemC assertion-based verification automation capability.

At the DVCon conference in San Jose, Calif., this week, Jeda will roll out NSCa (Native SystemC assertion), a tool suite that includes an efficient assertion syntax and an integrated development environment (IDE) with debugging, coverage and tracing tools. Jeda is also providing a bidirectional SystemVerilog-to-NSCa assertion translator and an OCP-IP checker with compliance checks for the OCP-IP bus protocol.

It's quite a change for the Los Altos, Calif., startup, which was launched to commercialize the Jeda hardware verification language developed at Juniper Networks. Jeda's founders had previously been involved in the creation of the Vera language at Sun Microsystems. The Jeda language and Jeda-X testbench product worked well, said Steve Pollock, vice president of marketing and sales at Jeda, but it was time to move on.

Pollock noted that many users are trying to move upstream from RTL SystemVerilog assertions and the Property Specification Language, but lack the full power of C/C++ when they're writing assertions. And while designers could write assertions directly in the SystemC language, Pollock claimed that NSCa provides a fourfold to tenfold reduction in code because of its succinct syntax.

“The user has the full capability of using anything in the C language, and they can write as complex assertions as they want,” Pollock said. He noted that designers can employ “if” states, branching and stop-on-error capabilities with assertions. The present NSCa capability works with cycle-accurate assertions, and future versions will support transaction-level assertions, he said.

NSCa is basically an extension to SystemC. It provides a front end that helps users develop their code, a run-time evaluation engine and a complete assertion debugging environment, said Eugene Zhang, Jeda CEO. He said that Jeda Technologies is committed to making NSCa an “open” standard.

Users can either write assertions directly in NSCa code, or they can call the NSCa assertion macro functions from within their SystemC code. In either case, the code goes through a compilation and linking process, and the assertions can then run on any simulator that supports SystemC.

The IDE provides code-editing features and automated make-file creation. The debugger helps users analyze their assertions by providing a graphical view of the location of errors. Clicking on an error brings up the line of code where the error occurred. A coverage capability tells users which assertions passed, which failed and which never triggered.

NSCa syntax is said to be very similar to SystemVerilog assertions, and Jeda provides a bidirectional translator with NBridge-SVA. Pollock said that except for some “well-documented exceptions,” the translator can convert over 90 percent of all SystemVerilog assertions into NSCa.

Jeda's SystemC tools are available today starting at $25,000 per seat.

Leave a Reply

This site uses Akismet to reduce spam. Learn how your comment data is processed.