I'm trying to write a Verilog code using a module in a .lib file, and compile the code using Synopsys design compiler. I compiled a memory module using my memory compiler, and it produced a .lib file. I think it contains a compiled memory module, but I cannot find how to use it in my Verilog code.
Using an analogy with C/C++, I think the .lib file is supposed to have something like a header file, so that I can include the header and use the module in my Verilog code. But it seems like that the .lib file don't have such header. Could anyone explain how to write a Verilog code using library modules?