mul.edf

这是我自己写的两个8位二进制数的乘法程序

          (instance (rename sum_12_6 "sum_12[6]") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename sum_12_b_0_6 "sum_12_b_0[6]") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename sum_12_b_6 "sum_12_b[6]") (viewRef PRIM (cellRef AND2B1 (libraryRef UNILIB)))
          )
          (instance (rename sum_12_8 "sum_12[8]") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename sum_12_b_0_8 "sum_12_b_0[8]") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename sum_12_b_8 "sum_12_b[8]") (viewRef PRIM (cellRef AND2B1 (libraryRef UNILIB)))
          )
          (instance (rename sum_12_9 "sum_12[9]") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename sum_12_b_0_9 "sum_12_b_0[9]") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename sum_12_b_9 "sum_12_b[9]") (viewRef PRIM (cellRef AND2B1 (libraryRef UNILIB)))
          )
          (instance (rename sum_12_10 "sum_12[10]") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename sum_12_b_0_10 "sum_12_b_0[10]") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename sum_12_b_10 "sum_12_b[10]") (viewRef PRIM (cellRef AND2B1 (libraryRef UNILIB)))
          )
          (instance (rename sum_16_11 "sum_16[11]") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename sum_16_b_0_11 "sum_16_b_0[11]") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename sum_16_b_11 "sum_16_b[11]") (viewRef PRIM (cellRef AND2B1 (libraryRef UNILIB)))
          )
          (instance (rename sum_8_10 "sum_8[10]") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename sum_10_11 "sum_10[11]") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename un16_sum_1_CO5_i_a2_0 "un16_sum_1.CO5_i_a2_0") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename un55_sum_1_CO4_i_o2 "un55_sum_1.CO4_i_o2") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un68_sum_1_CO6_i_o3 "un68_sum_1.CO6_i_o3") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un68_sum_1_CO4_i_o2 "un68_sum_1.CO4_i_o2") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un81_sum_1_CO5_i_o3 "un81_sum_1.CO5_i_o3") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un81_sum_1_CO6_i_o3 "un81_sum_1.CO6_i_o3") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un81_sum_1_CO4_i_o2 "un81_sum_1.CO4_i_o2") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un94_sum_1_CO5_i_o3 "un94_sum_1.CO5_i_o3") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un94_sum_1_CO4_i_o2 "un94_sum_1.CO4_i_o2") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename sum_6_5 "sum_6[5]") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename sum_6_b_0_5 "sum_6_b_0[5]") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename sum_6_b_5 "sum_6_b[5]") (viewRef PRIM (cellRef AND2B1 (libraryRef UNILIB)))
          )
          (instance (rename sum_6_7 "sum_6[7]") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename sum_6_b_0_7 "sum_6_b_0[7]") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename sum_6_b_7 "sum_6_b[7]") (viewRef PRIM (cellRef AND2B1 (libraryRef UNILIB)))
          )
          (instance (rename sum_8_4 "sum_8[4]") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename sum_8_b_0_4 "sum_8_b_0[4]") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename sum_8_b_4 "sum_8_b[4]") (viewRef PRIM (cellRef AND2B1 (libraryRef UNILIB)))
          )
          (instance (rename sum_8_5 "sum_8[5]") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename sum_8_b_0_5 "sum_8_b_0[5]") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename sum_8_b_5 "sum_8_b[5]") (viewRef PRIM (cellRef AND2B1 (libraryRef UNILIB)))
          )
          (instance (rename sum_8_6 "sum_8[6]") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename sum_8_b_0_6 "sum_8_b_0[6]") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename sum_8_b_6 "sum_8_b[6]") (viewRef PRIM (cellRef AND2B1 (libraryRef UNILIB)))
          )
          (instance (rename sum_8_7 "sum_8[7]") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename sum_8_b_0_7 "sum_8_b_0[7]") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename sum_8_b_7 "sum_8_b[7]") (viewRef PRIM (cellRef AND2B1 (libraryRef UNILIB)))
          )
          (instance (rename sum_8_8 "sum_8[8]") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename sum_8_b_0_8 "sum_8_b_0[8]") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename sum_8_b_8 "sum_8_b[8]") (viewRef PRIM (cellRef AND2B1 (libraryRef UNILIB)))
          )
          (instance (rename un68_sum_1_CO5_i_o3_0 "un68_sum_1.CO5_i_o3_0") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename un68_sum_1_CO5_i_o3_0_tz "un68_sum_1.CO5_i_o3_0_tz") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un68_sum_1_CO5_i_o3 "un68_sum_1.CO5_i_o3") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un42_sum_1_CO6_i_o3 "un42_sum_1.CO6_i_o3") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un94_sum_1_CO6_i_o3 "un94_sum_1.CO6_i_o3") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un55_sum_1_CO6_i_o3 "un55_sum_1.CO6_i_o3") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un16_sum_1_CO5_i_o3 "un16_sum_1.CO5_i_o3") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un16_sum_1_CO7_i_o3 "un16_sum_1.CO7_i_o3") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un16_sum_1_CO4_i_o2 "un16_sum_1.CO4_i_o2") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un29_sum_1_CO5_i_o3 "un29_sum_1.CO5_i_o3") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un29_sum_1_CO6_i_o3 "un29_sum_1.CO6_i_o3") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un29_sum_1_CO4_i_o2 "un29_sum_1.CO4_i_o2") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un42_sum_1_CO5_i_o3 "un42_sum_1.CO5_i_o3") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un42_sum_1_CO4_i_o2 "un42_sum_1.CO4_i_o2") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un55_sum_1_CO5_i_o3 "un55_sum_1.CO5_i_o3") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un29_sum_1_CO6_i_o3_0_tz "un29_sum_1.CO6_i_o3_0_tz") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un29_sum_1_CO5_i_o3_0 "un29_sum_1.CO5_i_o3_0") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename un29_sum_1_CO5_i_o3_0_tz "un29_sum_1.CO5_i_o3_0_tz") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un16_sum_1_CO4_i_o2_0 "un16_sum_1.CO4_i_o2_0") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename un16_sum_1_CO4_i_o2_0_tz "un16_sum_1.CO4_i_o2_0_tz") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un16_sum_1_CO7_i_o3_0 "un16_sum_1.CO7_i_o3_0") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename un16_sum_1_CO7_i_o3_0_tz "un16_sum_1.CO7_i_o3_0_tz") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un16_sum_1_CO5_i_o3_0 "un16_sum_1.CO5_i_o3_0") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename un16_sum_1_CO5_i_o3_0_tz "un16_sum_1.CO5_i_o3_0_tz") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un55_sum_1_CO6_i_o3_0 "un55_sum_1.CO6_i_o3_0") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename un55_sum_1_CO6_i_o3_0_tz "un55_sum_1.CO6_i_o3_0_tz") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un94_sum_1_CO6_i_o3_0 "un94_sum_1.CO6_i_o3_0") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename un94_sum_1_CO6_i_o3_0_tz "un94_sum_1.CO6_i_o3_0_tz") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un42_sum_1_CO6_i_o3_0 "un42_sum_1.CO6_i_o3_0") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename un42_sum_1_CO6_i_o3_0_tz "un42_sum_1.CO6_i_o3_0_tz") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un68_sum_1_CO4_i_o2_0 "un68_sum_1.CO4_i_o2_0") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename un68_sum_1_CO4_i_o2_0_tz "un68_sum_1.CO4_i_o2_0_tz") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un68_sum_1_CO6_i_o3_0 "un68_sum_1.CO6_i_o3_0") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename un68_sum_1_CO6_i_o3_0_tz "un68_sum_1.CO6_i_o3_0_tz") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un55_sum_1_CO4_i_o2_0 "un55_sum_1.CO4_i_o2_0") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename un55_sum_1_CO4_i_o2_0_tz "un55_sum_1.CO4_i_o2_0_tz") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un55_sum_1_CO5_i_o3_0 "un55_sum_1.CO5_i_o3_0") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename un55_sum_1_CO5_i_o3_0_tz "un55_sum_1.CO5_i_o3_0_tz") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un42_sum_1_CO4_i_o2_0 "un42_sum_1.CO4_i_o2_0") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename un42_sum_1_CO4_i_o2_0_tz "un42_sum_1.CO4_i_o2_0_tz") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un42_sum_1_CO5_i_o3_0 "un42_sum_1.CO5_i_o3_0") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename un42_sum_1_CO5_i_o3_0_tz "un42_sum_1.CO5_i_o3_0_tz") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un29_sum_1_CO4_i_o2_0 "un29_sum_1.CO4_i_o2_0") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename un29_sum_1_CO4_i_o2_0_tz "un29_sum_1.CO4_i_o2_0_tz") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un29_sum_1_CO6_i_o3_0 "un29_sum_1.CO6_i_o3_0") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename un55_sum_1_SUM1 "un55_sum_1.SUM1") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un55_sum_1_SUM6 "un55_sum_1.SUM6") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un55_sum_1_SUM5 "un55_sum_1.SUM5") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un55_sum_1_SUM4 "un55_sum_1.SUM4") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un81_sum_1_SUM5 "un81_sum_1.SUM5") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un94_sum_1_CO4_i_o2_0 "un94_sum_1.CO4_i_o2_0") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename un94_sum_1_CO4_i_o2_0_tz "un94_sum_1.CO4_i_o2_0_tz") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un94_sum_1_CO5_i_o3_0 "un94_sum_1.CO5_i_o3_0") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename un94_sum_1_CO5_i_o3_0_tz "un94_sum_1.CO5_i_o3_0_tz") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un81_sum_1_CO4_i_o2_0 "un81_sum_1.CO4_i_o2_0") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename un81_sum_1_CO4_i_o2_0_tz "un81_sum_1.CO4_i_o2_0_tz") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un81_sum_1_CO6_i_o3_0 "un81_sum_1.CO6_i_o3_0") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename un81_sum_1_CO6_i_o3_0_tz "un81_sum_1.CO6_i_o3_0_tz") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un81_sum_1_CO5_i_o3_0 "un81_sum_1.CO5_i_o3_0") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename un81_sum_1_CO5_i_o3_0_tz "un81_sum_1.CO5_i_o3_0_tz") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un68_sum_1_SUM1 "un68_sum_1.SUM1") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un94_sum_1_SUM5 "un94_sum_1.SUM5") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un16_sum_1_SUM6 "un16_sum_1.SUM6") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))