Home

CoCoSim Documentation

Verification

FrontEnd

All front end code is located inside src/frontEnd directory. It consists of 2 main steps:

Preprocessing (PP)

• Preprocessing: Complex Simulink blocks are simplified and replaced with basic blocks that are handled by the translator to Lustre.

Internal representation (IR)

MiddleEnd

BackEnd

CoCoSim Specification Library

CoCoSim menu