control.rpt

1、 南北和东西方向各有一组绿、黄、红灯

t11      = DFFE( _EQ027 $  counter1, GLOBAL(!clk),  VCC,  VCC,  VCC);
  _EQ027 = !counter1 &  counter2 &  counter3 & !counter4 & !counter5
         #  counter1 &  counter3 & !counter4 & !counter5
         # !counter2 & !counter3 &  counter4 & !counter5;

-- Node name is ':58' = 't12' 
-- Equation name is 't12', location is LC105, type is buried.
t12      = DFFE( _EQ028 $ !counter2, GLOBAL(!clk),  VCC,  VCC,  VCC);
  _EQ028 =  counter1 &  counter2 &  counter3 & !counter4 & !counter5
         #  counter1 & !counter2 & !counter3 &  counter4 & !counter5
         #  counter2 & !counter3 & !counter4 & !counter5
         # !counter2 & !counter4 & !counter5;

-- Node name is ':57' = 't13' 
-- Equation name is 't13', location is LC106, type is buried.
t13      = DFFE( _EQ029 $  GND, GLOBAL(!clk),  VCC,  VCC,  VCC);
  _EQ029 = !counter2 & !counter3 &  counter4 & !counter5 &  _LC110
         # !counter1 & !counter2 &  counter3 & !counter4 & !counter5
         #  counter3 & !counter4 & !counter5 &  _LC110
         #  counter4 &  _LC099 &  _X011
         #  counter5 &  _LC099;
  _X011  = EXP(!counter2 & !counter3);

-- Node name is ':56' = 't14' 
-- Equation name is 't14', location is LC112, type is buried.
t14      = DFFE( _EQ030 $  _EQ031, GLOBAL(!clk),  VCC,  VCC,  VCC);
  _EQ030 = !counter2 & !counter3 &  counter4 & !counter5 &  _LC109
         #  counter2 &  counter4 &  _LC076
         #  counter3 &  counter4 &  _LC076
         #  counter5 &  _LC076;
  _EQ031 =  counter3 & !counter4 & !counter5 &  _LC109 &  _X012;
  _X012  = EXP(!counter1 & !counter2);

-- Node name is ':55' = 't15' 
-- Equation name is 't15', location is LC097, type is buried.
t15      = DFFE( _EQ032 $  _EQ033, GLOBAL(!clk),  VCC,  VCC,  VCC);
  _EQ032 = !counter2 & !counter3 &  counter4 & !counter5 &  _LC108
         #  counter2 &  counter4 &  _LC098
         #  counter3 &  counter4 &  _LC098
         #  counter5 &  _LC098;
  _EQ033 =  counter3 & !counter4 & !counter5 &  _LC108 &  _X012;
  _X012  = EXP(!counter1 & !counter2);

-- Node name is '|LPM_ADD_SUB:249|addcore:adder|addcore:adder0|result_node2' from file "addcore.tdf" line 164, column 16
-- Equation name is '_LC101', type is buried 
_LC101   = LCELL( counter2 $  _EQ034);
  _EQ034 = !counter0 & !counter1;

-- Node name is '|LPM_ADD_SUB:249|addcore:adder|addcore:adder0|result_node3' from file "addcore.tdf" line 164, column 16
-- Equation name is '_LC107', type is buried 
_LC107   = LCELL( counter3 $  _EQ035);
  _EQ035 = !counter0 & !counter1 & !counter2;

-- Node name is '|LPM_ADD_SUB:249|addcore:adder|addcore:adder0|result_node4' from file "addcore.tdf" line 164, column 16
-- Equation name is '_LC103', type is buried 
_LC103   = LCELL( counter4 $  _EQ036);
  _EQ036 = !counter0 & !counter1 & !counter2 & !counter3;

-- Node name is '|LPM_ADD_SUB:249|addcore:adder|addcore:adder0|result_node5' from file "addcore.tdf" line 164, column 16
-- Equation name is '_LC102', type is buried 
_LC102   = LCELL( counter5 $  _EQ037);
  _EQ037 = !counter0 & !counter1 & !counter2 & !counter3 & !counter4;

-- Node name is '|LPM_ADD_SUB:1071|addcore:adder|addcore:adder0|g4' from file "addcore.tdf" line 158, column 5
-- Equation name is '_LC100', type is buried 
_LC100   = LCELL( counter3 $  _EQ038);
  _EQ038 =  counter2 & !counter3;

-- Node name is '|LPM_ADD_SUB:1071|addcore:adder|addcore:adder0|result_node3' from file "addcore.tdf" line 164, column 16
-- Equation name is '_LC099', type is buried 
_LC099   = LCELL( counter3 $ !counter2);

-- Node name is '|LPM_ADD_SUB:1071|addcore:adder|addcore:adder0|result_node4' from file "addcore.tdf" line 164, column 16
-- Equation name is '_LC076', type is buried 
_LC076   = LCELL( counter4 $  _LC100);

