display.rpt

Traffic light written with Verilog

              d_second5 & !d_second7 & !no_display);
  _X009  = EXP( d_no_count &  d_round0 &  d_round1 & !d_setsec0 & !d_setsec1 & 
             !d_setsec3);
  _X010  = EXP( d_no_count & !d_round0 &  d_round1 & !d_setsec4 & !d_setsec5 & 
             !d_setsec7);
  _X017  = EXP(!d_round1 &  d_second1 & !d_second2 & !d_second3 & !d_second4 & 
              d_second5 &  d_second6 & !d_second7 & !no_display);
  _X018  = EXP( d_no_count &  d_round0 &  d_round1 & !d_setsec1 & !d_setsec2);
  _X019  = EXP( d_no_count & !d_round0 &  d_round1 & !d_setsec5 & !d_setsec6);
  _X020  = EXP(!d_round1 & !d_second1 &  d_second2 &  d_second3 &  d_second4 & 
             !d_second5 & !d_second7 & !no_display);

-- Node name is 'display_time7' = ':2716' 
-- Equation name is 'display_time7', type is output 
 display_time7 = DFFE( _EQ007 $  VCC, GLOBAL( d_clk),  VCC,  VCC,  VCC);
  _EQ007 = !_LC018 & !_LC020 & !_LC024 & !_LC026 & !_LC068 & !_LC084 & 
             !_LC091 & !_LC092 &  _X001 &  _X008 &  _X012 &  _X014 &  _X016 & 
              _X020 &  _X021;
  _X001  = EXP(!d_round0 & !d_round1 &  d_second3 &  d_second4 & !d_second5 & 
             !d_second7 & !no_display);
  _X008  = EXP(!d_round0 & !d_round1 & !d_second5 &  d_second6 & !d_second7 & 
             !no_display);
  _X012  = EXP( d_round0 & !d_round1 & !d_second0 & !d_second2 & !d_second3 & 
              d_second4 & !d_second6 & !d_second7 & !no_display);
  _X014  = EXP( d_round0 & !d_round1 & !d_second0 & !d_second2 & !d_second4 & 
             !d_second5 & !d_second6 & !d_second7 & !no_display);
  _X016  = EXP( d_no_count & !d_round0 &  d_round1 & !d_setsec4 & !d_setsec6 & 
             !d_setsec7);
  _X020  = EXP(!d_round1 & !d_second1 &  d_second2 &  d_second3 &  d_second4 & 
             !d_second5 & !d_second7 & !no_display);
  _X021  = EXP( d_no_count & !d_round0 &  d_round1 &  d_setsec5 & !d_setsec7);

-- Node name is ':35' = 'd_round0' 
-- Equation name is 'd_round0', location is LC066, type is buried.
d_round0 = TFFE( VCC, GLOBAL( d_clk),  VCC,  VCC,  VCC);

-- Node name is ':34' = 'd_round1' 
-- Equation name is 'd_round1', location is LC065, type is buried.
d_round1 = TFFE( d_round0, GLOBAL( d_clk),  VCC,  VCC,  VCC);

-- Node name is 'd_scan0' = ':2755' 
-- Equation name is 'd_scan0', type is output 
 d_scan0 = DFFE( _EQ008 $ !d_round0, GLOBAL( d_clk),  VCC,  VCC,  VCC);
  _EQ008 =  d_round0 & !d_round1;

-- Node name is 'd_scan1' = ':2754' 
-- Equation name is 'd_scan1', type is output 
 d_scan1 = DFFE( _EQ009 $  d_round0, GLOBAL( d_clk),  VCC,  VCC,  VCC);
  _EQ009 = !d_round0 & !d_round1;

-- Node name is 'd_scan2' = ':2753' 
-- Equation name is 'd_scan2', type is output 
 d_scan2 = DFFE( _EQ010 $  d_round1, GLOBAL( d_clk),  VCC,  VCC,  VCC);
  _EQ010 = !d_round0 & !d_round1;

