settime.rpt

Traffic light written with Verilog

-- Equation name is 't_sec1', type is output 
t_sec1   =  _LC6_I4;

-- Node name is 't_sec2' 
-- Equation name is 't_sec2', type is output 
t_sec2   =  _LC7_I16;

-- Node name is 't_sec3' 
-- Equation name is 't_sec3', type is output 
t_sec3   =  _LC1_I16;

-- Node name is 't_sec4' 
-- Equation name is 't_sec4', type is output 
t_sec4   =  _LC6_D24;

-- Node name is 't_sec5' 
-- Equation name is 't_sec5', type is output 
t_sec5   =  _LC8_I4;

-- Node name is 't_sec6' 
-- Equation name is 't_sec6', type is output 
t_sec6   =  _LC8_D24;

-- Node name is 't_sec7' 
-- Equation name is 't_sec7', type is output 
t_sec7   =  _LC8_I23;

-- Node name is ':47' 
-- Equation name is '_LC2_D24', type is buried 
_LC2_D24 = DFFE( t_en, GLOBAL( t_clk),  VCC,  VCC,  VCC);

-- Node name is ':49' 
-- Equation name is '_LC8_I23', type is buried 
_LC8_I23 = DFFE( t_sw7, GLOBAL( t_clk),  VCC,  VCC,  t_en);

-- Node name is ':50' 
-- Equation name is '_LC8_D24', type is buried 
_LC8_D24 = DFFE( t_sw6, GLOBAL( t_clk),  VCC,  VCC,  t_en);

-- Node name is ':51' 
-- Equation name is '_LC8_I4', type is buried 
_LC8_I4  = DFFE( t_sw5, GLOBAL( t_clk),  VCC,  VCC,  t_en);

-- Node name is ':52' 
-- Equation name is '_LC6_D24', type is buried 
_LC6_D24 = DFFE( t_sw4, GLOBAL( t_clk),  VCC,  VCC,  t_en);

-- Node name is ':53' 
-- Equation name is '_LC1_I16', type is buried 
_LC1_I16 = DFFE( t_sw3, GLOBAL( t_clk),  VCC,  VCC,  t_en);

-- Node name is ':54' 
-- Equation name is '_LC7_I16', type is buried 
_LC7_I16 = DFFE( t_sw2, GLOBAL( t_clk),  VCC,  VCC,  t_en);

-- Node name is ':55' 
-- Equation name is '_LC6_I4', type is buried 
_LC6_I4  = DFFE( t_sw1, GLOBAL( t_clk),  VCC,  VCC,  t_en);

-- Node name is ':56' 
-- Equation name is '_LC6_I16', type is buried 
_LC6_I16 = DFFE( t_sw0, GLOBAL( t_clk),  VCC,  VCC,  t_en);

-- Node name is '~176~1' 
-- Equation name is '~176~1', location is LC5_I26, type is buried.
-- synthesized logic cell 
_LC5_I26 = LCELL( _EQ002);
  _EQ002 = !d_second1 & !d_second2
         # !d_second3;

-- Node name is ':176' 
-- Equation name is '_LC7_I3', type is buried 
_LC7_I3  = LCELL( _EQ003);
  _EQ003 = !d_second4 & !d_second6 &  _LC1_I1 &  _LC5_I26;

-- Node name is '~283~1' 
-- Equation name is '~283~1', location is LC1_I1, type is buried.
-- synthesized logic cell 
_LC1_I1  = LCELL( _EQ004);
  _EQ004 = !d_second5 & !d_second7;

-- Node name is '~283~2' 
-- Equation name is '~283~2', location is LC8_I7, type is buried.
-- synthesized logic cell 
_LC8_I7  = LCELL( _EQ005);
  _EQ005 = !d_second2 & !d_second3 &  d_second4
         #  d_second2 &  d_second3 & !d_second4
         #  d_second1 &  d_second3 & !d_second4;

-- Node name is '~390~1' 
-- Equation name is '~390~1', location is LC2_I5, type is buried.
-- synthesized logic cell 
_LC2_I5  = LCELL( _EQ006);
  _EQ006 =  d_second4 & !d_second6;

-- Node name is '~390~2' 
-- Equation name is '~390~2', location is LC6_I26, type is buried.
-- synthesized logic cell 
_LC6_I26 = LCELL( _EQ007);
  _EQ007 = !d_second2 &  d_second3 &  _LC2_I5
         #  d_second2 & !d_second3 &  _LC2_I5
         # !d_second1 &  d_second2 &  _LC2_I5;

-- Node name is '~497~1' 
-- Equation name is '~497~1', location is LC7_I7, type is buried.
-- synthesized logic cell 
_LC7_I7  = LCELL( _EQ008);
  _EQ008 = !d_second4 &  _LC6_I7
         #  d_second1 &  d_second4 &  _LC2_I7;

-- Node name is ':497' 
-- Equation name is '_LC4_I7', type is buried 
_LC4_I7  = LCELL( _EQ009);
  _EQ009 = !d_second6 & !d_second7 &  _LC7_I7;

-- Node name is '~604~1' 
-- Equation name is '~604~1', location is LC3_I26, type is buried.
-- synthesized logic cell 
_LC3_I26 = LCELL( _EQ010);
  _EQ010 =  d_second5 & !d_second6 & !d_second7;

-- Node name is '~604~2' 
-- Equation name is '~604~2', location is LC2_I22, type is buried.
-- synthesized logic cell 
_LC2_I22 = LCELL( _EQ011);
  _EQ011 =  d_second3 & !d_second4
         # !d_second1 & !d_second2 & !d_second3 &  d_second4;

