(edif dice_game 
 (edifVersion 2 0 0)
 (edifLevel 0)
 (keywordMap (keywordLevel 0))
 (status 
  (written 
   (timestamp 2005 03 29 23 00 37)
   (program "LeonardoSpectrum Level 3" (version "2002b.21"))
   (author "Exemplar Logic Inc")))
 (external PRIMITIVES 
  (edifLevel 0)
  (technology (numberDefinition )))
 (external flex10e 
  (edifLevel 0)
  (technology (numberDefinition ))
  (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 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 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"))))
  (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")))))
 (library work 
  (edifLevel 0)
  (technology (numberDefinition ))
  (cell dice_game (cellType GENERIC)
   (view DiceBehave  (viewType NETLIST)
    (interface 
     (port Rb (direction INPUT))
     (port Reset (direction INPUT))
     (port CLK (direction INPUT))
     (port (array (rename Sum "Sum(3:0)") 4 )(direction INPUT))
     (port Roll (direction OUTPUT))
     (port Win (direction OUTPUT))
     (port Lose (direction OUTPUT)))
    (contents 
     (instance modgen_eq_11_ix14 (viewRef NETLIST  (cellRef LUT (libraryRef flex10e )))
      (property lut_function (string "((IN1 IN2 IN3 IN4)+(IN1 IN2 IN3' IN4')+(IN1' IN2' IN3 IN4)+(IN1' IN2' IN3' IN4'))"))
      (property EXMPLR_DONT_CHANGE (string "")))
     (instance modgen_eq_11_ix16 (viewRef NETLIST  (cellRef LUT (libraryRef flex10e )))
      (property lut_function (string "((IN1 IN2 IN3 IN4)+(IN1 IN2 IN3' IN4')+(IN1' IN2' IN3 IN4)+(IN1' IN2' IN3' IN4'))"))
      (property area_report (string "0"))
      (property area_units (string "LCs"))
      (property EXMPLR_DONT_CHANGE (string "")))
     (instance modgen_eq_11_ix18 (viewRef NETLIST  (cellRef LUT (libraryRef flex10e )))
      (property lut_function (string "((IN1 IN2))"))
      (property EXMPLR_DONT_CHANGE (string "")))
     (instance reg_Point_3 (viewRef NETLIST  (cellRef DFF (libraryRef flex10e ))))
     (instance reg_Point_2 (viewRef NETLIST  (cellRef DFF (libraryRef flex10e ))))
     (instance reg_Point_1 (viewRef NETLIST  (cellRef DFF (libraryRef flex10e ))))
     (instance reg_Point_0 (viewRef NETLIST  (cellRef DFF (libraryRef flex10e ))))
     (instance reg_State_3 (viewRef NETLIST  (cellRef DFF (libraryRef flex10e ))))
     (instance reg_State_1 (viewRef NETLIST  (cellRef DFF (libraryRef flex10e ))))
     (instance reg_State_0 (viewRef NETLIST  (cellRef DFF (libraryRef flex10e ))))
     (instance reg_State_2 (viewRef NETLIST  (cellRef DFF (libraryRef flex10e ))))
     (instance ix455 (viewRef NETLIST  (cellRef VCC (libraryRef flex10e ))))
     (instance ix460 (viewRef NETLIST  (cellRef LUT (libraryRef flex10e )))
      (property lut_function (string "((IN1 IN2))"))
      (property area_report (string "0"))
      (property area_units (string "LCs")))
     (instance ix461 (viewRef NETLIST  (cellRef LUT (libraryRef flex10e )))
      (property lut_function (string "((IN1 IN2))")))
     (instance ix462 (viewRef NETLIST  (cellRef LUT (libraryRef flex10e )))
      (property lut_function (string "((IN3' IN4')+(IN1 IN2 IN3')+(IN1' IN2' IN3'))")))
     (instance ix463 (viewRef NETLIST  (cellRef LUT (libraryRef flex10e )))
      (property lut_function (string "((IN1' IN2)+(IN1 IN2')+(IN1 IN3)+(IN1' IN3')+(IN1 IN4))")))
     (instance ix464 (viewRef NETLIST  (cellRef LUT (libraryRef flex10e )))
      (property lut_function (string "((IN1 IN2 IN3' IN4'))")))
     (instance ix465 (viewRef NETLIST  (cellRef LUT (libraryRef flex10e )))
      (property lut_function (string "((IN1 IN2))")))
     (instance ix466 (viewRef NETLIST  (cellRef LUT (libraryRef flex10e )))
      (property lut_function (string "((IN4')+(IN2' IN3')+(IN1' IN2 IN3))")))
     (instance ix467 (viewRef NETLIST  (cellRef LUT (libraryRef flex10e )))
      (property lut_function (string "((IN3 IN4')+(IN1 IN2 IN3'))")))
     (instance ix468 (viewRef NETLIST  (cellRef LUT (libraryRef flex10e )))
      (property lut_function (string "((IN1 IN2))")))
     (instance ix469 (viewRef NETLIST  (cellRef LUT (libraryRef flex10e )))
      (property lut_function (string "((IN3')+(IN4')+(IN1 IN2)+(IN1' IN2'))")))
     (instance ix470 (viewRef NETLIST  (cellRef LUT (libraryRef flex10e )))
      (property lut_function (string "((IN1 IN3)+(IN2' IN3)+(IN2 IN3' IN4'))")))
     (instance ix471 (viewRef NETLIST  (cellRef LUT (libraryRef flex10e )))
      (property lut_function (string "((IN1' IN2')+(IN1 IN3 IN4'))")))
     (instance ix472 (viewRef NETLIST  (cellRef LUT (libraryRef flex10e )))
      (property lut_function (string "((IN1 IN2))")))
     (instance ix473 (viewRef NETLIST  (cellRef LUT (libraryRef flex10e )))
      (property lut_function (string "((IN1 IN2))")))
     (instance ix474 (viewRef NETLIST  (cellRef LUT (libraryRef flex10e )))
      (property lut_function (string "((IN1 IN2))")))
     (instance ix475 (viewRef NETLIST  (cellRef LUT (libraryRef flex10e )))
      (property lut_function (string "((IN1' IN2))")))
     (instance ix476 (viewRef NETLIST  (cellRef LUT (libraryRef flex10e )))
      (property lut_function (string "((IN1 IN2'))")))
     (instance ix477 (viewRef NETLIST  (cellRef LUT (libraryRef flex10e )))
      (property lut_function (string "((IN1 IN2))")))
     (instance ix478 (viewRef NETLIST  (cellRef LUT (libraryRef flex10e )))
      (property lut_function (string "((IN1' IN2))")))
     (instance ix479 (viewRef NETLIST  (cellRef LUT (libraryRef flex10e )))
      (property lut_function (string "((IN1' IN2)+(IN1' IN3'))")))
     (instance ix480 (viewRef NETLIST  (cellRef LUT (libraryRef flex10e )))
      (property lut_function (string "((IN1 IN2')+(IN1 IN3)+(IN1 IN4))")))
     (instance ix481 (viewRef NETLIST  (cellRef LUT (libraryRef flex10e )))
      (property lut_function (string "((IN1 IN2))")))
     (instance ix482 (viewRef NETLIST  (cellRef LUT (libraryRef flex10e )))
      (property lut_function (string "((IN3)+(IN1' IN2)+(IN2 IN4))")))
     (instance ix483 (viewRef NETLIST  (cellRef LUT (libraryRef flex10e )))
      (property lut_function (string "((IN1')+(IN2' IN3'))")))
     (instance ix484 (viewRef NETLIST  (cellRef LUT (libraryRef flex10e )))
      (property lut_function (string "((IN1 IN2 IN3)+(IN1 IN2 IN4))"))
      (property area_report (string "0"))
      (property area_units (string "LCs")))
     (instance ix485 (viewRef NETLIST  (cellRef LUT (libraryRef flex10e )))
      (property lut_function (string "((IN1' IN2 IN3' IN4'))"))
      (property area_report (string "0"))
      (property area_units (string "LCs")))
     (instance ix486 (viewRef NETLIST  (cellRef LUT (libraryRef flex10e )))
      (property lut_function (string "((IN1' IN2' IN3'))"))
      (property area_report (string "0"))
      (property area_units (string "LCs")))
     (instance ix487 (viewRef NETLIST  (cellRef LUT (libraryRef flex10e )))
      (property lut_function (string "((IN2')+(IN4)+(IN1 IN3'))"))
      (property area_report (string "0"))
      (property area_units (string "LCs")))
     (instance ix488 (viewRef NETLIST  (cellRef LUT (libraryRef flex10e )))
      (property lut_function (string "((IN1' IN2' IN3 IN4'))"))
      (property area_report (string "0"))
      (property area_units (string "LCs")))
     (instance ix489 (viewRef NETLIST  (cellRef LUT (libraryRef flex10e )))
      (property lut_function (string "((IN1 IN2 IN3' IN4))"))
      (property area_report (string "0"))
      (property area_units (string "LCs")))
     (instance ix490 (viewRef NETLIST  (cellRef LUT (libraryRef flex10e )))
      (property lut_function (string "((IN1 IN3')+(IN2' IN3')+(IN3' IN4'))"))
      (property area_report (string "0"))
      (property area_units (string "LCs")))
     (instance ix491 (viewRef NETLIST  (cellRef LUT (libraryRef flex10e )))
      (property lut_function (string "((IN1 IN3')+(IN2 IN3')+(IN3' IN4'))"))
      (property area_report (string "0"))
      (property area_units (string "LCs")))
     (instance ix492 (viewRef NETLIST  (cellRef LUT (libraryRef flex10e )))
      (property lut_function (string "((IN1)+(IN2)+(IN3' IN4))"))
      (property area_report (string "0"))
      (property area_units (string "LCs")))
     (instance ix493 (viewRef NETLIST  (cellRef LUT (libraryRef flex10e )))
      (property lut_function (string "((IN1 IN3)+(IN2 IN3'))"))
      (property area_report (string "0"))
      (property area_units (string "LCs")))
     (instance ix494 (viewRef NETLIST  (cellRef LUT (libraryRef flex10e )))
      (property lut_function (string "((IN1 IN3)+(IN2 IN3'))"))
      (property area_report (string "0"))
      (property area_units (string "LCs")))
     (instance ix495 (viewRef NETLIST  (cellRef LUT (libraryRef flex10e )))
      (property lut_function (string "((IN1 IN3)+(IN2 IN3'))"))
      (property area_report (string "0"))
      (property area_units (string "LCs")))
     (instance ix496 (viewRef NETLIST  (cellRef LUT (libraryRef flex10e )))
      (property lut_function (string "((IN1 IN3)+(IN2 IN3'))"))
      (property area_report (string "0"))
      (property area_units (string "LCs")))
     (instance ix497 (viewRef NETLIST  (cellRef LUT (libraryRef flex10e )))
      (property lut_function (string "((IN1 IN2))"))
      (property area_report (string "0"))
      (property area_units (string "LCs")))
     (instance ix498 (viewRef NETLIST  (cellRef LUT (libraryRef flex10e )))
      (property lut_function (string "((IN1'))")))
     (instance ix499 (viewRef NETLIST  (cellRef LUT (libraryRef flex10e )))
      (property lut_function (string "((IN1' IN2)+(IN1 IN3))"))
      (property area_report (string "0"))
      (property area_units (string "LCs")))
     (instance ix500 (viewRef NETLIST  (cellRef LUT (libraryRef flex10e )))
      (property lut_function (string "((IN1' IN2)+(IN1 IN3))"))
      (property area_report (string "0"))
      (property area_units (string "LCs")))
     (instance ix501 (viewRef NETLIST  (cellRef LUT (libraryRef flex10e )))
      (property lut_function (string "((IN1 IN2 IN4)+(IN2 IN3' IN4))"))
      (property (rename a60 "$use_modgen") (string "false")))
     (instance ix502 (viewRef NETLIST  (cellRef LUT (libraryRef flex10e )))
      (property lut_function (string "((IN1 IN2))")))
     (instance ix503 (viewRef NETLIST  (cellRef LUT (libraryRef flex10e )))
      (property lut_function (string "((IN1 IN2))")))
     (instance modgen_eq_11_ix14_cas (viewRef NETLIST  (cellRef CASCADE (libraryRef flex10e ))))
     (instance modgen_eq_11_ix18_lc (viewRef NETLIST  (cellRef LCELL (libraryRef flex10e ))))
     (instance ix461_lc (viewRef NETLIST  (cellRef LCELL (libraryRef flex10e ))))
     (instance ix462_cas (viewRef NETLIST  (cellRef CASCADE (libraryRef flex10e ))))
     (instance ix462_lc (viewRef NETLIST  (cellRef LCELL (libraryRef flex10e ))))
     (instance ix463_cas (viewRef NETLIST  (cellRef CASCADE (libraryRef flex10e ))))
     (instance ix464_lc (viewRef NETLIST  (cellRef LCELL (libraryRef flex10e ))))
     (instance ix465_lc (viewRef NETLIST  (cellRef LCELL (libraryRef flex10e ))))
     (instance ix466_cas (viewRef NETLIST  (cellRef CASCADE (libraryRef flex10e ))))
     (instance ix467_lc (viewRef NETLIST  (cellRef LCELL (libraryRef flex10e ))))
     (instance ix468_lc (viewRef NETLIST  (cellRef LCELL (libraryRef flex10e ))))
     (instance ix469_lc (viewRef NETLIST  (cellRef LCELL (libraryRef flex10e ))))
     (instance ix470_lc (viewRef NETLIST  (cellRef LCELL (libraryRef flex10e ))))
     (instance ix471_lc (viewRef NETLIST  (cellRef LCELL (libraryRef flex10e ))))
     (instance ix472_lc (viewRef NETLIST  (cellRef LCELL (libraryRef flex10e ))))
     (instance ix473_cas (viewRef NETLIST  (cellRef CASCADE (libraryRef flex10e ))))
     (instance ix474_lc (viewRef NETLIST  (cellRef LCELL (libraryRef flex10e ))))
     (instance ix475_lc (viewRef NETLIST  (cellRef LCELL (libraryRef flex10e ))))
     (instance ix476_cas (viewRef NETLIST  (cellRef CASCADE (libraryRef flex10e ))))
     (instance ix477_lc (viewRef NETLIST  (cellRef LCELL (libraryRef flex10e ))))
     (instance ix478_cas (viewRef NETLIST  (cellRef CASCADE (libraryRef flex10e ))))
     (instance ix479_lc (viewRef NETLIST  (cellRef LCELL (libraryRef flex10e ))))
     (instance ix480_lc (viewRef NETLIST  (cellRef LCELL (libraryRef flex10e ))))
     (instance ix481_cas (viewRef NETLIST  (cellRef CASCADE (libraryRef flex10e ))))
     (instance ix481_lc (viewRef NETLIST  (cellRef LCELL (libraryRef flex10e ))))
     (instance ix482_cas (viewRef NETLIST  (cellRef CASCADE (libraryRef flex10e ))))
     (instance ix483_cas (viewRef NETLIST  (cellRef CASCADE (libraryRef flex10e ))))
     (instance ix501_lc (viewRef NETLIST  (cellRef LCELL (libraryRef flex10e ))))
     (instance ix502_lc (viewRef NETLIST  (cellRef LCELL (libraryRef flex10e ))))
     (instance ix503_lc (viewRef NETLIST  (cellRef LCELL (libraryRef flex10e ))))
     (net Reset 
      (joined 
       (portRef Reset )
       (portRef IN1 (instanceRef ix467 ))
       (portRef IN1 (instanceRef ix470 ))
       (portRef IN1 (instanceRef ix482 ))
       (portRef IN1 (instanceRef ix491 ))))
     (net CLK 
      (joined 
       (portRef CLK )
       (portRef CLK (instanceRef reg_Point_3 ))
       (portRef CLK (instanceRef reg_Point_2 ))
       (portRef CLK (instanceRef reg_Point_1 ))
       (portRef CLK (instanceRef reg_Point_0 ))
       (portRef CLK (instanceRef reg_State_3 ))
       (portRef CLK (instanceRef reg_State_1 ))
       (portRef CLK (instanceRef reg_State_0 ))
       (portRef CLK (instanceRef reg_State_2 ))))
     (net Sum_3 
      (joined 
       (portRef (member Sum 0))
       (portRef IN1 (instanceRef modgen_eq_11_ix14 ))
       (portRef IN1 (instanceRef ix462 ))
       (portRef IN1 (instanceRef ix463 ))
       (portRef IN1 (instanceRef ix464 ))
       (portRef IN1 (instanceRef ix469 ))
       (portRef IN1 (instanceRef ix478 ))
       (portRef IN1 (instanceRef ix479 ))
       (portRef IN1 (instanceRef ix480 ))
       (portRef IN1 (instanceRef ix485 ))
       (portRef IN1 (instanceRef ix488 ))
       (portRef IN1 (instanceRef ix493 ))))
     (net Sum_2 
      (joined 
       (portRef (member Sum 1))
       (portRef IN3 (instanceRef modgen_eq_11_ix14 ))
       (portRef IN2 (instanceRef ix462 ))
       (portRef IN2 (instanceRef ix463 ))
       (portRef IN2 (instanceRef ix464 ))
       (portRef IN2 (instanceRef ix469 ))
       (portRef IN2 (instanceRef ix478 ))
       (portRef IN2 (instanceRef ix479 ))
       (portRef IN2 (instanceRef ix480 ))
       (portRef IN2 (instanceRef ix485 ))
       (portRef IN2 (instanceRef ix488 ))
       (portRef IN1 (instanceRef ix494 ))))
     (net Sum_1 
      (joined 
       (portRef (member Sum 2))
       (portRef IN1 (instanceRef modgen_eq_11_ix16 ))
       (portRef IN3 (instanceRef ix463 ))
       (portRef IN3 (instanceRef ix464 ))
       (portRef IN3 (instanceRef ix469 ))
       (portRef IN3 (instanceRef ix479 ))
       (portRef IN3 (instanceRef ix480 ))
       (portRef IN1 (instanceRef ix481 ))
       (portRef IN3 (instanceRef ix488 ))
       (portRef IN1 (instanceRef ix495 ))))
     (net Sum_0 
      (joined 
       (portRef (member Sum 3))
       (portRef IN3 (instanceRef modgen_eq_11_ix16 ))
       (portRef IN4 (instanceRef ix463 ))
       (portRef IN4 (instanceRef ix464 ))
       (portRef IN4 (instanceRef ix469 ))
       (portRef IN4 (instanceRef ix480 ))
       (portRef IN2 (instanceRef ix481 ))
       (portRef IN1 (instanceRef ix496 ))))
     (net a_0_lc 
      (joined 
       (portRef Y (instanceRef modgen_eq_11_ix18_lc ))
       (portRef IN3 (instanceRef ix471 ))
       (portRef IN2 (instanceRef ix483 ))
       (portRef IN3 (instanceRef ix485 ))
       (portRef IN3 (instanceRef ix489 ))))
     (net Rb 
      (joined 
       (portRef Rb )
       (portRef IN3 (instanceRef ix462 ))
       (portRef IN4 (instanceRef ix466 ))
       (portRef IN4 (instanceRef ix467 ))
       (portRef IN4 (instanceRef ix471 ))
       (portRef IN3 (instanceRef ix483 ))
       (portRef IN4 (instanceRef ix485 ))
       (portRef IN3 (instanceRef ix486 ))
       (portRef IN3 (instanceRef ix492 ))
       (portRef IN4 (instanceRef ix501 ))))
     (net modgen_eq_11_nx13_cas 
      (joined 
       (portRef Y (instanceRef modgen_eq_11_ix14_cas ))
       (portRef IN1 (instanceRef modgen_eq_11_ix18 ))))
     (net modgen_eq_11_nx15 
      (joined 
       (portRef A_OUT (instanceRef modgen_eq_11_ix16 ))
       (portRef IN2 (instanceRef modgen_eq_11_ix18 ))))
     (net Point_3 
      (joined 
       (portRef Q (instanceRef reg_Point_3 ))
       (portRef IN2 (instanceRef modgen_eq_11_ix14 ))
       (portRef IN2 (instanceRef ix493 ))))
     (net Point_2 
      (joined 
       (portRef Q (instanceRef reg_Point_2 ))
       (portRef IN4 (instanceRef modgen_eq_11_ix14 ))
       (portRef IN2 (instanceRef ix494 ))))
     (net Point_1 
      (joined 
       (portRef Q (instanceRef reg_Point_1 ))
       (portRef IN2 (instanceRef modgen_eq_11_ix16 ))
       (portRef IN2 (instanceRef ix495 ))))
     (net Point_0 
      (joined 
       (portRef Q (instanceRef reg_Point_0 ))
       (portRef IN4 (instanceRef modgen_eq_11_ix16 ))
       (portRef IN2 (instanceRef ix496 ))))
     (net State_3 
      (joined 
       (portRef Q (instanceRef reg_State_3 ))
       (portRef IN1 (instanceRef ix466 ))
       (portRef IN2 (instanceRef ix467 ))
       (portRef IN1 (instanceRef ix475 ))
       (portRef IN2 (instanceRef ix482 ))
       (portRef IN1 (instanceRef ix483 ))
       (portRef IN1 (instanceRef ix486 ))
       (portRef IN1 (instanceRef ix487 ))
       (portRef IN4 (instanceRef ix488 ))
       (portRef IN1 (instanceRef ix489 ))
       (portRef IN2 (instanceRef ix491 ))
       (portRef IN1 (instanceRef ix492 ))
       (portRef IN1 (instanceRef ix500 ))
       (portRef IN1 (instanceRef ix501 ))
       (portRef IN1 (instanceRef ix502 ))))
     (net State_1 
      (joined 
       (portRef Q (instanceRef reg_State_1 ))
       (portRef IN3 (instanceRef ix466 ))
       (portRef IN3 (instanceRef ix467 ))
       (portRef IN3 (instanceRef ix470 ))
       (portRef IN2 (instanceRef ix471 ))
       (portRef IN2 (instanceRef ix476 ))
       (portRef IN4 (instanceRef ix482 ))
       (portRef IN2 (instanceRef ix486 ))
       (portRef IN1 (instanceRef ix490 ))
       (portRef IN2 (instanceRef ix492 ))
       (portRef IN3 (instanceRef ix501 ))
       (portRef IN2 (instanceRef ix503 ))))
     (net State_0 
      (joined 
       (portRef Q (instanceRef reg_State_0 ))
       (portRef IN2 (instanceRef ix484 ))
       (portRef IN2 (instanceRef ix502 ))))
     (net State_2 
      (joined 
       (portRef Q (instanceRef reg_State_2 ))
       (portRef IN1 (instanceRef ix498 ))))
     (net nx425 
      (joined 
       (portRef Y (instanceRef ix455 ))
       (portRef CLRN (instanceRef reg_Point_3 ))
       (portRef PRN (instanceRef reg_Point_3 ))
       (portRef CLRN (instanceRef reg_Point_2 ))
       (portRef PRN (instanceRef reg_Point_2 ))
       (portRef CLRN (instanceRef reg_Point_1 ))
       (portRef PRN (instanceRef reg_Point_1 ))
       (portRef CLRN (instanceRef reg_Point_0 ))
       (portRef PRN (instanceRef reg_Point_0 ))
       (portRef CLRN (instanceRef reg_State_3 ))
       (portRef PRN (instanceRef reg_State_3 ))
       (portRef CLRN (instanceRef reg_State_1 ))
       (portRef PRN (instanceRef reg_State_1 ))
       (portRef CLRN (instanceRef reg_State_0 ))
       (portRef PRN (instanceRef reg_State_0 ))
       (portRef CLRN (instanceRef reg_State_2 ))
       (portRef PRN (instanceRef reg_State_2 ))))
     (net NOT_Nextstate_2 
      (joined 
       (portRef A_OUT (instanceRef ix460 ))
       (portRef D (instanceRef reg_State_2 ))))
     (net Sp_lc 
      (joined 
       (portRef Y (instanceRef ix461_lc ))
       (portRef IN3 (instanceRef ix493 ))
       (portRef IN3 (instanceRef ix494 ))
       (portRef IN3 (instanceRef ix495 ))
       (portRef IN3 (instanceRef ix496 ))))
     (net NOT_nx184_cas 
      (joined 
       (portRef Y (instanceRef ix462_cas ))
       (portRef IN1 (instanceRef ix461 ))))
     (net nx416_cas 
      (joined 
       (portRef Y (instanceRef ix463_cas ))
       (portRef IN1 (instanceRef ix477 ))))
     (net nx417_lc 
      (joined 
       (portRef Y (instanceRef ix464_lc ))
       (portRef IN2 (instanceRef ix490 ))))
     (net nx418_lc 
      (joined 
       (portRef Y (instanceRef ix465_lc ))
       (portRef IN3 (instanceRef ix491 ))))
     (net nx419_cas 
      (joined 
       (portRef Y (instanceRef ix466_cas ))
       (portRef IN1 (instanceRef ix473 ))))
     (net nx420_lc 
      (joined 
       (portRef Y (instanceRef ix467_lc ))
       (portRef IN2 (instanceRef ix499 ))))
     (net nx421_lc 
      (joined 
       (portRef Y (instanceRef ix468_lc ))
       (portRef IN3 (instanceRef ix499 ))))
     (net nx422_lc 
      (joined 
       (portRef Y (instanceRef ix469_lc ))
       (portRef IN4 (instanceRef ix492 ))))
     (net nx423_lc 
      (joined 
       (portRef Y (instanceRef ix470_lc ))
       (portRef IN2 (instanceRef ix500 ))))
     (net nx424_lc 
      (joined 
       (portRef Y (instanceRef ix471_lc ))
       (portRef IN3 (instanceRef ix500 ))))
     (net nx426_lc 
      (joined 
       (portRef Y (instanceRef ix472_lc ))
       (portRef IN3 (instanceRef ix487 ))))
     (net nx427_cas 
      (joined 
       (portRef Y (instanceRef ix473_cas ))
       (portRef IN1 (instanceRef ix460 ))))
     (net nx428_lc 
      (joined 
       (portRef Y (instanceRef ix474_lc ))
       (portRef IN3 (instanceRef ix490 ))))
     (net nx429_lc 
      (joined 
       (portRef Y (instanceRef ix475_lc ))
       (portRef IN4 (instanceRef ix490 ))))
     (net nx430_cas 
      (joined 
       (portRef Y (instanceRef ix476_cas ))
       (portRef IN1 (instanceRef ix465 ))))
     (net nx431_lc 
      (joined 
       (portRef Y (instanceRef ix477_lc ))
       (portRef IN4 (instanceRef ix487 ))))
     (net nx432_cas 
      (joined 
       (portRef Y (instanceRef ix478_cas ))
       (portRef IN1 (instanceRef ix474 ))))
     (net nx433_lc 
      (joined 
       (portRef Y (instanceRef ix479_lc ))
       (portRef IN3 (instanceRef ix484 ))))
     (net nx434_lc 
      (joined 
       (portRef Y (instanceRef ix480_lc ))
       (portRef IN4 (instanceRef ix484 ))))
     (net nx435_cas 
      (joined 
       (portRef Y (instanceRef ix481_cas ))
       (portRef IN1 (instanceRef ix472 ))))
     (net nx436_cas 
      (joined 
       (portRef Y (instanceRef ix482_cas ))
       (portRef IN1 (instanceRef ix497 ))))
     (net nx437_cas 
      (joined 
       (portRef Y (instanceRef ix483_cas ))
       (portRef IN1 (instanceRef ix468 ))))
     (net nx438 
      (joined 
       (portRef A_OUT (instanceRef ix484 ))
       (portRef IN2 (instanceRef ix461 ))))
     (net nx439 
      (joined 
       (portRef A_OUT (instanceRef ix485 ))
       (portRef IN2 (instanceRef ix472 ))))
     (net nx440 
      (joined 
       (portRef A_OUT (instanceRef ix486 ))
       (portRef IN2 (instanceRef ix477 ))))
     (net nx441 
      (joined 
       (portRef A_OUT (instanceRef ix487 ))
       (portRef IN2 (instanceRef ix497 ))))
     (net nx442 
      (joined 
       (portRef A_OUT (instanceRef ix488 ))
       (portRef IN2 (instanceRef ix465 ))))
     (net nx443 
      (joined 
       (portRef A_OUT (instanceRef ix489 ))
       (portRef IN2 (instanceRef ix474 ))))
     (net nx444 
      (joined 
       (portRef A_OUT (instanceRef ix490 ))
       (portRef IN2 (instanceRef ix473 ))))
     (net nx445 
      (joined 
       (portRef A_OUT (instanceRef ix491 ))
       (portRef IN2 (instanceRef ix460 ))))
     (net nx446 
      (joined 
       (portRef A_OUT (instanceRef ix492 ))
       (portRef IN2 (instanceRef ix468 ))))
     (net nx447 
      (joined 
       (portRef A_OUT (instanceRef ix493 ))
       (portRef D (instanceRef reg_Point_3 ))))
     (net nx448 
      (joined 
       (portRef A_OUT (instanceRef ix494 ))
       (portRef D (instanceRef reg_Point_2 ))))
     (net nx449 
      (joined 
       (portRef A_OUT (instanceRef ix495 ))
       (portRef D (instanceRef reg_Point_1 ))))
     (net nx450 
      (joined 
       (portRef A_OUT (instanceRef ix496 ))
       (portRef D (instanceRef reg_Point_0 ))))
     (net nx451 
      (joined 
       (portRef A_OUT (instanceRef ix497 ))
       (portRef D (instanceRef reg_State_3 ))))
     (net nx452 
      (joined 
       (portRef A_OUT (instanceRef ix498 ))
       (portRef IN2 (instanceRef ix466 ))
       (portRef IN2 (instanceRef ix470 ))
       (portRef IN1 (instanceRef ix471 ))
       (portRef IN2 (instanceRef ix475 ))
       (portRef IN1 (instanceRef ix476 ))
       (portRef IN3 (instanceRef ix482 ))
       (portRef IN1 (instanceRef ix484 ))
       (portRef IN2 (instanceRef ix487 ))
       (portRef IN2 (instanceRef ix489 ))
       (portRef IN1 (instanceRef ix499 ))
       (portRef IN2 (instanceRef ix501 ))
       (portRef IN1 (instanceRef ix503 ))))
     (net nx453 
      (joined 
       (portRef A_OUT (instanceRef ix499 ))
       (portRef D (instanceRef reg_State_1 ))))
     (net nx454 
      (joined 
       (portRef A_OUT (instanceRef ix500 ))
       (portRef D (instanceRef reg_State_0 ))))
     (net Roll_lc 
      (joined 
       (portRef Roll )
       (portRef Y (instanceRef ix501_lc ))))
     (net Win_lc 
      (joined 
       (portRef Win )
       (portRef Y (instanceRef ix502_lc ))))
     (net Lose_lc 
      (joined 
       (portRef Lose )
       (portRef Y (instanceRef ix503_lc ))
       (portRef IN4 (instanceRef ix491 ))))
     (net modgen_eq_11_nx13 
      (joined 
       (portRef A_OUT (instanceRef modgen_eq_11_ix14 ))
       (portRef IN1 (instanceRef modgen_eq_11_ix14_cas ))))
     (net a_0 
      (joined 
       (portRef A_OUT (instanceRef modgen_eq_11_ix18 ))
       (portRef IN1 (instanceRef modgen_eq_11_ix18_lc ))))
     (net Sp 
      (joined 
       (portRef A_OUT (instanceRef ix461 ))
       (portRef IN1 (instanceRef ix461_lc ))))
     (net NOT_nx184_lc 
      (joined 
       (portRef Y (instanceRef ix462_lc ))
       (portRef IN4 (instanceRef ix470 ))))
     (net NOT_nx184 
      (joined 
       (portRef A_OUT (instanceRef ix462 ))
       (portRef IN1 (instanceRef ix462_lc ))
       (portRef IN1 (instanceRef ix462_cas ))))
     (net nx416 
      (joined 
       (portRef A_OUT (instanceRef ix463 ))
       (portRef IN1 (instanceRef ix463_cas ))))
     (net nx417 
      (joined 
       (portRef A_OUT (instanceRef ix464 ))
       (portRef IN1 (instanceRef ix464_lc ))))
     (net nx418 
      (joined 
       (portRef A_OUT (instanceRef ix465 ))
       (portRef IN1 (instanceRef ix465_lc ))))
     (net nx419 
      (joined 
       (portRef A_OUT (instanceRef ix466 ))
       (portRef IN1 (instanceRef ix466_cas ))))
     (net nx420 
      (joined 
       (portRef A_OUT (instanceRef ix467 ))
       (portRef IN1 (instanceRef ix467_lc ))))
     (net nx421 
      (joined 
       (portRef A_OUT (instanceRef ix468 ))
       (portRef IN1 (instanceRef ix468_lc ))))
     (net nx422 
      (joined 
       (portRef A_OUT (instanceRef ix469 ))
       (portRef IN1 (instanceRef ix469_lc ))))
     (net nx423 
      (joined 
       (portRef A_OUT (instanceRef ix470 ))
       (portRef IN1 (instanceRef ix470_lc ))))
     (net nx424 
      (joined 
       (portRef A_OUT (instanceRef ix471 ))
       (portRef IN1 (instanceRef ix471_lc ))))
     (net nx426 
      (joined 
       (portRef A_OUT (instanceRef ix472 ))
       (portRef IN1 (instanceRef ix472_lc ))))
     (net nx427 
      (joined 
       (portRef A_OUT (instanceRef ix473 ))
       (portRef IN1 (instanceRef ix473_cas ))))
     (net nx428 
      (joined 
       (portRef A_OUT (instanceRef ix474 ))
       (portRef IN1 (instanceRef ix474_lc ))))
     (net nx429 
      (joined 
       (portRef A_OUT (instanceRef ix475 ))
       (portRef IN1 (instanceRef ix475_lc ))))
     (net nx430 
      (joined 
       (portRef A_OUT (instanceRef ix476 ))
       (portRef IN1 (instanceRef ix476_cas ))))
     (net nx431 
      (joined 
       (portRef A_OUT (instanceRef ix477 ))
       (portRef IN1 (instanceRef ix477_lc ))))
     (net nx432 
      (joined 
       (portRef A_OUT (instanceRef ix478 ))
       (portRef IN1 (instanceRef ix478_cas ))))
     (net nx433 
      (joined 
       (portRef A_OUT (instanceRef ix479 ))
       (portRef IN1 (instanceRef ix479_lc ))))
     (net nx434 
      (joined 
       (portRef A_OUT (instanceRef ix480 ))
       (portRef IN1 (instanceRef ix480_lc ))))
     (net nx435_lc 
      (joined 
       (portRef Y (instanceRef ix481_lc ))
       (portRef IN4 (instanceRef ix462 ))
       (portRef IN4 (instanceRef ix489 ))))
     (net nx435 
      (joined 
       (portRef A_OUT (instanceRef ix481 ))
       (portRef IN1 (instanceRef ix481_lc ))
       (portRef IN1 (instanceRef ix481_cas ))))
     (net nx436 
      (joined 
       (portRef A_OUT (instanceRef ix482 ))
       (portRef IN1 (instanceRef ix482_cas ))))
     (net nx437 
      (joined 
       (portRef A_OUT (instanceRef ix483 ))
       (portRef IN1 (instanceRef ix483_cas ))))
     (net Roll 
      (joined 
       (portRef A_OUT (instanceRef ix501 ))
       (portRef IN1 (instanceRef ix501_lc ))))
     (net Win 
      (joined 
       (portRef A_OUT (instanceRef ix502 ))
       (portRef IN1 (instanceRef ix502_lc ))))
     (net Lose 
      (joined 
       (portRef A_OUT (instanceRef ix503 ))
       (portRef IN1 (instanceRef ix503_lc ))))))))
 (design dice_game (cellRef dice_game (libraryRef work ))))