-- Node name is 'd_scan3' = ':2752' 
-- Equation name is 'd_scan3', type is output 
 d_scan3 = DFFE( _EQ011 $  d_round1, GLOBAL( d_clk),  VCC,  VCC,  VCC);
  _EQ011 =  d_round0 & !d_round1;

-- Node name is '~2708~1' 
-- Equation name is '~2708~1', location is LC024, type is buried.
-- synthesized logic cell 
_LC024   = LCELL( _EQ012 $  GND);
  _EQ012 =  d_round0 & !d_round1 & !d_second2 & !d_second3 &  d_second4 & 
             !d_second5 & !d_second6 & !d_second7 & !no_display
         # !d_round1 &  d_second0 &  d_second2 &  d_second4 & !d_second5 & 
              d_second6 & !d_second7 & !no_display
         #  d_round0 & !d_round1 &  d_second1 &  d_second3 &  d_second5 & 
             !d_second6 & !d_second7 & !no_display
         # !d_round1 &  d_second1 & !d_second2 &  d_second3 &  d_second4 & 
             !d_second6 & !d_second7 & !no_display
         # !d_round1 &  d_second0 &  d_second1 &  d_second2 & !d_second3 & 
             !d_second6 & !d_second7 & !no_display;

-- Node name is '~2708~2' 
-- Equation name is '~2708~2', location is LC026, type is buried.
-- synthesized logic cell 
_LC026   = LCELL( _EQ013 $  GND);
  _EQ013 =  d_round0 & !d_round1 &  d_second0 &  d_second2 & !d_second4 & 
             !d_second6 & !d_second7 & !no_display
         # !d_round1 &  d_second2 & !d_second3 & !d_second4 &  d_second5 & 
             !d_second6 & !d_second7 & !no_display
         # !d_round1 &  d_second1 & !d_second2 & !d_second3 & !d_second4 & 
              d_second6 & !d_second7 & !no_display
         # !d_round1 & !d_second0 &  d_second2 &  d_second4 & !d_second5 & 
             !d_second6 & !d_second7 & !no_display
         # !d_round1 &  d_second0 & !d_second2 & !d_second4 & !d_second5 & 
              d_second6 & !d_second7 & !no_display;

-- Node name is '~2708~3' 
-- Equation name is '~2708~3', location is LC018, type is buried.
-- synthesized logic cell 
_LC018   = LCELL( _EQ014 $  GND);
  _EQ014 = !d_round1 & !d_second1 &  d_second2 & !d_second4 & !d_second5 & 
              d_second6 & !d_second7 & !no_display
         # !d_round1 &  d_second0 &  d_second1 & !d_second3 & !d_second4 & 
             !d_second6 & !d_second7 & !no_display
         # !d_round1 &  d_second0 & !d_second1 & !d_second2 &  d_second3 & 
             !d_second5 & !d_second7 & !no_display
         # !d_round1 & !d_second0 &  d_second1 & !d_second3 & !d_second5 & 
              d_second6 & !d_second7 & !no_display
         # !d_round1 &  d_second1 & !d_second2 & !d_second3 & !d_second5 & 
              d_second6 & !d_second7 & !no_display;

-- Node name is '~2708~4' 
-- Equation name is '~2708~4', location is LC020, type is buried.
-- synthesized logic cell 
_LC020   = LCELL( _EQ015 $  GND);
  _EQ015 =  d_round0 & !d_round1 & !d_second1 & !d_second3 &  d_second5 & 
             !d_second6 & !d_second7 & !no_display
         #  d_round0 & !d_round1 & !d_second1 &  d_second3 & !d_second4 & 
             !d_second5 & !d_second7 & !no_display
         # !d_round1 & !d_second1 & !d_second2 & !d_second3 & !d_second4 & 
              d_second5 & !d_second7 & !no_display
         # !d_round1 & !d_second0 &  d_second1 & !d_second3 & !d_second4 & 
             !d_second5 & !d_second7 & !no_display
         # !d_round0 & !d_round1 & !d_second1 & !d_second2 & !d_second4 & 
             !d_second5 & !d_second7 & !no_display;

