VHDL code generator
From Event-B
Revision as of 07:58, 28 May 2015 by imported>Neoser
The plug-in allows you to generate VHDL code from a formal Event-B model. Please follow the link for more details: [1]
The plug-in allows you to generate VHDL code from a formal Event-B model. Please follow the link for more details: [1]