It's even easier in this case because they've included the original verilog source ....