-- Node name is '~2708~5' 
-- Equation name is '~2708~5', location is LC091, type is buried.
-- synthesized logic cell 
_LC091   = LCELL( _EQ016 $  GND);
  _EQ016 = !d_round1 & !d_second1 &  d_second3 & !d_second5 &  d_second6 & 
             !d_second7 & !no_display
         # !d_round0 & !d_round1 &  d_second2 &  d_second4 & !d_second6 & 
             !d_second7 & !no_display
         #  d_no_count &  d_round0 &  d_round1 &  d_setsec0 &  d_setsec2 & 
             !d_setsec3
         #  d_no_count & !d_round0 &  d_round1 &  d_setsec4 &  d_setsec6 & 
             !d_setsec7
         #  d_no_count &  d_round0 &  d_round1 &  d_setsec1 & !d_setsec3;

-- Node name is '~2709~1' 
-- Equation name is '~2709~1', location is LC035, type is buried.
-- synthesized logic cell 
_LC035   = LCELL( _EQ017 $  GND);
  _EQ017 = !d_round1 &  d_second0 &  d_second1 &  d_second2 & !d_second4 & 
              d_second5 & !d_second6 & !d_second7 & !no_display
         #  d_round0 & !d_round1 &  d_second1 & !d_second2 &  d_second4 & 
              d_second5 & !d_second6 & !d_second7 & !no_display
         #  d_round0 & !d_round1 &  d_second0 & !d_second1 & !d_second2 & 
              d_second5 & !d_second6 & !d_second7 & !no_display
         #  d_round0 & !d_round1 &  d_second2 & !d_second3 & !d_second4 & 
             !d_second5 &  d_second6 & !d_second7 & !no_display
         # !d_round1 &  d_second0 & !d_second1 & !d_second2 & !d_second3 & 
             !d_second4 &  d_second5 & !d_second7 & !no_display;

-- Node name is '~2709~2' 
-- Equation name is '~2709~2', location is LC052, type is buried.
-- synthesized logic cell 
_LC052   = LCELL( _EQ018 $  GND);
  _EQ018 = !d_round1 &  d_second0 & !d_second1 & !d_second3 & !d_second4 & 
              d_second5 & !d_second6 & !d_second7 & !no_display
         # !d_round1 & !d_second0 &  d_second1 & !d_second3 & !d_second4 & 
              d_second5 & !d_second6 & !d_second7 & !no_display
         #  d_round0 & !d_round1 & !d_second0 & !d_second1 & !d_second2 & 
             !d_second4 & !d_second5 & !d_second7 & !no_display
         #  d_round0 & !d_round1 &  d_second2 &  d_second3 &  d_second4 & 
             !d_second6 & !d_second7 & !no_display
         # !d_round1 &  d_second1 &  d_second2 & !d_second4 & !d_second5 & 
              d_second6 & !d_second7 & !no_display;

-- Node name is '~2709~3' 
-- Equation name is '~2709~3', location is LC057, type is buried.
-- synthesized logic cell 
_LC057   = LCELL( _EQ019 $  GND);
  _EQ019 = !d_round1 & !d_second0 &  d_second2 &  d_second3 &  d_second4 & 
             !d_second5 & !d_second7 & !no_display
         #  d_round0 & !d_round1 & !d_second0 &  d_second2 &  d_second4 & 
             !d_second6 & !d_second7 & !no_display
         #  d_round0 & !d_round1 & !d_second1 &  d_second2 &  d_second4 & 
             !d_second6 & !d_second7 & !no_display
         #  d_round0 & !d_round1 &  d_second0 &  d_second1 & !d_second3 & 
             !d_second5 & !d_second7 & !no_display
         # !d_round1 &  d_second0 & !d_second1 &  d_second3 & !d_second4 & 
             !d_second5 & !d_second7 & !no_display;

