counter.rpt

1．初始状态为4个方向的红灯全亮

-- Node name is ':31' = 'light5' 
-- Equation name is 'light5', location is LC3_C24, type is buried.
light5   = DFFE( _EQ016, GLOBAL( CLK),  VCC,  VCC,  VCC);
  _EQ016 = !_LC1_C8 &  _LC1_C24 & !_LC6_C24
         #  _LC1_C14;

-- Node name is 'LOput0' 
-- Equation name is 'LOput0', type is output 
LOput0   =  Loutput0;

-- Node name is 'LOput1' 
-- Equation name is 'LOput1', type is output 
LOput1   =  Loutput1;

-- Node name is 'LOput2' 
-- Equation name is 'LOput2', type is output 
LOput2   =  Loutput2;

-- Node name is 'LOput3' 
-- Equation name is 'LOput3', type is output 
LOput3   =  Loutput3;

-- Node name is ':30' = 'Loutput0' 
-- Equation name is 'Loutput0', location is LC7_C17, type is buried.
Loutput0 = DFFE( _EQ017, GLOBAL( CLK),  VCC,  VCC,  VCC);
  _EQ017 = !count0 & !_LC7_C20
         # !count0 &  _LC8_C17
         #  _LC7_C20 &  _LC8_C17;

-- Node name is ':29' = 'Loutput1' 
-- Equation name is 'Loutput1', location is LC7_C16, type is buried.
Loutput1 = DFFE( _EQ018, GLOBAL( CLK),  VCC,  VCC,  VCC);
  _EQ018 =  _LC2_C16 &  _LC3_C14 & !_LC5_C19
         #  _LC3_C14 & !_LC5_C19 &  _LC8_C16;

-- Node name is ':28' = 'Loutput2' 
-- Equation name is 'Loutput2', location is LC3_C19, type is buried.
Loutput2 = DFFE( _EQ019, GLOBAL( CLK),  VCC,  VCC,  VCC);
  _EQ019 =  _LC3_C14 &  _LC4_C19 & !_LC5_C19
         #  _LC2_C21 &  _LC3_C14 & !_LC5_C19;

-- Node name is ':27' = 'Loutput3' 
-- Equation name is 'Loutput3', location is LC1_C19, type is buried.
Loutput3 = DFFE( _EQ020, GLOBAL( CLK),  VCC,  VCC,  VCC);
  _EQ020 =  _LC3_C14 &  _LC5_C15 & !_LC8_C19
         #  _LC3_C14 &  _LC5_C19;

-- Node name is '|LPM_ADD_SUB:1000|addcore:adder|:63' from file "addcore.tdf" line 312, column 64
-- Equation name is '_LC2_C4', type is buried 
_LC2_C4  = LCELL( _EQ021);
  _EQ021 =  count0 &  count1;

-- Node name is '|LPM_ADD_SUB:1000|addcore:adder|:67' from file "addcore.tdf" line 312, column 64
-- Equation name is '_LC5_C3', type is buried 
_LC5_C3  = LCELL( _EQ022);
  _EQ022 =  count2 &  _LC2_C4;

-- Node name is '|LPM_ADD_SUB:1000|addcore:adder|:71' from file "addcore.tdf" line 312, column 64
-- Equation name is '_LC1_C3', type is buried 
_LC1_C3  = LCELL( _EQ023);
  _EQ023 =  count3 &  _LC5_C3;

-- Node name is ':1028' 
-- Equation name is '_LC2_C7', type is buried 
_LC2_C7  = LCELL( _EQ024);
  _EQ024 =  count4 & !_LC1_C3
         # !count4 & !emergency &  _LC1_C3
         #  count4 &  emergency;

-- Node name is ':1034' 
-- Equation name is '_LC8_C3', type is buried 
_LC8_C3  = LCELL( _EQ025);
  _EQ025 =  count3 & !_LC5_C3
         # !count3 & !emergency &  _LC5_C3
         #  count3 &  emergency;

-- Node name is ':1040' 
-- Equation name is '_LC5_C11', type is buried 
_LC5_C11 = LCELL( _EQ026);
  _EQ026 =  count2 & !_LC2_C4
         # !count2 & !emergency &  _LC2_C4
         #  count2 &  emergency;

-- Node name is '~1061~1' 
-- Equation name is '~1061~1', location is LC7_C20, type is buried.
-- synthesized logic cell 
_LC7_C20 = LCELL( _EQ027);
  _EQ027 =  count5
         #  count4
         #  count2
         #  count3;