-- Node name is '~711~1' 
-- Equation name is '~711~1', location is LC8_I26, type is buried.
-- synthesized logic cell 
_LC8_I26 = LCELL( _EQ012);
  _EQ012 =  d_second2 & !d_second3
         # !d_second2 &  d_second3
         #  d_second1 & !d_second2;

-- Node name is ':711' 
-- Equation name is '_LC2_I26', type is buried 
_LC2_I26 = LCELL( _EQ013);
  _EQ013 =  d_second5 & !d_second7 &  _LC2_I5 &  _LC8_I26;

-- Node name is '~818~1' 
-- Equation name is '~818~1', location is LC8_I9, type is buried.
-- synthesized logic cell 
_LC8_I9  = LCELL( _EQ014);
  _EQ014 =  d_second2 &  d_second3 &  d_second5 &  _LC2_I5;

-- Node name is '~818~2' 
-- Equation name is '~818~2', location is LC1_I9, type is buried.
-- synthesized logic cell 
_LC1_I9  = LCELL( _EQ015);
  _EQ015 = !d_second5 &  _LC6_I9 & !_LC7_I9
         #  _LC8_I9;

-- Node name is '~925~1' 
-- Equation name is '~925~1', location is LC6_I9, type is buried.
-- synthesized logic cell 
_LC6_I9  = LCELL( _EQ016);
  _EQ016 = !d_second4 &  d_second6;

-- Node name is '~925~2' 
-- Equation name is '~925~2', location is LC7_I9, type is buried.
-- synthesized logic cell 
!_LC7_I9 = _LC7_I9~NOT;
_LC7_I9~NOT = LCELL( _EQ017);
  _EQ017 = !d_second2 & !d_second3
         # !d_second1 & !d_second3;

-- Node name is ':925' 
-- Equation name is '_LC3_I9', type is buried 
_LC3_I9  = LCELL( _EQ018);
  _EQ018 = !d_second4 &  d_second6 &  _LC1_I1 &  _LC7_I9;

-- Node name is ':1032' 
-- Equation name is '_LC4_I26', type is buried 
_LC4_I26 = LCELL( _EQ019);
  _EQ019 =  d_second4 & !d_second7 &  _LC5_I26 &  _LC7_I26;

-- Node name is '~1139~1' 
-- Equation name is '~1139~1', location is LC8_I22, type is buried.
-- synthesized logic cell 
_LC8_I22 = LCELL( _EQ020);
  _EQ020 = !d_second2 & !d_second3 & !d_second4 &  d_second5;

-- Node name is '~1139~2' 
-- Equation name is '~1139~2', location is LC1_I26, type is buried.
-- synthesized logic cell 
_LC1_I26 = LCELL( _EQ021);
  _EQ021 =  d_second4 & !d_second5 & !_LC5_I26;

-- Node name is ':1139' 
-- Equation name is '_LC1_I22', type is buried 
_LC1_I22 = LCELL( _EQ022);
  _EQ022 =  d_second6 & !d_second7 &  _LC8_I22
         #  d_second6 & !d_second7 &  _LC1_I26;

-- Node name is '~1167~1' 
-- Equation name is '~1167~1', location is LC6_I3, type is buried.
-- synthesized logic cell 
_LC6_I3  = LCELL( _EQ023);
  _EQ023 =  _LC1_I22
         #  _LC4_I26
         #  _LC2_I22 &  _LC3_I26;

-- Node name is '~1167~2' 
-- Equation name is '~1167~2', location is LC8_I3, type is buried.
-- synthesized logic cell 
_LC8_I3  = LCELL( _EQ024);
  _EQ024 =  _LC1_I1 &  _LC6_I26
         #  _LC7_I3;

-- Node name is '~1167~3' 
-- Equation name is '~1167~3', location is LC3_I7, type is buried.
-- synthesized logic cell 
_LC3_I7  = LCELL( _EQ025);
  _EQ025 = !d_second6 &  _LC1_I1 &  _LC8_I7
         #  _LC4_I7;

-- Node name is ':1167' 
-- Equation name is '_LC3_I3', type is buried 
_LC3_I3  = LCELL( _EQ026);
  _EQ026 =  _LC3_I7
         #  _LC3_I9
         #  _LC8_I3
         #  _LC6_I3;

-- Node name is ':1169' 
-- Equation name is '_LC2_I3', type is buried 
_LC2_I3  = LCELL( _EQ027);
  _EQ027 =  _LC1_I22
         #  _LC4_I7
         #  _LC2_I26
         #  _LC1_I3;

-- Node name is ':1170' 
-- Equation name is '_LC1_I3', type is buried 
_LC1_I3  = LCELL( _EQ028);
  _EQ028 =  _LC8_I3
         #  _LC4_I26
         # !d_second7 &  _LC1_I9;

-- Node name is '~1171~1' 
-- Equation name is '~1171~1', location is LC5_I3, type is buried.
-- synthesized logic cell 
_LC5_I3  = LCELL( _EQ029);
  _EQ029 =  _LC6_I3
         #  _LC2_I26
         # !d_second7 &  _LC1_I9;

-- Node name is ':1171' 
-- Equation name is '_LC4_I3', type is buried 
_LC4_I3  = LCELL( _EQ030);
  _EQ030 =  _LC7_I3
         #  _LC3_I9
         #  _LC5_I3;

-- Node name is ':1172' 
-- Equation name is '_LC6_I2', type is buried 
_LC6_I2  = LCELL( _EQ031);
  _EQ031 =  _LC5_I3
         #  _LC4_I7
         #  _LC1_I1 &  _LC6_I26;