-- Node name is '~2709~4' 
-- Equation name is '~2709~4', location is LC046, type is buried.
-- synthesized logic cell 
_LC046   = LCELL( _EQ020 $  GND);
  _EQ020 = !d_round1 & !d_second0 & !d_second1 &  d_second4 & !d_second5 & 
              d_second6 & !d_second7 & !no_display
         # !d_round1 &  d_second0 &  d_second1 & !d_second2 & !d_second5 & 
             !d_second6 & !d_second7 & !no_display
         # !d_round1 & !d_second0 & !d_second2 &  d_second3 & !d_second4 & 
             !d_second5 & !d_second7 & !no_display
         # !d_round1 & !d_second0 &  d_second3 & !d_second4 & !d_second5 & 
             !d_second6 & !d_second7 & !no_display
         # !d_round1 & !d_second0 & !d_second1 &  d_second3 & !d_second4 & 
             !d_second6 & !d_second7 & !no_display;

-- Node name is '~2709~5' 
-- Equation name is '~2709~5', location is LC037, type is buried.
-- synthesized logic cell 
_LC037   = LCELL( _EQ021 $  GND);
  _EQ021 = !d_round1 &  d_second1 & !d_second2 & !d_second3 & !d_second5 & 
             !d_second6 & !d_second7 & !no_display
         # !d_round1 &  d_second0 & !d_second1 & !d_second2 & !d_second3 & 
             !d_second6 & !d_second7 & !no_display
         # !d_round1 & !d_second1 & !d_second2 & !d_second3 &  d_second5 & 
             !d_second6 & !d_second7 & !no_display
         # !d_round1 & !d_second0 & !d_second1 &  d_second3 & !d_second5 & 
             !d_second6 & !d_second7 & !no_display
         # !d_round1 & !d_second0 & !d_second1 & !d_second4 & !d_second5 & 
             !d_second6 & !d_second7 & !no_display;

-- Node name is '~2709~6' 
-- Equation name is '~2709~6', location is LC093, type is buried.
-- synthesized logic cell 
_LC093   = LCELL( _EQ022 $  GND);
  _EQ022 = !d_round1 & !d_second2 &  d_second4 & !d_second5 &  d_second6 & 
             !d_second7 & !no_display
         # !d_round1 & !d_second2 &  d_second3 & !d_second4 & !d_second6 & 
             !d_second7 & !no_display
         # !d_round1 & !d_second0 & !d_second2 & !d_second4 & !d_second6 & 
             !d_second7 & !no_display
         #  d_no_count &  d_round0 &  d_round1 &  d_setsec0 &  d_setsec1 & 
             !d_setsec3
         #  d_no_count & !d_round0 &  d_round1 &  d_setsec4 &  d_setsec5 & 
             !d_setsec7;

-- Node name is '~2709~7' 
-- Equation name is '~2709~7', location is LC060, type is buried.
-- synthesized logic cell 
_LC060   = LCELL( _EQ023 $  GND);
  _EQ023 = !d_round0 & !d_round1 &  d_second3 & !d_second5 & !d_second7 & 
             !no_display
         # !d_round0 & !d_round1 &  d_second4 & !d_second5 & !d_second7 & 
             !no_display
         # !d_round0 & !d_round1 & !d_second4 & !d_second6 & !d_second7 & 
             !no_display
         #  d_no_count &  d_round0 &  d_round1 & !d_setsec2 & !d_setsec3
         #  d_no_count & !d_round0 &  d_round1 & !d_setsec6 & !d_setsec7;

-- Node name is '~2710~1' 
-- Equation name is '~2710~1', location is LC078, type is buried.
-- synthesized logic cell 
_LC078   = LCELL( _EQ024 $  GND);
  _EQ024 = !d_round1 & !d_second1 & !d_second2 &  d_second4 & !d_second5 & 
              d_second6 & !d_second7 & !no_display
         #  d_round0 & !d_round1 & !d_second1 &  d_second4 & !d_second5 & 
             !d_second6 & !d_second7 & !no_display
         # !d_round1 & !d_second1 & !d_second2 & !d_second4 & !d_second5 & 
             !d_second6 & !d_second7 & !no_display
         # !d_round1 &  d_second1 &  d_second3 & !d_second5 &  d_second6 & 
             !d_second7 & !no_display
         # !d_round1 &  d_second1 &  d_second2 &  d_second3 & !d_second5 & 
             !d_second7 & !no_display;