alu.edf

从Xilinx网站上下的

          (instance (rename B_add_ibuf_13 "B_add_ibuf[13]") (viewRef PRIM (cellRef IBUF (libraryRef VIRTEX)))
          )
          (instance (rename B_add_ibuf_12 "B_add_ibuf[12]") (viewRef PRIM (cellRef IBUF (libraryRef VIRTEX)))
          )
          (instance (rename B_add_ibuf_11 "B_add_ibuf[11]") (viewRef PRIM (cellRef IBUF (libraryRef VIRTEX)))
          )
          (instance (rename B_add_ibuf_10 "B_add_ibuf[10]") (viewRef PRIM (cellRef IBUF (libraryRef VIRTEX)))
          )
          (instance (rename B_add_ibuf_9 "B_add_ibuf[9]") (viewRef PRIM (cellRef IBUF (libraryRef VIRTEX)))
          )
          (instance (rename B_add_ibuf_8 "B_add_ibuf[8]") (viewRef PRIM (cellRef IBUF (libraryRef VIRTEX)))
          )
          (instance (rename B_add_ibuf_7 "B_add_ibuf[7]") (viewRef PRIM (cellRef IBUF (libraryRef VIRTEX)))
          )
          (instance (rename B_add_ibuf_6 "B_add_ibuf[6]") (viewRef PRIM (cellRef IBUF (libraryRef VIRTEX)))
          )
          (instance (rename B_add_ibuf_5 "B_add_ibuf[5]") (viewRef PRIM (cellRef IBUF (libraryRef VIRTEX)))
          )
          (instance (rename B_add_ibuf_4 "B_add_ibuf[4]") (viewRef PRIM (cellRef IBUF (libraryRef VIRTEX)))
          )
          (instance (rename B_add_ibuf_3 "B_add_ibuf[3]") (viewRef PRIM (cellRef IBUF (libraryRef VIRTEX)))
          )
          (instance (rename B_add_ibuf_2 "B_add_ibuf[2]") (viewRef PRIM (cellRef IBUF (libraryRef VIRTEX)))
          )
          (instance (rename B_add_ibuf_1 "B_add_ibuf[1]") (viewRef PRIM (cellRef IBUF (libraryRef VIRTEX)))
          )
          (instance (rename B_add_ibuf_0 "B_add_ibuf[0]") (viewRef PRIM (cellRef IBUF (libraryRef VIRTEX)))
          )
          (instance (rename A_add_ibuf_15 "A_add_ibuf[15]") (viewRef PRIM (cellRef IBUF (libraryRef VIRTEX)))
          )
          (instance (rename A_add_ibuf_14 "A_add_ibuf[14]") (viewRef PRIM (cellRef IBUF (libraryRef VIRTEX)))
          )
          (instance (rename A_add_ibuf_13 "A_add_ibuf[13]") (viewRef PRIM (cellRef IBUF (libraryRef VIRTEX)))
          )
          (instance (rename A_add_ibuf_12 "A_add_ibuf[12]") (viewRef PRIM (cellRef IBUF (libraryRef VIRTEX)))
          )
          (instance (rename A_add_ibuf_11 "A_add_ibuf[11]") (viewRef PRIM (cellRef IBUF (libraryRef VIRTEX)))
          )
          (instance (rename A_add_ibuf_10 "A_add_ibuf[10]") (viewRef PRIM (cellRef IBUF (libraryRef VIRTEX)))
          )
          (instance (rename A_add_ibuf_9 "A_add_ibuf[9]") (viewRef PRIM (cellRef IBUF (libraryRef VIRTEX)))
          )
          (instance (rename A_add_ibuf_8 "A_add_ibuf[8]") (viewRef PRIM (cellRef IBUF (libraryRef VIRTEX)))
          )
          (instance (rename A_add_ibuf_7 "A_add_ibuf[7]") (viewRef PRIM (cellRef IBUF (libraryRef VIRTEX)))
          )
          (instance (rename A_add_ibuf_6 "A_add_ibuf[6]") (viewRef PRIM (cellRef IBUF (libraryRef VIRTEX)))
          )
          (instance (rename A_add_ibuf_5 "A_add_ibuf[5]") (viewRef PRIM (cellRef IBUF (libraryRef VIRTEX)))
          )
          (instance (rename A_add_ibuf_4 "A_add_ibuf[4]") (viewRef PRIM (cellRef IBUF (libraryRef VIRTEX)))
          )
          (instance (rename A_add_ibuf_3 "A_add_ibuf[3]") (viewRef PRIM (cellRef IBUF (libraryRef VIRTEX)))
          )
          (instance (rename A_add_ibuf_2 "A_add_ibuf[2]") (viewRef PRIM (cellRef IBUF (libraryRef VIRTEX)))
          )
          (instance (rename A_add_ibuf_1 "A_add_ibuf[1]") (viewRef PRIM (cellRef IBUF (libraryRef VIRTEX)))
          )
          (instance (rename A_add_ibuf_0 "A_add_ibuf[0]") (viewRef PRIM (cellRef IBUF (libraryRef VIRTEX)))
          )
          (instance (rename Q3_obuf_16 "Q3_obuf[16]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename Q3_obuf_15 "Q3_obuf[15]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename Q3_obuf_14 "Q3_obuf[14]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename Q3_obuf_13 "Q3_obuf[13]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename Q3_obuf_12 "Q3_obuf[12]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename Q3_obuf_11 "Q3_obuf[11]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename Q3_obuf_10 "Q3_obuf[10]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename Q3_obuf_9 "Q3_obuf[9]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename Q3_obuf_8 "Q3_obuf[8]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename Q3_obuf_7 "Q3_obuf[7]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename Q3_obuf_6 "Q3_obuf[6]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename Q3_obuf_5 "Q3_obuf[5]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename Q3_obuf_4 "Q3_obuf[4]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename Q3_obuf_3 "Q3_obuf[3]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename Q3_obuf_2 "Q3_obuf[2]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename Q3_obuf_1 "Q3_obuf[1]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename Q3_obuf_0 "Q3_obuf[0]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename Q2_obuf_16 "Q2_obuf[16]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename Q2_obuf_15 "Q2_obuf[15]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename Q2_obuf_14 "Q2_obuf[14]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename Q2_obuf_13 "Q2_obuf[13]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename Q2_obuf_12 "Q2_obuf[12]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename Q2_obuf_11 "Q2_obuf[11]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename Q2_obuf_10 "Q2_obuf[10]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename Q2_obuf_9 "Q2_obuf[9]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename Q2_obuf_8 "Q2_obuf[8]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename Q2_obuf_7 "Q2_obuf[7]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename Q2_obuf_6 "Q2_obuf[6]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename Q2_obuf_5 "Q2_obuf[5]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename Q2_obuf_4 "Q2_obuf[4]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename Q2_obuf_3 "Q2_obuf[3]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename Q2_obuf_2 "Q2_obuf[2]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename Q2_obuf_1 "Q2_obuf[1]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename Q2_obuf_0 "Q2_obuf[0]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename Q1_obuf_16 "Q1_obuf[16]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename Q1_obuf_15 "Q1_obuf[15]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename Q1_obuf_14 "Q1_obuf[14]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename Q1_obuf_13 "Q1_obuf[13]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename Q1_obuf_12 "Q1_obuf[12]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename Q1_obuf_11 "Q1_obuf[11]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename Q1_obuf_10 "Q1_obuf[10]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename Q1_obuf_9 "Q1_obuf[9]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename Q1_obuf_8 "Q1_obuf[8]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename Q1_obuf_7 "Q1_obuf[7]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename Q1_obuf_6 "Q1_obuf[6]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename Q1_obuf_5 "Q1_obuf[5]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename Q1_obuf_4 "Q1_obuf[4]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename Q1_obuf_3 "Q1_obuf[3]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename Q1_obuf_2 "Q1_obuf[2]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename Q1_obuf_1 "Q1_obuf[1]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename Q1_obuf_0 "Q1_obuf[0]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance U3 (viewRef verilog (cellRef mult))          )
          (instance U2 (viewRef verilog (cellRef sub))          )
          (instance U1 (viewRef verilog (cellRef add))          )
          (instance bm16_1 (viewRef netlist (cellRef bm16))
          )
          (instance bm16_2 (viewRef netlist (cellRef bm16_1))
          )
          (net (rename q1_0 "Q1[0]") (joined
           (portRef O (instanceRef Q1_obuf_0))
           (portRef (member q1 16))
          ))
          (net (rename q1_1 "Q1[1]") (joined
           (portRef O (instanceRef Q1_obuf_1))
           (portRef (member q1 15))
          ))
          (net (rename q1_2 "Q1[2]") (joined
           (portRef O (instanceRef Q1_obuf_2))
           (portRef (member q1 14))
          ))
          (net (rename q1_3 "Q1[3]") (joined
           (portRef O (instanceRef Q1_obuf_3))
           (portRef (member q1 13))
          ))
          (net (rename q1_4 "Q1[4]") (joined
           (portRef O (instanceRef Q1_obuf_4))
           (portRef (member q1 12))
          ))
          (net (rename q1_5 "Q1[5]") (joined
           (portRef O (instanceRef Q1_obuf_5))
           (portRef (member q1 11))
          ))
          (net (rename q1_6 "Q1[6]") (joined
           (portRef O (instanceRef Q1_obuf_6))
           (portRef (member q1 10))
          ))
          (net (rename q1_7 "Q1[7]") (joined
           (portRef O (instanceRef Q1_obuf_7))
           (portRef (member q1 9))
          ))
          (net (rename q1_8 "Q1[8]") (joined
           (portRef O (instanceRef Q1_obuf_8))
           (portRef (member q1 8))
          ))
          (net (rename q1_9 "Q1[9]") (joined
           (portRef O (instanceRef Q1_obuf_9))
           (portRef (member q1 7))
          ))
          (net (rename q1_10 "Q1[10]") (joined
           (portRef O (instanceRef Q1_obuf_10))
           (portRef (member q1 6))
          ))
          (net (rename q1_11 "Q1[11]") (joined
           (portRef O (instanceRef Q1_obuf_11))
           (portRef (member q1 5))
          ))
          (net (rename q1_12 "Q1[12]") (joined
           (portRef O (instanceRef Q1_obuf_12))
           (portRef (member q1 4))
          ))
          (net (rename q1_13 "Q1[13]") (joined
           (portRef O (instanceRef Q1_obuf_13))
           (portRef (member q1 3))
          ))
          (net (rename q1_14 "Q1[14]") (joined
           (portRef O (instanceRef Q1_obuf_14))
           (portRef (member q1 2))
          ))
          (net (rename q1_15 "Q1[15]") (joined
           (portRef O (instanceRef Q1_obuf_15))
           (portRef (member q1 1))
          ))
          (net (rename q1_16 "Q1[16]") (joined
           (portRef O (instanceRef Q1_obuf_16))
           (portRef (member q1 0))
          ))
          (net (rename q2_0 "Q2[0]") (joined
           (portRef O (instanceRef Q2_obuf_0))
           (portRef (member q2 16))
          ))
          (net (rename q2_1 "Q2[1]") (joined
           (portRef O (instanceRef Q2_obuf_1))
           (portRef (member q2 15))
          ))
          (net (rename q2_2 "Q2[2]") (joined
           (portRef O (instanceRef Q2_obuf_2))
           (portRef (member q2 14))
          ))
          (net (rename q2_3 "Q2[3]") (joined
           (portRef O (instanceRef Q2_obuf_3))
           (portRef (member q2 13))
          ))
          (net (rename q2_4 "Q2[4]") (joined
           (portRef O (instanceRef Q2_obuf_4))
           (portRef (member q2 12))
          ))
          (net (rename q2_5 "Q2[5]") (joined
           (portRef O (instanceRef Q2_obuf_5))
           (portRef (member q2 11))
          ))
          (net (rename q2_6 "Q2[6]") (joined
           (portRef O (instanceRef Q2_obuf_6))
           (portRef (member q2 10))
          ))
          (net (rename q2_7 "Q2[7]") (joined
           (portRef O (instanceRef Q2_obuf_7))
           (portRef (member q2 9))
          ))
          (net (rename q2_8 "Q2[8]") (joined
           (portRef O (instanceRef Q2_obuf_8))
           (portRef (member q2 8))
          ))
          (net (rename q2_9 "Q2[9]") (joined
           (portRef O (instanceRef Q2_obuf_9))
           (portRef (member q2 7))
          ))
          (net (rename q2_10 "Q2[10]") (joined
           (portRef O (instanceRef Q2_obuf_10))
           (portRef (member q2 6))
          ))
          (net (rename q2_11 "Q2[11]") (joined
           (portRef O (instanceRef Q2_obuf_11))
           (portRef (member q2 5))
          ))
          (net (rename q2_12 "Q2[12]") (joined
           (portRef O (instanceRef Q2_obuf_12))
           (portRef (member q2 4))
          ))
          (net (rename q2_13 "Q2[13]") (joined
           (portRef O (instanceRef Q2_obuf_13))
           (portRef (member q2 3))
          ))
          (net (rename q2_14 "Q2[14]") (joined
           (portRef O (instanceRef Q2_obuf_14))
           (portRef (member q2 2))
          ))
          (net (rename q2_15 "Q2[15]") (joined
           (portRef O (instanceRef Q2_obuf_15))
           (portRef (member q2 1))
          ))
          (net (rename q2_16 "Q2[16]") (joined
           (portRef O (instanceRef Q2_obuf_16))
           (portRef (member q2 0))
          ))
          (net (rename q3_0 "Q3[0]") (joined
           (portRef O (instanceRef Q3_obuf_0))
           (portRef (member q3 16))
          ))
          (net (rename q3_1 "Q3[1]") (joined