ff95cacb55
however there seems to be a bug - readLatency needs to be set to 0 for C model to work, and 1 for Verilog model.