I would probably be able to run Verilog simulations of a timing annotated netlist using Icarus Verilog, but I assume DCO timing would not be accurate.