-- Node name is ':1061' 
-- Equation name is '_LC1_C20', type is buried 
!_LC1_C20 = _LC1_C20~NOT;
_LC1_C20~NOT = LCELL( _EQ028);
  _EQ028 = !_LC4_C1
         #  _LC7_C20;

-- Node name is ':1074' 
-- Equation name is '_LC6_C20', type is buried 
!_LC6_C20 = _LC6_C20~NOT;
_LC6_C20~NOT = LCELL( _EQ029);
  _EQ029 =  _LC7_C20
         #  count1
         # !count0;

-- Node name is '~1113~1' 
-- Equation name is '~1113~1', location is LC2_C20, type is buried.
-- synthesized logic cell 
!_LC2_C20 = _LC2_C20~NOT;
_LC2_C20~NOT = LCELL( _EQ030);
  _EQ030 =  count2 & !count3 & !count4 & !count5;

-- Node name is '~1152~1' 
-- Equation name is '~1152~1', location is LC3_C3, type is buried.
-- synthesized logic cell 
!_LC3_C3 = _LC3_C3~NOT;
_LC3_C3~NOT = LCELL( _EQ031);
  _EQ031 = !count3 & !count4 &  _LC5_C3;

-- Node name is ':1152' 
-- Equation name is '_LC2_C19', type is buried 
!_LC2_C19 = _LC2_C19~NOT;
_LC2_C19~NOT = LCELL( _EQ032);
  _EQ032 =  _LC3_C3
         #  count5;

-- Node name is '~1204~1' 
-- Equation name is '~1204~1', location is LC4_C23, type is buried.
-- synthesized logic cell 
_LC4_C23 = LCELL( _EQ033);
  _EQ033 =  count4
         # !count3
         #  count2
         #  count5;

-- Node name is '~1243~1' 
-- Equation name is '~1243~1', location is LC8_C23, type is buried.
-- synthesized logic cell 
!_LC8_C23 = _LC8_C23~NOT;
_LC8_C23~NOT = LCELL( _EQ034);
  _EQ034 =  count2 &  count3 & !count4 & !count5;

-- Node name is ':1243' 
-- Equation name is '_LC3_C23', type is buried 
_LC3_C23 = LCELL( _EQ035);
  _EQ035 = !count0 &  count1 & !_LC8_C23;

-- Node name is '~1308~1' 
-- Equation name is '~1308~1', location is LC5_C2, type is buried.
-- synthesized logic cell 
_LC5_C2  = LCELL( _EQ036);
  _EQ036 =  count2
         #  count3
         # !count4
         #  count5;

-- Node name is '~1321~1' 
-- Equation name is '~1321~1', location is LC4_C3, type is buried.
-- synthesized logic cell 
!_LC4_C3 = _LC4_C3~NOT;
_LC4_C3~NOT = LCELL( _EQ037);
  _EQ037 =  count2 & !count3 &  count4 & !count5;

-- Node name is ':1360' 
-- Equation name is '_LC6_C3', type is buried 
!_LC6_C3 = _LC6_C3~NOT;
_LC6_C3~NOT = LCELL( _EQ038);
  _EQ038 =  count3
         # !_LC5_C3
         #  count5
         # !count4;

-- Node name is '~1373~1' 
-- Equation name is '~1373~1', location is LC5_C20, type is buried.
-- synthesized logic cell 
_LC5_C20 = LCELL( _EQ039);
  _EQ039 =  count5
         # !count4
         # !count3
         #  count2;

-- Node name is '~1425~1' 
-- Equation name is '~1425~1', location is LC3_C21, type is buried.
-- synthesized logic cell 
!_LC3_C21 = _LC3_C21~NOT;
_LC3_C21~NOT = LCELL( _EQ040);
  _EQ040 =  count2 &  count3 &  count4 & !count5;

-- Node name is ':1451' 
-- Equation name is '_LC8_C21', type is buried 
!_LC8_C21 = _LC8_C21~NOT;
_LC8_C21~NOT = LCELL( _EQ041);
  _EQ041 = !count1
         #  count0
         #  _LC3_C21;

-- Node name is '~1503~1' 
-- Equation name is '~1503~1', location is LC4_C21, type is buried.
-- synthesized logic cell 
_LC4_C21 = LCELL( _EQ042);
  _EQ042 = !count5
         #  count4
         #  count2
         #  count3;

