Hi alam,
From the foundry, the standard cell libraries u can get are:
lef lib
timing lib
gds lib
verilog lib
noise libraries,
etc.,
The verilog file from the foundry contains the verilog code (the instantiation and the path delays).
In this all the components are independent and they are interconnected. It is a library of verilog components is an easier way to say.
The verilog file obtained from synthesis contains the gate level netlist.
That is the behavioral code given as input is replaced with the gates from the timing library you have given as input for the synthesisbased the constraints given.
Please go through the synthesis tool (for example Design Compiler or RTL Compiler) manuals.
It might help you.
Now the question is can u use a verilog file as library?
Of course you can but for simulation only.
Thanks.