如何在modelsimSE中指定Altera的仿真库