I know what XOR/And/Or is. But what I want to do is that I want to perform of static timing analysis of ISCAS85 benchmark circuits. And the timing tool nanotime does not understand the fucntions of these gates. to make it understand- I need those models. If not that- then I need Spice level descriptions of these combinational circuits.