Difference between revisions of "VHDL code generator"

From Event-B
Jump to navigationJump to search
imported>Neoser
(Removing all content from page)
imported>Neoser
 
(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]