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

MODEVES Transformation Engine (MTE)

We develop MODEVES Transformation Engine (MTE) in order to transform the model into SystemVerilog RTL and assertions code.We also generate structural code that is placed in both SystemVerilog RTL and assertions files accordingly. Currently, we provide MTE as standalone application. However, we will also release it as an eclipse plugin in near future. The main interface of MTE is given below.

MODEVES Transformation Engine

Download :

Once SystemVerilog RTL and assertions code for traffic lights controller has been generated through MTE, design verification has been performed. The details can be found Here