Sokie, a open source verilog parser.