Ok, I guess I could build a converter for your Verilog netlists to SPICE netlists, if you dont have an easy way to do that yourself.