(edif cu_a 
 (edifVersion 2 0 0)
 (edifLevel 0)
 (keywordMap (keywordLevel 0))
 (status 
  (written 
   (timestamp 2002 02 07 18 07 30)
   (program "LeonardoSpectrum Level 3" (version "v1999.1j"))
   (author "Exemplar Logic Inc")))
 (external PRIMITIVES 
  (edifLevel 0)
  (technology (numberDefinition )))
 (external flex10 
  (edifLevel 0)
  (technology (numberDefinition ))
  (cell DFF (cellType GENERIC)
   (view NETLIST  (viewType NETLIST)
    (interface 
     (port D (direction INPUT))
     (port CLK (direction INPUT))
     (port CLRN (direction INPUT)
      (property FLOATVAL (string "1")))
     (port PRN (direction INPUT)
      (property FLOATVAL (string "1")))
     (port Q (direction OUTPUT)))
    (property ALT_SWAP_EQUIV_GATE (string "DFF"))
    (property area_add_report (string "1"))
    (property area_add_units (string "DFFs"))
    (property area_report (string "1"))
    (property area_units (string "LCs"))
    (property dff (string "1"))
    (property AREA (string "1.000000"))))
  (cell VCC (cellType GENERIC)
   (view NETLIST  (viewType NETLIST)
    (interface 
     (port Y (direction OUTPUT)))))
  (cell LUT (cellType GENERIC)
   (view NETLIST  (viewType NETLIST)
    (interface 
     (port IN1 (direction INPUT))
     (port IN2 (direction INPUT))
     (port IN3 (direction INPUT))
     (port IN4 (direction INPUT))
     (port A_OUT (direction OUTPUT)))
    (property IS_LUT (string "1"))
    (property NOMAP_GATE (string "1"))))
  (cell LCELL (cellType GENERIC)
   (view NETLIST  (viewType NETLIST)
    (interface 
     (port IN1 (direction INPUT))
     (port Y (direction OUTPUT)))
    (property ALT_DIRECTIVE (string "LCELL"))
    (property AREA (string "1.000000"))))
  (cell CASCADE (cellType GENERIC)
   (view NETLIST  (viewType NETLIST)
    (interface 
     (port IN1 (direction INPUT))
     (port Y (direction OUTPUT)))
    (property ALT_DIRECTIVE (string "CASCADE"))
    (property area_add_report (string "1"))
    (property area_add_units (string "CASCADEs"))
    (property area_report (string "1"))
    (property area_units (string "LCs")))))
 (library work 
  (edifLevel 0)
  (technology (numberDefinition ))
  (cell cu_a (cellType GENERIC)
   (view fsm  (viewType NETLIST)
    (interface 
     (port reset (direction INPUT))
     (port clk (direction INPUT))
     (port dav (direction INPUT))
     (port rack (direction INPUT))
     (port wack (direction INPUT))
     (port cs1 (direction OUTPUT))
     (port cs2 (direction OUTPUT))
     (port cs3 (direction OUTPUT))
     (port cs4 (direction OUTPUT))
     (port cs5 (direction OUTPUT)))
    (contents 
     (instance reg_current_state6 (viewRef NETLIST  (cellRef DFF (libraryRef flex10 ))))
     (instance reg_current_state5 (viewRef NETLIST  (cellRef DFF (libraryRef flex10 ))))
     (instance reg_current_state4 (viewRef NETLIST  (cellRef DFF (libraryRef flex10 ))))
     (instance reg_current_state3 (viewRef NETLIST  (cellRef DFF (libraryRef flex10 ))))
     (instance reg_current_state2 (viewRef NETLIST  (cellRef DFF (libraryRef flex10 ))))
     (instance reg_current_state1 (viewRef NETLIST  (cellRef DFF (libraryRef flex10 ))))
     (instance reg_current_state0 (viewRef NETLIST  (cellRef DFF (libraryRef flex10 ))))
     (instance ix325 (viewRef NETLIST  (cellRef VCC (libraryRef flex10 ))))
     (instance ix330 (viewRef NETLIST  (cellRef LUT (libraryRef flex10 )))
      (property lut_function (string "((IN1 IN2')+(IN2' IN3))")))
     (instance ix331 (viewRef NETLIST  (cellRef LUT (libraryRef flex10 )))
      (property lut_function (string "((IN1 IN2')+(IN2' IN3))")))
     (instance ix332 (viewRef NETLIST  (cellRef LUT (libraryRef flex10 )))
      (property lut_function (string "((IN1 IN2))")))
     (instance ix333 (viewRef NETLIST  (cellRef LUT (libraryRef flex10 )))
      (property lut_function (string "((IN1'))"))
      (property area_report (string "0"))
      (property area_units (string "LCs")))
     (instance ix334 (viewRef NETLIST  (cellRef LUT (libraryRef flex10 )))
      (property lut_function (string "((IN1' IN2'))")))
     (instance ix335 (viewRef NETLIST  (cellRef LUT (libraryRef flex10 )))
      (property lut_function (string "((IN1' IN2' IN3'))"))
      (property area_report (string "0"))
      (property area_units (string "LCs")))
     (instance ix336 (viewRef NETLIST  (cellRef LUT (libraryRef flex10 )))
      (property lut_function (string "((IN1 IN2))"))
      (property area_report (string "0"))
      (property area_units (string "LCs")))
     (instance ix337 (viewRef NETLIST  (cellRef LUT (libraryRef flex10 )))
      (property lut_function (string "((IN1)+(IN2 IN3'))"))
      (property area_report (string "0"))
      (property area_units (string "LCs")))
     (instance ix338 (viewRef NETLIST  (cellRef LUT (libraryRef flex10 )))
      (property lut_function (string "((IN1 IN2))"))
      (property area_report (string "0"))
      (property area_units (string "LCs")))
     (instance ix339 (viewRef NETLIST  (cellRef LUT (libraryRef flex10 )))
      (property lut_function (string "((IN1)+(IN2 IN3'))"))
      (property area_report (string "0"))
      (property area_units (string "LCs")))
     (instance ix340 (viewRef NETLIST  (cellRef LUT (libraryRef flex10 )))
      (property lut_function (string "((IN1 IN2'))"))
      (property area_report (string "0"))
      (property area_units (string "LCs")))
     (instance ix341 (viewRef NETLIST  (cellRef LUT (libraryRef flex10 )))
      (property lut_function (string "((IN1 IN2' IN3')+(IN2' IN3 IN4'))"))
      (property area_report (string "0"))
      (property area_units (string "LCs")))
     (instance ix330_lc (viewRef NETLIST  (cellRef LCELL (libraryRef flex10 ))))
     (instance ix331_lc (viewRef NETLIST  (cellRef LCELL (libraryRef flex10 ))))
     (instance ix332_lc (viewRef NETLIST  (cellRef LCELL (libraryRef flex10 ))))
     (instance ix334_cas (viewRef NETLIST  (cellRef CASCADE (libraryRef flex10 ))))
     (net reset 
      (joined 
       (portRef reset )
       (portRef IN1 (instanceRef ix333 ))))
     (net clk 
      (joined 
       (portRef clk )
       (portRef CLK (instanceRef reg_current_state6 ))
       (portRef CLK (instanceRef reg_current_state5 ))
       (portRef CLK (instanceRef reg_current_state4 ))
       (portRef CLK (instanceRef reg_current_state3 ))
       (portRef CLK (instanceRef reg_current_state2 ))
       (portRef CLK (instanceRef reg_current_state1 ))
       (portRef CLK (instanceRef reg_current_state0 ))))
     (net dav 
      (joined 
       (portRef dav )
       (portRef IN1 (instanceRef ix340 ))
       (portRef IN1 (instanceRef ix341 ))))
     (net rack 
      (joined 
       (portRef rack )
       (portRef IN1 (instanceRef ix330 ))))
     (net wack 
      (joined 
       (portRef wack )
       (portRef IN1 (instanceRef ix331 ))))
     (net current_state6 
      (joined 
       (portRef Q (instanceRef reg_current_state6 ))
       (portRef IN2 (instanceRef ix331 ))
       (portRef IN2 (instanceRef ix341 ))))
     (net cs5 
      (joined 
       (portRef cs5 )
       (portRef Q (instanceRef reg_current_state5 ))
       (portRef IN3 (instanceRef ix335 ))
       (portRef IN1 (instanceRef ix336 ))
       (portRef IN2 (instanceRef ix337 ))))
     (net cs4 
      (joined 
       (portRef cs4 )
       (portRef Q (instanceRef reg_current_state4 ))
       (portRef IN2 (instanceRef ix330 ))
       (portRef IN2 (instanceRef ix335 ))
       (portRef IN1 (instanceRef ix337 ))))
     (net cs3 
      (joined 
       (portRef cs3 )
       (portRef Q (instanceRef reg_current_state3 ))
       (portRef IN1 (instanceRef ix335 ))
       (portRef IN1 (instanceRef ix338 ))
       (portRef IN2 (instanceRef ix339 ))))
     (net cs2 
      (joined 
       (portRef cs2 )
       (portRef Q (instanceRef reg_current_state2 ))
       (portRef IN2 (instanceRef ix334 ))
       (portRef IN1 (instanceRef ix339 ))))
     (net cs1 
      (joined 
       (portRef cs1 )
       (portRef Q (instanceRef reg_current_state1 ))
       (portRef D (instanceRef reg_current_state2 ))
       (portRef IN1 (instanceRef ix334 ))))
     (net NOT_current_state0 
      (joined 
       (portRef Q (instanceRef reg_current_state0 ))
       (portRef IN2 (instanceRef ix340 ))
       (portRef IN3 (instanceRef ix341 ))))
     (net nx316 
      (joined 
       (portRef Y (instanceRef ix325 ))
       (portRef PRN (instanceRef reg_current_state6 ))
       (portRef PRN (instanceRef reg_current_state5 ))
       (portRef PRN (instanceRef reg_current_state4 ))
       (portRef PRN (instanceRef reg_current_state3 ))
       (portRef PRN (instanceRef reg_current_state2 ))
       (portRef PRN (instanceRef reg_current_state1 ))
       (portRef PRN (instanceRef reg_current_state0 ))))
     (net rk_lc 
      (joined 
       (portRef Y (instanceRef ix330_lc ))
       (portRef IN3 (instanceRef ix330 ))
       (portRef IN2 (instanceRef ix338 ))
       (portRef IN3 (instanceRef ix339 ))))
     (net wk_lc 
      (joined 
       (portRef Y (instanceRef ix331_lc ))
       (portRef IN3 (instanceRef ix331 ))
       (portRef IN2 (instanceRef ix336 ))
       (portRef IN3 (instanceRef ix337 ))))
     (net nx314_lc 
      (joined 
       (portRef Y (instanceRef ix332_lc ))
       (portRef IN4 (instanceRef ix341 ))))
     (net nx315 
      (joined 
       (portRef A_OUT (instanceRef ix333 ))
       (portRef CLRN (instanceRef reg_current_state6 ))
       (portRef CLRN (instanceRef reg_current_state5 ))
       (portRef CLRN (instanceRef reg_current_state4 ))
       (portRef CLRN (instanceRef reg_current_state3 ))
       (portRef CLRN (instanceRef reg_current_state2 ))
       (portRef CLRN (instanceRef reg_current_state1 ))
       (portRef CLRN (instanceRef reg_current_state0 ))))
     (net nx317_cas 
      (joined 
       (portRef Y (instanceRef ix334_cas ))
       (portRef IN1 (instanceRef ix332 ))))
     (net nx318 
      (joined 
       (portRef A_OUT (instanceRef ix335 ))
       (portRef IN2 (instanceRef ix332 ))))
     (net nx319 
      (joined 
       (portRef A_OUT (instanceRef ix336 ))
       (portRef D (instanceRef reg_current_state6 ))))
     (net nx320 
      (joined 
       (portRef A_OUT (instanceRef ix337 ))
       (portRef D (instanceRef reg_current_state5 ))))
     (net nx321 
      (joined 
       (portRef A_OUT (instanceRef ix338 ))
       (portRef D (instanceRef reg_current_state4 ))))
     (net nx322 
      (joined 
       (portRef A_OUT (instanceRef ix339 ))
       (portRef D (instanceRef reg_current_state3 ))))
     (net nx323 
      (joined 
       (portRef A_OUT (instanceRef ix340 ))
       (portRef D (instanceRef reg_current_state1 ))))
     (net nx324 
      (joined 
       (portRef A_OUT (instanceRef ix341 ))
       (portRef D (instanceRef reg_current_state0 ))))
     (net rk 
      (joined 
       (portRef A_OUT (instanceRef ix330 ))
       (portRef IN1 (instanceRef ix330_lc ))))
     (net wk 
      (joined 
       (portRef A_OUT (instanceRef ix331 ))
       (portRef IN1 (instanceRef ix331_lc ))))
     (net nx314 
      (joined 
       (portRef A_OUT (instanceRef ix332 ))
       (portRef IN1 (instanceRef ix332_lc ))))
     (net nx317 
      (joined 
       (portRef A_OUT (instanceRef ix334 ))
       (portRef IN1 (instanceRef ix334_cas ))))))))
 (design cu_a (cellRef cu_a (libraryRef work ))))