Difference between revisions of "VHDL code generator"
From Event-B
Jump to navigationJump to searchimported>Neoser (New page: Image:EHDL_Ver2.png) |
imported>Neoser |
||
(2 intermediate revisions by the same user not shown) | |||
Line 1: | Line 1: | ||
− | [ | + | The plug-in allows you to generate VHDL code from a formal Event-B model. |
+ | Please follow the link for more details: [http://www.eb2vhdl.tk/] |
Latest revision as of 07:58, 28 May 2015
The plug-in allows you to generate VHDL code from a formal Event-B model. Please follow the link for more details: [1]