Has anyone tried to port the iverilog-based simulation flow to a different simulator, such Modelsim?