Expanded ForSyDe in the report.
Small changes in the forsyde ALUSyn
Begin RAM top-level block in forsyde
Hack CPU in forsyde began
Lava ALU with safety properties working in Satzoo and SMV