mul.edf

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

          )
          (instance (rename un16_sum_1_SUM4 "un16_sum_1.SUM4") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un29_sum_1_SUM3 "un29_sum_1.SUM3") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un29_sum_1_SUM2 "un29_sum_1.SUM2") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un29_sum_1_SUM6 "un29_sum_1.SUM6") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un29_sum_1_SUM5 "un29_sum_1.SUM5") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un29_sum_1_SUM4 "un29_sum_1.SUM4") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un42_sum_1_SUM3 "un42_sum_1.SUM3") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un42_sum_1_SUM2 "un42_sum_1.SUM2") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un42_sum_1_SUM5 "un42_sum_1.SUM5") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un42_sum_1_SUM4 "un42_sum_1.SUM4") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un42_sum_1_SUM7 "un42_sum_1.SUM7") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un55_sum_1_SUM2 "un55_sum_1.SUM2") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un68_sum_1_SUM7 "un68_sum_1.SUM7") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un81_sum_1_SUM1 "un81_sum_1.SUM1") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un94_sum_1_SUM1 "un94_sum_1.SUM1") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename sum_6_9 "sum_6[9]") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename un81_sum_1_SUM3 "un81_sum_1.SUM3") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un68_sum_1_SUM3 "un68_sum_1.SUM3") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un55_sum_1_SUM3 "un55_sum_1.SUM3") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un42_sum_1_SUM1 "un42_sum_1.SUM1") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un81_sum_1_SUM2 "un81_sum_1.SUM2") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un16_sum_1_SUM2 "un16_sum_1.SUM2") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un29_sum_1_SUM1 "un29_sum_1.SUM1") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un16_sum_1_SUM5 "un16_sum_1.SUM5") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un16_sum_1_SUM1 "un16_sum_1.SUM1") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un16_sum_1_SUM3 "un16_sum_1.SUM3") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un68_sum_1_SUM6 "un68_sum_1.SUM6") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un94_sum_1_SUM4_0 "un94_sum_1.SUM4_0") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un94_sum_1_SUM4 "un94_sum_1.SUM4") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un94_sum_1_SUM3 "un94_sum_1.SUM3") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un81_sum_1_SUM4 "un81_sum_1.SUM4") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un81_sum_1_SUM6 "un81_sum_1.SUM6") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un68_sum_1_SUM4 "un68_sum_1.SUM4") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un68_sum_1_SUM5 "un68_sum_1.SUM5") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un55_sum_1_SUM7 "un55_sum_1.SUM7") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un42_sum_1_SUM6 "un42_sum_1.SUM6") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un29_sum_1_SUM7 "un29_sum_1.SUM7") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un81_sum_1_SUM7 "un81_sum_1.SUM7") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un94_sum_1_SUM2 "un94_sum_1.SUM2") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un94_sum_1_SUM6 "un94_sum_1.SUM6") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un94_sum_1_SUM7 "un94_sum_1.SUM7") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un68_sum_1_SUM2 "un68_sum_1.SUM2") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un81_sum_1_SUM1_0 "un81_sum_1.SUM1_0") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un68_sum_1_SUM7_0 "un68_sum_1.SUM7_0") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un68_sum_1_SUM2_0 "un68_sum_1.SUM2_0") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un94_sum_1_SUM7_0 "un94_sum_1.SUM7_0") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un94_sum_1_SUM6_0 "un94_sum_1.SUM6_0") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un94_sum_1_SUM2_0 "un94_sum_1.SUM2_0") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un81_sum_1_SUM7_0 "un81_sum_1.SUM7_0") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un29_sum_1_SUM7_0 "un29_sum_1.SUM7_0") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un42_sum_1_SUM6_0 "un42_sum_1.SUM6_0") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un55_sum_1_SUM7_0 "un55_sum_1.SUM7_0") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un68_sum_1_SUM5_0 "un68_sum_1.SUM5_0") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un68_sum_1_SUM4_0 "un68_sum_1.SUM4_0") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un81_sum_1_SUM6_0 "un81_sum_1.SUM6_0") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un81_sum_1_SUM4_0 "un81_sum_1.SUM4_0") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un94_sum_1_SUM3_0 "un94_sum_1.SUM3_0") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un94_sum_1_SUM5_0 "un94_sum_1.SUM5_0") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un68_sum_1_SUM1_0 "un68_sum_1.SUM1_0") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un68_sum_1_SUM6_0 "un68_sum_1.SUM6_0") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un16_sum_1_SUM3_0 "un16_sum_1.SUM3_0") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un16_sum_1_SUM1_0 "un16_sum_1.SUM1_0") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un16_sum_1_SUM5_0 "un16_sum_1.SUM5_0") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un29_sum_1_SUM1_0 "un29_sum_1.SUM1_0") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un16_sum_1_SUM2_0 "un16_sum_1.SUM2_0") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un81_sum_1_SUM2_0 "un81_sum_1.SUM2_0") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un42_sum_1_SUM1_0 "un42_sum_1.SUM1_0") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un55_sum_1_SUM3_0 "un55_sum_1.SUM3_0") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un68_sum_1_SUM3_0 "un68_sum_1.SUM3_0") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un81_sum_1_SUM3_0 "un81_sum_1.SUM3_0") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename sum_6_0_9 "sum_6_0[9]") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename un94_sum_1_SUM1_0 "un94_sum_1.SUM1_0") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un55_sum_1_SUM6_0 "un55_sum_1.SUM6_0") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un55_sum_1_SUM1_0 "un55_sum_1.SUM1_0") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un55_sum_1_SUM2_0 "un55_sum_1.SUM2_0") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un42_sum_1_SUM7_0 "un42_sum_1.SUM7_0") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un42_sum_1_SUM4_0 "un42_sum_1.SUM4_0") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un42_sum_1_SUM5_0 "un42_sum_1.SUM5_0") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un42_sum_1_SUM2_0 "un42_sum_1.SUM2_0") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un42_sum_1_SUM3_0 "un42_sum_1.SUM3_0") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un29_sum_1_SUM4_0 "un29_sum_1.SUM4_0") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un29_sum_1_SUM5_0 "un29_sum_1.SUM5_0") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un29_sum_1_SUM6_0 "un29_sum_1.SUM6_0") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un29_sum_1_SUM2_0 "un29_sum_1.SUM2_0") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un29_sum_1_SUM3_0 "un29_sum_1.SUM3_0") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un16_sum_1_SUM4_0 "un16_sum_1.SUM4_0") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un16_sum_1_SUM6_0 "un16_sum_1.SUM6_0") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un81_sum_1_SUM5_0 "un81_sum_1.SUM5_0") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un55_sum_1_SUM4_0 "un55_sum_1.SUM4_0") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un55_sum_1_SUM5_0 "un55_sum_1.SUM5_0") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename a_c_i_0 "a_c_i[0]") (viewRef PRIM (cellRef INV (libraryRef UNILIB)))          )
          (instance (rename sum_10_i_4 "sum_10_i[4]") (viewRef PRIM (cellRef INV (libraryRef UNILIB)))          )
          (instance (rename un55_sum_1_N_5_i "un55_sum_1.N_5_i") (viewRef PRIM (cellRef INV (libraryRef UNILIB)))          )
          (instance (rename out_obuf_15 "out_obuf[15]") (viewRef PRIM (cellRef OBUF (libraryRef XC9500)))
          )
          (instance (rename out_obuf_14 "out_obuf[14]") (viewRef PRIM (cellRef OBUF (libraryRef XC9500)))
          )
          (instance (rename out_obuf_13 "out_obuf[13]") (viewRef PRIM (cellRef OBUF (libraryRef XC9500)))
          )
          (instance (rename out_obuf_12 "out_obuf[12]") (viewRef PRIM (cellRef OBUF (libraryRef XC9500)))
          )
          (instance (rename out_obuf_11 "out_obuf[11]") (viewRef PRIM (cellRef OBUF (libraryRef XC9500)))
          )
          (instance (rename out_obuf_10 "out_obuf[10]") (viewRef PRIM (cellRef OBUF (libraryRef XC9500)))
          )
          (instance (rename out_obuf_9 "out_obuf[9]") (viewRef PRIM (cellRef OBUF (libraryRef XC9500)))
          )
          (instance (rename out_obuf_8 "out_obuf[8]") (viewRef PRIM (cellRef OBUF (libraryRef XC9500)))
          )
          (instance (rename out_obuf_7 "out_obuf[7]") (viewRef PRIM (cellRef OBUF (libraryRef XC9500)))
          )
          (instance (rename out_obuf_6 "out_obuf[6]") (viewRef PRIM (cellRef OBUF (libraryRef XC9500)))
          )
          (instance (rename out_obuf_5 "out_obuf[5]") (viewRef PRIM (cellRef OBUF (libraryRef XC9500)))
          )
          (instance (rename out_obuf_4 "out_obuf[4]") (viewRef PRIM (cellRef OBUF (libraryRef XC9500)))
          )
          (instance (rename out_obuf_3 "out_obuf[3]") (viewRef PRIM (cellRef OBUF (libraryRef XC9500)))
          )
          (instance (rename out_obuf_2 "out_obuf[2]") (viewRef PRIM (cellRef OBUF (libraryRef XC9500)))
          )
          (instance (rename out_obuf_1 "out_obuf[1]") (viewRef PRIM (cellRef OBUF (libraryRef XC9500)))
          )
          (