모델심에는 아래와 같은 라이브러리가 여러개 있습니다. (modelsim.ini 발췌)
[Library]
std = $MODEL_TECH/../std
ieee = $MODEL_TECH/../ieee
verilog = $MODEL_TECH/../verilog
synopsys = $MODEL_TECH/../synopsys
modelsim_lib = $MODEL_TECH/../modelsim_lib
sv_std = $MODEL_TECH/../sv_std

이중에서 디폴트로 Verilog에서 사용하는 리소스 라이브러리와 VHDL에서 사용하는 리소스 라이브러리명은 어떻게 되는지요.(vlog와 vcom에서 컴파일시 사용되는 리소스 라이브러리)
그리고 디폴트 리소스 라이브러리를 다른 리소스 라이브러리로 바꿀려면 어떻게 해야 하는지 알려주세요.