I take it you have a synthesis tool, like RTL compiler etc. and your library is synthesis compatible with .lib .lef files? or do you want to create your own library which is synthesis compatible? A library that has a NAND gate, inverter, and flip flop?