siliconsmart生成的库，不能用于综合。

vectorli

简单的测试module。

module test (A1, A2, A3);
input A1, A2;
output A3;
    assign A3 = !(A1|A2);
endmodule
dc综合的时候，提示如下错误：
Warning: Cell U1 conflicts with the NOR2X1 in the target library. (OPT-106)
  Error processing 'test'.
Error: Compile has abnormally terminated.  (OPT-100)
siliconsmart参考安装工具下的tutorial的用例：
set cells {INVX1 NOR4X1 NOR2X1 OR2X1}
set charpoint testcase
create $charpoint
set_log_file $charpoint/sis.log
exec cp configure.tcl ${charpoint}/config/configure.tcl
set_location  $charpoint
import -fast -liberty ./test.lib -ext .spc -overwrite -use_default_slews -netlist_dir ./netlists/ $cells
configure -fast  -timing -power -ccs $cells
characterize $cells
model -timing -power -ccs -output ccs $cells

test.lib是参考标准单元库修改的。