state1.edn

人民邮电出版社<<设计与验证verilog hdl >>一书的配套光盘,包含书上所有原代码,特别是状态机部分,值得学习

(edif state1
  (edifVersion 2 0 0)
  (edifLevel 0)
  (keywordMap (keywordLevel 0))
  (status
    (written
      (timeStamp 2005 12 16 15 1 10)
      (author "Synplicity, Inc.")
      (program "Synplify Pro" (version "8.1.0, Build 532R"))
     )
   )
  (library LUCENT
    (edifLevel 0)
    (technology (numberDefinition ))
    (cell OB (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port I (direction INPUT))
           (port O (direction OUTPUT))
         )
       )
    )
    (cell IB (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port I (direction INPUT))
           (port O (direction OUTPUT))
         )
       )
    )
    (cell FD1S3AX (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port D (direction INPUT))
           (port CK (direction INPUT))
           (port Q (direction OUTPUT))
         )
       )
    )
    (cell ORCALUT4 (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port A (direction INPUT))
           (port B (direction INPUT))
           (port C (direction INPUT))
           (port D (direction INPUT))
           (port Z (direction OUTPUT))
         )
       )
    )
    (cell GSR (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port GSR (direction INPUT))
         )
       )
    )
  )
  (library work
    (edifLevel 0)
    (technology (numberDefinition ))
    (cell state1 (cellType GENERIC)
       (view verilog (viewType NETLIST)
         (interface
           (port nrst (direction INPUT)
 )
           (port clk (direction INPUT)
 )
           (port i1 (direction INPUT)
 )
           (port i2 (direction INPUT)
 )
           (port o1 (direction OUTPUT))
           (port o2 (direction OUTPUT))
           (port err (direction OUTPUT))
         )
         (contents
          (instance err_pad (viewRef PRIM (cellRef OB (libraryRef LUCENT)))          )
          (instance o2_pad (viewRef PRIM (cellRef OB (libraryRef LUCENT)))          )
          (instance o1_pad (viewRef PRIM (cellRef OB (libraryRef LUCENT)))          )
          (instance i2_pad (viewRef PRIM (cellRef IB (libraryRef LUCENT)))          )
          (instance i1_pad (viewRef PRIM (cellRef IB (libraryRef LUCENT)))          )
          (instance clk_pad (viewRef PRIM (cellRef IB (libraryRef LUCENT)))          )
          (instance nrst_pad (viewRef PRIM (cellRef IB (libraryRef LUCENT)))          )
          (instance o2_Q (viewRef PRIM (cellRef FD1S3AX (libraryRef LUCENT)))          )
          (instance o1_Q (viewRef PRIM (cellRef FD1S3AX (libraryRef LUCENT)))          )
          (instance err_Q (viewRef PRIM (cellRef FD1S3AX (libraryRef LUCENT)))          )
          (instance GSR (viewRef PRIM (cellRef GSR (libraryRef LUCENT)))
          )
          (instance N_79_i (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "(!D (!C (B !A)+C (!B !A+B A))+D (!C (!B A+B !A)+C (B+A)))"))
          )
          (instance N_6_i (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "(!D (!C (!B A+B !A)+C (!B+A))+D (!C (!B A)+C (!B !A+B A)))"))
          )
          (instance N_87_i (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "(!D (!C (B !A)+C (!B !A+B A))+D (!C (!B A)+C (B A)))"))
          )
          (net o2_22 (joined
           (portRef Z (instanceRef N_79_i))
           (portRef D (instanceRef o2_Q))
          ))
          (net o1_23 (joined
           (portRef Z (instanceRef N_6_i))
           (portRef D (instanceRef o1_Q))
          ))
          (net N_87_iZ0 (joined
           (portRef Z (instanceRef N_87_i))
           (portRef D (instanceRef err_Q))
          ))
          (net nrst_c (joined
           (portRef O (instanceRef nrst_pad))
           (portRef GSR (instanceRef GSR))
          ))
          (net nrst (joined
           (portRef nrst)
           (portRef I (instanceRef nrst_pad))
          ))
          (net clk_c (joined
           (portRef O (instanceRef clk_pad))
           (portRef CK (instanceRef err_Q))
           (portRef CK (instanceRef o1_Q))
           (portRef CK (instanceRef o2_Q))
          ))
          (net clk (joined
           (portRef clk)
           (portRef I (instanceRef clk_pad))
          ))
          (net i1_c (joined
           (portRef O (instanceRef i1_pad))
           (portRef C (instanceRef N_6_i))
           (portRef C (instanceRef N_79_i))
           (portRef C (instanceRef N_87_i))
          ))
          (net i1 (joined
           (portRef i1)
           (portRef I (instanceRef i1_pad))
          ))
          (net i2_c (joined
           (portRef O (instanceRef i2_pad))
           (portRef D (instanceRef N_6_i))
           (portRef D (instanceRef N_79_i))
           (portRef D (instanceRef N_87_i))
          ))
          (net i2 (joined
           (portRef i2)
           (portRef I (instanceRef i2_pad))
          ))
          (net o1_c (joined
           (portRef Q (instanceRef o1_Q))
           (portRef A (instanceRef N_6_i))
           (portRef A (instanceRef N_79_i))
           (portRef A (instanceRef N_87_i))
           (portRef I (instanceRef o1_pad))
          ))
          (net o1 (joined
           (portRef O (instanceRef o1_pad))
           (portRef o1)
          ))
          (net o2_c (joined
           (portRef Q (instanceRef o2_Q))
           (portRef B (instanceRef N_6_i))
           (portRef B (instanceRef N_79_i))
           (portRef B (instanceRef N_87_i))
           (portRef I (instanceRef o2_pad))
          ))
          (net o2 (joined
           (portRef O (instanceRef o2_pad))
           (portRef o2)
          ))
          (net err_c (joined
           (portRef Q (instanceRef err_Q))
           (portRef I (instanceRef err_pad))
          ))
          (net err (joined
           (portRef O (instanceRef err_pad))
           (portRef err)
          ))
         )
        (property old_syn_reference_clock_1 (string "state1|clk,r=0.000000,f=500.000000,u=0.000000,p=1000.000000,clockgroup=Autoconstr_clkgroup_0,rd=0.000000,fd=0.000000,v=0,gen=1"))
        (property ERROR (integer 4))
        (property S2 (integer 2))
        (property S1 (integer 1))
        (property IDLE (integer 0))
       )
    )
  )
  (design state1 (cellRef state1 (libraryRef work)))
)