Verilog

Use Iverilog to compile vvp to generate files for use gtkware for seeing them

Separate hardware description from description of the simulation environments