VHDL code generator: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Neoser Removing all content from page |
imported>Neoser No edit summary |
||
| (One intermediate revision 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]
