The plug-in allows you to generate VHDL code from a formal Event-B model. To do that you have to install the plug-in first by clicking “Help” -> “Install New Software …”.

In the appeared window you should type in the following address: http://www.eventb-to-vhdl.tk/. When “EHDL – Event-B to VHDL translator” title shows up under “Name” column, check the checkbox to the left.

Then click “Next” button, choose “I accept terms of the license agreement” and click “Finish” button.

If the following window appears, then click “OK” button.

Finally, restart the tool by clicking on “Restart Now” button.

The use of this plug-in is pretty simple. You just need to choose a project you want to generate code from and click on a “EHDL” button in the menu bar.

After confirming your wish for code generation, choose a folder to store VHDL design in.

The name of the project is the same as the name of the machine in the last refinement plus .vhd extension. You have got a vhdl design!