They used a tool to convert the schematic to Verilog? That's pretty hardcore. I want to read up on this later.