--- Quote Start ---
Library tells the tool nothing. The tool compiles a source code file into a library files, and then the tool (like modelsim) will map the library to a compiled library file.
So, you cannot use "library XX" until the source code for the XX library have all been compiled and mapped.
--- Quote End ---
The tools you mentioned here is simulation tool like "Modelsim" not FPGA design tools like "Quartus", right? And simulation tools use these compiled library files for what? Or say like this, what information does simulation tool get from these precompiled library files?
When we do simulation, we have HDL design files for our designs, why simulation tools needs other information for simulation ? (I am not sure whether behaviour simulation needs compiled library files).
Thanks very much.