@User: Files using ".lib" have to have a specific format in which there are ".lib" blocks in the file that act like "ifdef" blocks. The ".lib" statement in the testbench takes an additional argument which is a definition; e.g., "tt" which must then correspond to a ".lib tt" section in the .lib file. Otherwise you use ".include".