MCNC benchmark circuits in Verilog

[am]

Does anybody know if verilog (RTL) versions of the mcnc lgsynth
benchmarks exist? I would appreciate some direction regarding this.

Thanks
a.m.