-- Node name is '|LPM_ADD_SUB:1071|addcore:adder|addcore:adder0|result_node5' from file "addcore.tdf" line 164, column 16
-- Equation name is '_LC098', type is buried 
_LC098   = LCELL( counter5 $  _EQ039);
  _EQ039 =  counter4 &  _LC100;

-- Node name is '|LPM_ADD_SUB:1102|addcore:adder|addcore:adder0|g4' from file "addcore.tdf" line 158, column 5
-- Equation name is '_LC111', type is buried 
_LC111   = LCELL( _EQ040 $  counter3);
  _EQ040 = !counter1 & !counter2 &  counter3;

-- Node name is '|LPM_ADD_SUB:1102|addcore:adder|addcore:adder0|result_node3' from file "addcore.tdf" line 164, column 16
-- Equation name is '_LC110', type is buried 
_LC110   = LCELL(!counter3 $  _EQ041);
  _EQ041 = !counter1 & !counter2;

-- Node name is '|LPM_ADD_SUB:1102|addcore:adder|addcore:adder0|result_node4' from file "addcore.tdf" line 164, column 16
-- Equation name is '_LC109', type is buried 
_LC109   = LCELL( counter4 $  _LC111);

-- Node name is '|LPM_ADD_SUB:1102|addcore:adder|addcore:adder0|result_node5' from file "addcore.tdf" line 164, column 16
-- Equation name is '_LC108', type is buried 
_LC108   = LCELL( counter5 $  _EQ042);
  _EQ042 =  counter4 &  _LC111;

-- Node name is '|LPM_ADD_SUB:1372|addcore:adder|addcore:adder0|gcp2' from file "addcore.tdf" line 160, column 8
-- Equation name is '_LC084', type is buried 
_LC084   = LCELL( _EQ043 $  t12);
  _EQ043 = !t10 & !t11 &  t12;

-- Node name is '|LPM_ADD_SUB:1372|addcore:adder|addcore:adder0|g4' from file "addcore.tdf" line 158, column 5
-- Equation name is '_LC082', type is buried 
_LC082   = LCELL( _EQ044 $  t13);
  _EQ044 =  t11 &  t12 & !t13
         #  t10 &  t12 & !t13;

-- Node name is '|LPM_ADD_SUB:1372|addcore:adder|addcore:adder0|result_node3' from file "addcore.tdf" line 164, column 16
-- Equation name is '_LC079', type is buried 
_LC079   = LCELL(!t13 $  _LC084);

-- Node name is '|LPM_ADD_SUB:1372|addcore:adder|addcore:adder0|result_node5' from file "addcore.tdf" line 164, column 16
-- Equation name is '_LC090', type is buried 
_LC090   = LCELL( t15 $  _EQ045);
  _EQ045 =  _LC082 &  t14;

-- Node name is '|LPM_ADD_SUB:1403|addcore:adder|addcore:adder0|gcp2' from file "addcore.tdf" line 160, column 8
-- Equation name is '_LC071', type is buried 
_LC071   = LCELL( _EQ046 $  t12);
  _EQ046 =  t10 &  t11 & !t12;

-- Node name is '|LPM_ADD_SUB:1403|addcore:adder|addcore:adder0|g4' from file "addcore.tdf" line 158, column 5
-- Equation name is '_LC089', type is buried 
_LC089   = LCELL( _EQ047 $  GND);
  _EQ047 =  t10 &  t11 &  t13
         #  t12 &  t13;

-- Node name is '|LPM_ADD_SUB:1403|addcore:adder|addcore:adder0|result_node3' from file "addcore.tdf" line 164, column 16
-- Equation name is '_LC078', type is buried 
_LC078   = LCELL( t13 $  _LC071);

-- Node name is '|LPM_ADD_SUB:1403|addcore:adder|addcore:adder0|result_node5' from file "addcore.tdf" line 164, column 16
-- Equation name is '_LC087', type is buried 
_LC087   = LCELL( t15 $  _EQ048);
  _EQ048 =  _LC089 &  t14;

-- Node name is '|LPM_ADD_SUB:1625|addcore:adder|addcore:adder0|gcp2' from file "addcore.tdf" line 160, column 8
-- Equation name is '_LC074', type is buried 
_LC074   = LCELL( _EQ049 $  t12);
  _EQ049 = !t10 & !t11 &  t12;

-- Node name is '|LPM_ADD_SUB:1625|addcore:adder|addcore:adder0|g4' from file "addcore.tdf" line 158, column 5
-- Equation name is '_LC096', type is buried 
_LC096   = LCELL( _EQ050 $  t13);
  _EQ050 =  t11 &  t12 & !t13
         #  t10 &  t12 & !t13;