-- Node name is '~1529~1' 
-- Equation name is '~1529~1', location is LC4_C20, type is buried.
-- synthesized logic cell 
_LC4_C20 = LCELL( _EQ043);
  _EQ043 = !count2
         #  count3
         #  count4
         # !count5;

-- Node name is '~1620~1' 
-- Equation name is '~1620~1', location is LC4_C9, type is buried.
-- synthesized logic cell 
!_LC4_C9 = _LC4_C9~NOT;
_LC4_C9~NOT = LCELL( _EQ044);
  _EQ044 = !count2 &  count3 & !count4 &  count5;

-- Node name is '~1659~1' 
-- Equation name is '~1659~1', location is LC3_C6, type is buried.
-- synthesized logic cell 
_LC3_C6  = LCELL( _EQ045);
  _EQ045 =  count4
         # !count3
         # !count2
         # !count5;

-- Node name is ':1672' 
-- Equation name is '_LC8_C6', type is buried 
_LC8_C6  = LCELL( _EQ046);
  _EQ046 = !count4 &  count5 &  _LC1_C3;

-- Node name is '~1711~1' 
-- Equation name is '~1711~1', location is LC7_C23, type is buried.
-- synthesized logic cell 
_LC7_C23 = LCELL( _EQ047);
  _EQ047 = !count1
         #  count0;

-- Node name is '~1724~1' 
-- Equation name is '~1724~1', location is LC4_C6, type is buried.
-- synthesized logic cell 
_LC4_C6  = LCELL( _EQ048);
  _EQ048 = !count5
         # !count4
         #  count2
         #  count3;

-- Node name is '~1737~1' 
-- Equation name is '~1737~1', location is LC1_C2, type is buried.
-- synthesized logic cell 
_LC1_C2  = LCELL( _EQ049);
  _EQ049 = !count2
         #  count3
         # !count5
         # !count4;

-- Node name is '~3247~1' 
-- Equation name is '~3247~1', location is LC6_C10, type is buried.
-- synthesized logic cell 
_LC6_C10 = LCELL( _EQ050);
  _EQ050 = !count4 & !_LC1_C8
         # !_LC1_C3 & !_LC1_C8
         #  count5 & !_LC1_C8;

-- Node name is '~3247~2' 
-- Equation name is '~3247~2', location is LC6_C5, type is buried.
-- synthesized logic cell 
_LC6_C5  = LCELL( _EQ051);
  _EQ051 =  count1
         #  _LC1_C2;

-- Node name is '~3247~3' 
-- Equation name is '~3247~3', location is LC7_C21, type is buried.
-- synthesized logic cell 
_LC7_C21 = LCELL( _EQ052);
  _EQ052 =  count0 &  count1
         #  count1 &  _LC4_C21
         #  _LC3_C21 &  _LC4_C21
         # !count0 & !count1 &  _LC3_C21;

-- Node name is '~3247~4' 
-- Equation name is '~3247~4', location is LC3_C15, type is buried.
-- synthesized logic cell 
!_LC3_C15 = _LC3_C15~NOT;
_LC3_C15~NOT = LCELL( _EQ053);
  _EQ053 =  _LC1_C23
         #  _LC4_C15
         # !_LC6_C15
         #  _LC2_C23;

-- Node name is '~3247~5' 
-- Equation name is '~3247~5', location is LC6_C18, type is buried.
-- synthesized logic cell 
_LC6_C18 = LCELL( _EQ054);
  _EQ054 =  _LC7_C21 &  _LC8_C20 & !_LC8_C21;

-- Node name is '~3247~6' 
-- Equation name is '~3247~6', location is LC8_C18, type is buried.
-- synthesized logic cell 
_LC8_C18 = LCELL( _EQ055);
  _EQ055 =  _LC6_C10 &  _LC6_C18 & !_LC7_C3;

-- Node name is '~3247~7' 
-- Equation name is '~3247~7', location is LC2_C18, type is buried.
-- synthesized logic cell 
_LC2_C18 = LCELL( _EQ056);
  _EQ056 =  _LC3_C9 &  _LC3_C15 & !_LC5_C8 &  _LC8_C18;

-- Node name is '~3275~1' 
-- Equation name is '~3275~1', location is LC5_C19, type is buried.
-- synthesized logic cell 
!_LC5_C19 = _LC5_C19~NOT;
_LC5_C19~NOT = LCELL( _EQ057);
  _EQ057 = !count1
         #  _LC7_C20;

-- Node name is '~3275~2' 
-- Equation name is '~3275~2', location is LC6_C23, type is buried.