FINV worked on ModelSim