-- Node name is '|LPM_ADD_SUB:1625|addcore:adder|addcore:adder0|result_node3' from file "addcore.tdf" line 164, column 16
-- Equation name is '_LC070', type is buried 
_LC070   = LCELL(!t13 $  _LC074);

-- Node name is '|LPM_ADD_SUB:1625|addcore:adder|addcore:adder0|result_node5' from file "addcore.tdf" line 164, column 16
-- Equation name is '_LC092', type is buried 
_LC092   = LCELL( t15 $  _EQ051);
  _EQ051 =  _LC096 &  t14;

-- Node name is '|LPM_ADD_SUB:1656|addcore:adder|addcore:adder0|gcp2' from file "addcore.tdf" line 160, column 8
-- Equation name is '_LC066', type is buried 
_LC066   = LCELL( _EQ052 $  t12);
  _EQ052 =  t10 &  t11 & !t12;

-- Node name is '|LPM_ADD_SUB:1656|addcore:adder|addcore:adder0|g4' from file "addcore.tdf" line 158, column 5
-- Equation name is '_LC095', type is buried 
_LC095   = LCELL( _EQ053 $  GND);
  _EQ053 =  t10 &  t11 &  t13
         #  t12 &  t13;

-- Node name is '|LPM_ADD_SUB:1656|addcore:adder|addcore:adder0|result_node3' from file "addcore.tdf" line 164, column 16
-- Equation name is '_LC068', type is buried 
_LC068   = LCELL( t13 $  _LC066);

-- Node name is '|LPM_ADD_SUB:1656|addcore:adder|addcore:adder0|result_node5' from file "addcore.tdf" line 164, column 16
-- Equation name is '_LC081', type is buried 
_LC081   = LCELL( t15 $  _EQ054);
  _EQ054 =  _LC095 &  t14;

-- Node name is '~850~1' 
-- Equation name is '~850~1', location is LC125, type is buried.
-- synthesized logic cell 
_LC125   = LCELL( _EQ055 $  clr);
  _EQ055 = !clr & !kin &  _LC125;



--     Shareable expanders that are duplicated in multiple LABs:
--    _X002 occurs in LABs E, F
--    _X003 occurs in LABs E, F
--    _X007 occurs in LABs E, F




Project Information                              g:\traffic lights\control.rpt

** COMPILATION SETTINGS & TIMES **

Processing Menu Commands
------------------------

Design Doctor                             = off

Logic Synthesis:

   Synthesis Type Used                    = Standard

   Default Synthesis Style                = NORMAL

      Logic option settings in 'NORMAL' style for 'MAX7000S' family

      DECOMPOSE_GATES                     = on
      DUPLICATE_LOGIC_EXTRACTION          = on
      MINIMIZATION                        = full
      MULTI_LEVEL_FACTORING               = on
      NOT_GATE_PUSH_BACK                  = on
      PARALLEL_EXPANDERS                  = off
      REDUCE_LOGIC                        = on
      REFACTORIZATION                     = on
      REGISTER_OPTIMIZATION               = on
      RESYNTHESIZE_NETWORK                = on
      SLOW_SLEW_RATE                      = off
      SOFT_BUFFER_INSERTION               = on
      SUBFACTOR_EXTRACTION                = on
      TURBO_BIT                           = on
      XOR_SYNTHESIS                       = on
      IGNORE_SOFT_BUFFERS                 = off
      USE_LPM_FOR_AHDL_OPERATORS          = off

   Other logic synthesis settings:

      Automatic Global Clock              = on
      Automatic Global Clear              = on
      Automatic Global Preset             = on
      Automatic Global Output Enable      = on
      Automatic Fast I/O                  = off
      Automatic Register Packing          = off
      Automatic Open-Drain Pins           = on
      Automatic Implement in EAB          = off
      One-Hot State Machine Encoding      = off
      Optimize                            = 5

Default Timing Specifications: None

Cut All Bidir Feedback Timing Paths       = on
Cut All Clear & Preset Timing Paths       = on

Ignore Timing Assignments                 = off

Functional SNF Extractor                  = off

Linked SNF Extractor                      = off
Timing SNF Extractor                      = on
Optimize Timing SNF                       = off
Generate AHDL TDO File                    = off
Fitter Settings                           = NORMAL
Smart Recompile                           = off
Total Recompile                           = off

Interfaces Menu Commands
------------------------

EDIF Netlist Writer                       = off
Verilog Netlist Writer                    = off
VHDL Netlist Writer                       = off

Compilation Times
-----------------

   Compiler Netlist Extractor             00:00:00
   Database Builder                       00:00:00
   Logic Synthesizer                      00:00:01
   Partitioner                            00:00:00
   Fitter                                 00:00:00
   Timing SNF Extractor                   00:00:00
   Assembler                              00:00:01
   --------------------------             --------
   Total Time                             00:00:02


Memory Allocated
-----------------

Peak memory allocated during compilation  = 5,070K