counter.rpt

来自「Traffic light written with Verilog」· RPT 代码 · 共 1,049 行 · 第 1/4 页

counter

** CLOCK SIGNALS **

Type     Fan-out       Name
INPUT       26         clk


Device-Specific Information:c:\documents and settings\no7\my documents\traffic light\counter.rpt
counter

** EQUATIONS **

clk      : INPUT;
discount : INPUT;
need_sec0 : INPUT;
need_sec1 : INPUT;
need_sec2 : INPUT;
need_sec3 : INPUT;
need_sec4 : INPUT;
need_sec5 : INPUT;
need_sec6 : INPUT;
need_sec7 : INPUT;

-- Node name is 'discount~1' 
-- Equation name is 'discount~1', location is LC1_G15, type is buried.
-- synthesized logic cell 
!_LC1_G15 = _LC1_G15~NOT;
_LC1_G15~NOT = LCELL(!discount);

-- Node name is ':129' = 'enable' 
-- Equation name is 'enable', location is LC4_F1, type is buried.
enable   = DFFE( _EQ001, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ001 =  _LC2_B29 &  _LC5_F1
         #  enable &  _LC5_F1
         #  _LC4_B19 &  _LC5_F1;

-- Node name is ':73' = 'first' 
-- Equation name is 'first', location is LC5_B24, type is buried.
first    = DFFE( _EQ002, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ002 = !discount &  _LC6_B29
         # !discount &  _LC7_B24
         # !discount & !_LC3_F8;

-- Node name is 'rest_sec0' 
-- Equation name is 'rest_sec0', type is output 
rest_sec0 =  _LC1_B19;

-- Node name is 'rest_sec1' 
-- Equation name is 'rest_sec1', type is output 
rest_sec1 =  _LC6_B24;

-- Node name is 'rest_sec2' 
-- Equation name is 'rest_sec2', type is output 
rest_sec2 =  _LC7_B19;

-- Node name is 'rest_sec3' 
-- Equation name is 'rest_sec3', type is output 
rest_sec3 =  _LC4_B24;

-- Node name is 'rest_sec4' 
-- Equation name is 'rest_sec4', type is output 
rest_sec4 =  _LC5_B19;

-- Node name is 'rest_sec5' 
-- Equation name is 'rest_sec5', type is output 
rest_sec5 =  _LC1_B29;

-- Node name is 'rest_sec6' 
-- Equation name is 'rest_sec6', type is output 
rest_sec6 =  _LC8_B29;

-- Node name is 'rest_sec7' 
-- Equation name is 'rest_sec7', type is output 
rest_sec7 =  _LC2_F1;

-- Node name is '|Adder:adder1|lpm_add_sub:73|addcore:adder|:107' from file "addcore.tdf" line 312, column 64
-- Equation name is '_LC1_F1', type is buried 
_LC1_F1  = LCELL( _EQ003);
  _EQ003 =  _LC6_F1 &  _LC7_F1 &  _LC8_F1;

-- Node name is '|Adder:adder1|lpm_add_sub:73|addcore:adder|:111' from file "addcore.tdf" line 312, column 64
-- Equation name is '_LC6_F3', type is buried 
_LC6_F3  = LCELL( _EQ004);
  _EQ004 =  _LC1_F1 &  _LC5_F3;

-- Node name is '|Adder:adder1|lpm_add_sub:73|addcore:adder|:119' from file "addcore.tdf" line 312, column 64
-- Equation name is '_LC3_F3', type is buried 
_LC3_F3  = LCELL( _EQ005);
  _EQ005 =  _LC1_F1 &  _LC5_F3 &  _LC7_F3 &  _LC8_F3;

-- Node name is '|Adder:adder1|lpm_add_sub:73|addcore:adder|:123' from file "addcore.tdf" line 312, column 64
-- Equation name is '_LC1_F3', type is buried 
_LC1_F3  = LCELL( _EQ006);
  _EQ006 =  _LC3_F3 &  _LC4_F3;

-- Node name is '|Adder:adder1|lpm_add_sub:73|addcore:adder|:131' from file "addcore.tdf" line 312, column 64
-- Equation name is '_LC5_F8', type is buried 
_LC5_F8  = LCELL( _EQ007);
  _EQ007 =  _LC1_F3 &  _LC2_F8 &  _LC8_F8;

-- Node name is '|Adder:adder1|lpm_add_sub:73|addcore:adder|:139' from file "addcore.tdf" line 312, column 64
-- Equation name is '_LC1_F8', type is buried 
_LC1_F8  = LCELL( _EQ008);
  _EQ008 =  _LC5_F8 &  _LC6_F8 &  _LC7_F8;

-- Node name is '|Adder:adder1|lpm_add_sub:73|addcore:adder|:143' from file "addcore.tdf" line 312, column 64
-- Equation name is '_LC7_F10', type is buried 
_LC7_F10 = LCELL( _EQ009);
  _EQ009 =  _LC1_F8 &  _LC2_F10;

-- Node name is '|Adder:adder1|lpm_add_sub:73|addcore:adder|:151' from file "addcore.tdf" line 312, column 64
-- Equation name is '_LC4_F10', type is buried 
_LC4_F10 = LCELL( _EQ010);
  _EQ010 =  _LC1_F8 &  _LC2_F10 &  _LC3_F10 &  _LC8_F10;

-- Node name is '|Adder:adder1|:57' 
-- Equation name is '_LC5_F10', type is buried 
_LC5_F10 = DFFE( _EQ011, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ011 =  enable &  _LC5_F10 & !_LC6_F10
         #  enable & !_LC4_F10 &  _LC5_F10
         #  enable &  _LC4_F10 & !_LC5_F10 &  _LC6_F10;

-- Node name is '|Adder:adder1|:58' 
-- Equation name is '_LC6_F10', type is buried 
_LC6_F10 = DFFE( _EQ012, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ012 =  enable & !_LC4_F10 &  _LC6_F10
         #  enable &  _LC4_F10 & !_LC6_F10;

-- Node name is '|Adder:adder1|:59' 
-- Equation name is '_LC8_F10', type is buried 
_LC8_F10 = DFFE( _EQ013, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ013 =  enable & !_LC3_F10 &  _LC8_F10
         #  enable & !_LC7_F10 &  _LC8_F10
         #  enable &  _LC3_F10 &  _LC7_F10 & !_LC8_F10;

-- Node name is '|Adder:adder1|:60' 
-- Equation name is '_LC3_F10', type is buried 
_LC3_F10 = DFFE( _EQ014, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ014 =  enable & !_LC2_F10 &  _LC3_F10
         #  enable & !_LC1_F8 &  _LC3_F10
         #  enable &  _LC1_F8 &  _LC2_F10 & !_LC3_F10;

-- Node name is '|Adder:adder1|:61' 
-- Equation name is '_LC2_F10', type is buried 
_LC2_F10 = DFFE( _EQ015, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ015 =  enable & !_LC1_F8 &  _LC2_F10
         #  enable &  _LC1_F8 & !_LC2_F10;

-- Node name is '|Adder:adder1|:62' 
-- Equation name is '_LC6_F8', type is buried 
_LC6_F8  = DFFE( _EQ016, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ016 =  enable &  _LC6_F8 & !_LC7_F8
         #  enable & !_LC5_F8 &  _LC6_F8
         #  enable &  _LC5_F8 & !_LC6_F8 &  _LC7_F8;

-- Node name is '|Adder:adder1|:63' 
-- Equation name is '_LC7_F8', type is buried 
_LC7_F8  = DFFE( _EQ017, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ017 =  enable & !_LC5_F8 &  _LC7_F8
         #  enable &  _LC5_F8 & !_LC7_F8;

-- Node name is '|Adder:adder1|:64' 
-- Equation name is '_LC8_F8', type is buried 
_LC8_F8  = DFFE( _EQ018, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ018 =  enable & !_LC2_F8 &  _LC8_F8
         #  enable & !_LC1_F3 &  _LC8_F8
         #  enable &  _LC1_F3 &  _LC2_F8 & !_LC8_F8;

-- Node name is '|Adder:adder1|:65' 
-- Equation name is '_LC2_F8', type is buried 
_LC2_F8  = DFFE( _EQ019, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ019 =  enable & !_LC1_F3 &  _LC2_F8
         #  enable &  _LC1_F3 & !_LC2_F8;

-- Node name is '|Adder:adder1|:66' 
-- Equation name is '_LC4_F3', type is buried 
_LC4_F3  = DFFE( _EQ020, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ020 =  enable & !_LC3_F3 &  _LC4_F3
         #  enable &  _LC3_F3 & !_LC4_F3;

-- Node name is '|Adder:adder1|:67' 
-- Equation name is '_LC7_F3', type is buried 
_LC7_F3  = DFFE( _EQ021, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ021 =  enable &  _LC7_F3 & !_LC8_F3
         #  enable & !_LC6_F3 &  _LC7_F3
         #  enable &  _LC6_F3 & !_LC7_F3 &  _LC8_F3;

-- Node name is '|Adder:adder1|:68' 
-- Equation name is '_LC8_F3', type is buried 
_LC8_F3  = DFFE( _EQ022, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ022 =  enable & !_LC5_F3 &  _LC8_F3
         #  enable & !_LC1_F1 &  _LC8_F3
         #  enable &  _LC1_F1 &  _LC5_F3 & !_LC8_F3;

-- Node name is '|Adder:adder1|:69' 
-- Equation name is '_LC5_F3', type is buried 
_LC5_F3  = DFFE( _EQ023, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ023 =  enable & !_LC1_F1 &  _LC5_F3
         #  enable &  _LC1_F1 & !_LC5_F3;

-- Node name is '|Adder:adder1|:70' 
-- Equation name is '_LC8_F1', type is buried 
_LC8_F1  = DFFE( _EQ024, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ024 =  enable & !_LC6_F1 &  _LC8_F1
         #  enable & !_LC7_F1 &  _LC8_F1
         #  enable &  _LC6_F1 &  _LC7_F1 & !_LC8_F1;

-- Node name is '|Adder:adder1|:71' 
-- Equation name is '_LC7_F1', type is buried 
_LC7_F1  = DFFE( _EQ025, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ025 =  enable &  _LC6_F1 & !_LC7_F1
         #  enable & !_LC6_F1 &  _LC7_F1;

-- Node name is '|Adder:adder1|:72' 
-- Equation name is '_LC6_F1', type is buried 
_LC6_F1  = DFFE( _EQ026, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ026 =  enable & !_LC6_F1;

-- Node name is '|lpm_add_sub:172|addcore:adder|pcarry1' from file "addcore.tdf" line 312, column 40
-- Equation name is '_LC8_B19', type is buried 
_LC8_B19 = LCELL( _EQ027);
  _EQ027 =  _LC2_B24
         #  _LC3_B19;

-- Node name is '|lpm_add_sub:172|addcore:adder|pcarry2' from file "addcore.tdf" line 312, column 40
-- Equation name is '_LC8_B24', type is buried 
_LC8_B24 = LCELL( _EQ028);
  _EQ028 =  _LC2_B24
         #  _LC3_B19
         #  _LC6_B19;

-- Node name is '|lpm_add_sub:172|addcore:adder|pcarry3' from file "addcore.tdf" line 312, column 40
-- Equation name is '_LC1_B24', type is buried 
_LC1_B24 = LCELL( _EQ029);
  _EQ029 =  _LC2_B24
         #  _LC3_B19
         #  _LC6_B19
         #  _LC3_B24;

-- Node name is '|lpm_add_sub:172|addcore:adder|pcarry4' from file "addcore.tdf" line 312, column 40
-- Equation name is '_LC3_B29', type is buried 
_LC3_B29 = LCELL( _EQ030);
  _EQ030 =  _LC1_B24
         #  _LC2_B19;

-- Node name is '|lpm_add_sub:172|addcore:adder|pcarry5' from file "addcore.tdf" line 312, column 40
-- Equation name is '_LC5_B29', type is buried 
_LC5_B29 = LCELL( _EQ031);
  _EQ031 =  _LC3_B29
         #  _LC4_B29;

-- Node name is '|lpm_add_sub:172|addcore:adder|pcarry6' from file "addcore.tdf" line 312, column 40
-- Equation name is '_LC2_B29', type is buried 
_LC2_B29 = LCELL( _EQ032);
  _EQ032 =  _LC5_B29
         #  _LC7_B29;

-- Node name is '~22~1' 
-- Equation name is '~22~1', location is LC3_F1, type is buried.
-- synthesized logic cell 
_LC3_F1  = LCELL( _EQ033);
  _EQ033 =  _LC6_F1