Verilog parser using JParsec intended for later integration with Logisim.