MOdel-based DEsign & Verification for Safety-Critical Embedded Systems

SVOCL Transformation Engine

We develop SVOCL transformation engine in order to transform the SVOCL constraints to SystemVerilog Assertions code. Currently, we provide SVOCL transformation engine as standalone application. However, we will also release SVOCL transformation engine as an eclipse plugin. The main interface of SVOCL transformation engine is given below.

SVOCL Transformation Engine


Download :