mul.edf

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

          (instance (rename un68_sum_1_CO7_i_o3 "un68_sum_1.CO7_i_o3") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un55_sum_1_CO7_i_o3 "un55_sum_1.CO7_i_o3") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename sum_12_7 "sum_12[7]") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename sum_12_b_0_7 "sum_12_b_0[7]") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename sum_12_b_7 "sum_12_b[7]") (viewRef PRIM (cellRef AND2B1 (libraryRef UNILIB)))
          )
          (instance (rename sum_10_4 "sum_10[4]") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename sum_10_b_0_4 "sum_10_b_0[4]") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename sum_10_b_4 "sum_10_b[4]") (viewRef PRIM (cellRef AND2B1 (libraryRef UNILIB)))
          )
          (instance (rename sum_10_3 "sum_10[3]") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename sum_10_b_0_3 "sum_10_b_0[3]") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename sum_10_b_3 "sum_10_b[3]") (viewRef PRIM (cellRef AND2B1 (libraryRef UNILIB)))
          )
          (instance (rename sum_4_7 "sum_4[7]") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename out_1_7 "out_1[7]") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename out_1_b_0_7 "out_1_b_0[7]") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename out_1_b_7 "out_1_b[7]") (viewRef PRIM (cellRef AND2B1 (libraryRef UNILIB)))
          )
          (instance (rename out_1_8 "out_1[8]") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename out_1_b_0_8 "out_1_b_0[8]") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename out_1_b_8 "out_1_b[8]") (viewRef PRIM (cellRef AND2B1 (libraryRef UNILIB)))
          )
          (instance (rename sum_14_7 "sum_14[7]") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename sum_14_b_0_7 "sum_14_b_0[7]") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename sum_14_b_7 "sum_14_b[7]") (viewRef PRIM (cellRef AND2B1 (libraryRef UNILIB)))
          )
          (instance (rename sum_14_12 "sum_14[12]") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename sum_14_b_0_12 "sum_14_b_0[12]") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename sum_14_b_12 "sum_14_b[12]") (viewRef PRIM (cellRef AND2B1 (libraryRef UNILIB)))
          )
          (instance (rename sum_16_7 "sum_16[7]") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename sum_16_b_0_7 "sum_16_b_0[7]") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename sum_16_b_7 "sum_16_b[7]") (viewRef PRIM (cellRef AND2B1 (libraryRef UNILIB)))
          )
          (instance (rename un81_sum_1_CO1_0_a3 "un81_sum_1.CO1_0_a3") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename un81_sum_1_CO1_0_a3_0 "un81_sum_1.CO1_0_a3_0") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename un81_sum_1_CO1_0_o2_0 "un81_sum_1.CO1_0_o2_0") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un81_sum_1_CO1_0_o2 "un81_sum_1.CO1_0_o2") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un94_sum_1_CO1_0_a2 "un94_sum_1.CO1_0_a2") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename un94_sum_1_SUM0_0_x2 "un94_sum_1.SUM0_0_x2") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un68_sum_1_CO2_0_o2_0 "un68_sum_1.CO2_0_o2_0") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un68_sum_1_CO2_0_a3_0 "un68_sum_1.CO2_0_a3_0") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename un68_sum_1_CO2_0_a3 "un68_sum_1.CO2_0_a3") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename un55_sum_1_CO2_0_o2 "un55_sum_1.CO2_0_o2") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un55_sum_1_CO2_0_o2_0 "un55_sum_1.CO2_0_o2_0") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un55_sum_1_CO2_0_a3_0 "un55_sum_1.CO2_0_a3_0") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename un55_sum_1_CO2_0_a3 "un55_sum_1.CO2_0_a3") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename un42_sum_1_SUM0_0_x2 "un42_sum_1.SUM0_0_x2") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename un42_sum_1_CO1_0_o2 "un42_sum_1.CO1_0_o2") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un42_sum_1_CO1_0_o2_0 "un42_sum_1.CO1_0_o2_0") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un42_sum_1_CO1_0_a2 "un42_sum_1.CO1_0_a2") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename un42_sum_1_CO1_0_a3_0 "un42_sum_1.CO1_0_a3_0") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename un42_sum_1_CO1_0_a3 "un42_sum_1.CO1_0_a3") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename sum_16_9 "sum_16[9]") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename sum_16_b_0_9 "sum_16_b_0[9]") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename sum_16_b_9 "sum_16_b[9]") (viewRef PRIM (cellRef AND2B1 (libraryRef UNILIB)))
          )
          (instance (rename sum_14_8 "sum_14[8]") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename sum_14_b_0_8 "sum_14_b_0[8]") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename sum_14_b_8 "sum_14_b[8]") (viewRef PRIM (cellRef AND2B1 (libraryRef UNILIB)))
          )
          (instance (rename un94_sum_1_CO1_0_o2_0 "un94_sum_1.CO1_0_o2_0") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un94_sum_1_CO1_0_o2 "un94_sum_1.CO1_0_o2") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un94_sum_1_CO2_0_o2 "un94_sum_1.CO2_0_o2") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un94_sum_1_CO2_0_o2_0 "un94_sum_1.CO2_0_o2_0") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un94_sum_1_CO2_0_a3_0 "un94_sum_1.CO2_0_a3_0") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename un94_sum_1_CO2_0_a3 "un94_sum_1.CO2_0_a3") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename un81_sum_1_CO3_0_o2 "un81_sum_1.CO3_0_o2") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un81_sum_1_CO2_0_o2 "un81_sum_1.CO2_0_o2") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un81_sum_1_CO3_0_o2_0 "un81_sum_1.CO3_0_o2_0") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un81_sum_1_CO2_0_o2_0 "un81_sum_1.CO2_0_o2_0") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un81_sum_1_CO3_0_a3_0 "un81_sum_1.CO3_0_a3_0") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename un81_sum_1_CO3_0_a3 "un81_sum_1.CO3_0_a3") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename un81_sum_1_CO2_0_a3_0 "un81_sum_1.CO2_0_a3_0") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename un81_sum_1_CO2_0_a3 "un81_sum_1.CO2_0_a3") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename un68_sum_1_CO2_0_o2 "un68_sum_1.CO2_0_o2") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un16_sum_1_CO1_0_a3_0 "un16_sum_1.CO1_0_a3_0") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename un16_sum_1_CO1_0_o2 "un16_sum_1.CO1_0_o2") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un29_sum_1_CO1_0_a3 "un29_sum_1.CO1_0_a3") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename un29_sum_1_CO1_0_a3_0 "un29_sum_1.CO1_0_a3_0") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename un29_sum_1_CO1_0_a2 "un29_sum_1.CO1_0_a2") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename un29_sum_1_CO1_0_o2_0 "un29_sum_1.CO1_0_o2_0") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un29_sum_1_CO1_0_o2 "un29_sum_1.CO1_0_o2") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un29_sum_1_SUM0_0_x2 "un29_sum_1.SUM0_0_x2") (viewRef PRIM (cellRef XOR2 (libraryRef UNILIB)))
          )
          (instance (rename sum_16_8 "sum_16[8]") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename sum_16_b_0_8 "sum_16_b_0[8]") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename sum_16_b_8 "sum_16_b[8]") (viewRef PRIM (cellRef AND2B1 (libraryRef UNILIB)))
          )
          (instance (rename un68_sum_1_CO1_0_a3 "un68_sum_1.CO1_0_a3") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename un68_sum_1_CO1_0_a3_0 "un68_sum_1.CO1_0_a3_0") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename un68_sum_1_CO1_0_o2_0 "un68_sum_1.CO1_0_o2_0") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un68_sum_1_CO1_0_o2 "un68_sum_1.CO1_0_o2") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un94_sum_1_CO1_0_a3 "un94_sum_1.CO1_0_a3") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename un94_sum_1_CO1_0_a3_0 "un94_sum_1.CO1_0_a3_0") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename sum_6_8 "sum_6[8]") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename sum_4_6 "sum_4[6]") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename sum_4_5 "sum_4[5]") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename sum_4_4 "sum_4[4]") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename sum_4_3 "sum_4[3]") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename sum_4_2 "sum_4[2]") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename sum_4_1 "sum_4[1]") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename sum_4_0 "sum_4[0]") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename sum_6_6 "sum_6[6]") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename sum_6_b_0_6 "sum_6_b_0[6]") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename sum_6_b_6 "sum_6_b[6]") (viewRef PRIM (cellRef AND2B1 (libraryRef UNILIB)))
          )
          (instance (rename sum_6_4 "sum_6[4]") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename sum_6_b_0_4 "sum_6_b_0[4]") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename sum_6_b_4 "sum_6_b[4]") (viewRef PRIM (cellRef AND2B1 (libraryRef UNILIB)))
          )
          (instance (rename sum_6_2 "sum_6[2]") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename sum_6_b_0_2 "sum_6_b_0[2]") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename sum_6_b_2 "sum_6_b[2]") (viewRef PRIM (cellRef AND2B1 (libraryRef UNILIB)))
          )
          (instance (rename sum_6_1 "sum_6[1]") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename sum_6_b_0_1 "sum_6_b_0[1]") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename sum_6_b_1 "sum_6_b[1]") (viewRef PRIM (cellRef AND2B1 (libraryRef UNILIB)))
          )
          (instance (rename sum_6_3 "sum_6[3]") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename sum_6_b_0_3 "sum_6_b_0[3]") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename sum_6_b_3 "sum_6_b[3]") (viewRef PRIM (cellRef AND2B1 (libraryRef UNILIB)))
          )
          (instance (rename sum_8_2 "sum_8[2]") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename sum_8_b_0_2 "sum_8_b_0[2]") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename sum_8_b_2 "sum_8_b[2]") (viewRef PRIM (cellRef AND2B1 (libraryRef UNILIB)))