ICC model GTECH is not defined

I create a verilog code by DC for (half adder circuit ), but I have a new problem when I import design, that what I do in (attachment).

1

2

3

要用真正的库。

how can I use it ? can you describe in details.