modelsim仿真输出红线