FLModelSim validity