taxi.rpt

用VHDL编写的一个出租车计费器

LC99 -> * * * * - - - - * * * * * * * - | - - - - - - * - | <-- wjsq4
LC112-> * * * * - - - - * * * * * * * - | - - - - - - * - | <-- wjsq3
LC111-> * * * * - - - - * * * * * * * - | - - - - - - * - | <-- wjsq2
LC110-> * * * * - - - - * * * * * * * - | - - - - - - * - | <-- wjsq1
LC107-> * * * * - - - - * * * * * * * * | - - - - - - * - | <-- wjsq0

Pin
83   -> - - - - - - - - - - - - - - - - | - - - * - - - - | <-- clk
4    -> - - - * * * * * * * * * * * * * | * * * * - * * * | <-- start
LC56 -> - - - * * * * * * * * * * * * * | * - - - - - * - | <-- waits
LC1  -> - - - - - * - * - - - - - - - - | * - - - - - * - | <-- se13


* = The logic cell or pin is an input to the logic cell (or LAB) through the PIA.
- = The logic cell or pin is not an input to the logic cell (or LAB).


Device-Specific Information:                          e:\myworks\taxi\taxi.rpt
taxi

** LOGIC CELL INTERCONNECTIONS **

Logic Array Block 'H':

                 Logic cells placed in LAB 'H'
        +------- LC128 char10
        | +----- LC126 char11
        | | +--- LC125 char12
        | | | +- LC123 char13
        | | | | 
        | | | |   Other LABs fed by signals
        | | | |   that feed LAB 'H'
LC      | | | | | A B C D E F G H |     Logic cells that feed LAB 'H':
LC123-> * * * * | - - * * - - - * | <-- char13

Pin
83   -> - - - - | - - - * - - - - | <-- clk
4    -> - - - * | * * * * - * * * | <-- start
LC18 -> - - - * | - - * * - - - * | <-- temp2
LC101-> - - - * | - - * * - - * * | <-- mc
LC41 -> * - * * | - - * * - - - * | <-- c12
LC33 -> * * - * | - - * * - - - * | <-- c11


* = The logic cell or pin is an input to the logic cell (or LAB) through the PIA.
- = The logic cell or pin is not an input to the logic cell (or LAB).


Device-Specific Information:                          e:\myworks\taxi\taxi.rpt
taxi

** EQUATIONS **

clk      : INPUT;
pulse    : INPUT;
start    : INPUT;
sw       : INPUT;

-- Node name is 'char10' 
-- Equation name is 'char10', location is LC128, type is output.
 char10  = LCELL( _EQ001 $  VCC);
  _EQ001 =  char13 & !c11 & !c12
         # !char13;

-- Node name is 'char11' 
-- Equation name is 'char11', location is LC126, type is output.
 char11  = LCELL( _EQ002 $  c11);
  _EQ002 =  char13 &  c11;

-- Node name is 'char12' 
-- Equation name is 'char12', location is LC125, type is output.
 char12  = LCELL( _EQ003 $  GND);
  _EQ003 = !char13 &  c12;

-- Node name is 'char13' = 'c13' 
-- Equation name is 'char13', location is LC123, type is output.
 char13  = DFFE( _EQ004 $  GND,  _EQ005,  start,  VCC,  VCC);
  _EQ004 = !char13 & !c11 & !c12;
  _EQ005 =  _X001;
  _X001  = EXP(!mc & !temp2);

-- Node name is 'char20' 
-- Equation name is 'char20', location is LC040, type is output.
 char20  = LCELL( _EQ006 $  VCC);
  _EQ006 =  char23 & !c20 & !c21 & !c22
         # !char23 & !c20;

-- Node name is 'char21' 
-- Equation name is 'char21', location is LC038, type is output.
 char21  = LCELL( _EQ007 $  c21);
  _EQ007 =  char23 &  c21;

-- Node name is 'char22' 
-- Equation name is 'char22', location is LC037, type is output.
 char22  = LCELL( _EQ008 $  GND);
  _EQ008 = !char23 &  c22;

-- Node name is 'char23' = 'c23' 
-- Equation name is 'char23', location is LC035, type is output.
 char23  = TFFE(!_EQ009,  _EQ010,  start,  VCC,  VCC);
  _EQ009 =  _X002 &  _X003 &  _X004 &  _X005 &  _X006;
  _X002  = EXP(!char13 &  c11 &  c12 &  c20 &  c21 &  c22);
  _X003  = EXP( char23 &  c20 & !c21 & !c22);
  _X004  = EXP(!char13 &  c11 & !c12 &  c20 &  c21 &  c22);
  _X005  = EXP(!char13 & !c11 &  c12 &  c20 &  c21 &  c22);
  _X006  = EXP( char13 & !c11 & !c12 &  c20 &  c21 &  c22);
  _EQ010 =  _X001;
  _X001  = EXP(!mc & !temp2);

-- Node name is 'char30' 
-- Equation name is 'char30', location is LC064, type is output.
 char30  = LCELL( _EQ011 $  VCC);
  _EQ011 =  char33 & !c30 & !c31 & !c32
         # !char33 & !c30;

-- Node name is 'char31' 
-- Equation name is 'char31', location is LC061, type is output.
 char31  = LCELL( _EQ012 $  c31);
  _EQ012 =  char33 &  c31;

-- Node name is 'char32' 
-- Equation name is 'char32', location is LC059, type is output.
 char32  = LCELL( _EQ013 $  GND);
  _EQ013 = !char33 &  c32;

-- Node name is 'char33' = 'c33' 
-- Equation name is 'char33', location is LC057, type is output.
 char33  = TFFE( _EQ014,  _EQ015,  start,  VCC,  VCC);
  _EQ014 =  char23 &  c20 & !c21 & !c22 &  c30 &  c31 &  c32;
  _EQ015 =  _X001;
  _X001  = EXP(!mc & !temp2);

-- Node name is ':51' = 'c11' 
-- Equation name is 'c11', location is LC033, type is buried.
c11      = DFFE( _EQ016 $  GND,  _EQ017,  start,  VCC,  VCC);
  _EQ016 =  char13 & !c11 & !c12
         # !char13 & !c11 &  c12;
  _EQ017 =  _X001;
  _X001  = EXP(!mc & !temp2);

-- Node name is ':50' = 'c12' 
-- Equation name is 'c12', location is LC041, type is buried.
c12      = DFFE( _EQ018 $  GND,  _EQ019,  start,  VCC,  VCC);
  _EQ018 = !char13 &  c11 &  c12
         #  char13 & !c11 & !c12;
  _EQ019 =  _X001;
  _X001  = EXP(!mc & !temp2);

-- Node name is ':56' = 'c20' 
-- Equation name is 'c20', location is LC048, type is buried.
c20      = TFFE(!_EQ020,  _EQ021,  start,  VCC,  VCC);
  _EQ020 =  _X003 &  _X007 &  _X008 &  _X009 &  _X010;
  _X003  = EXP( char23 &  c20 & !c21 & !c22);
  _X007  = EXP( char13 & !c11 & !c12);
  _X008  = EXP(!char13 &  c11 & !c12 & !c20);
  _X009  = EXP(!char13 &  c11 &  c20);
  _X010  = EXP(!char13 &  c12);
  _EQ021 =  _X001;
  _X001  = EXP(!mc & !temp2);

-- Node name is ':55' = 'c21' 
-- Equation name is 'c21', location is LC058, type is buried.
c21      = DFFE( _EQ022 $  _EQ023,  _EQ024,  VCC,  start,  VCC);
  _EQ022 =  char13 & !c11 & !c12 &  c20 &  c21 &  _X011 &  _X012 &  _X013 & 
              _X014 &  _X015 &  _X016
         # !char13 &  c12 &  c20 &  c21 &  _X011 &  _X012 &  _X013 &  _X014 & 
              _X015 &  _X016;
  _X011  = EXP(!char13 &  c11 &  c20 &  c21);
  _X012  = EXP(!c20 & !c21);
  _X013  = EXP(!char13 & !c11 & !c12 & !c21);
  _X014  = EXP( char13 &  c12 & !c21);
  _X015  = EXP( char13 &  c11 & !c21);
  _X016  = EXP( char23 & !c21 & !c22);
  _EQ023 =  _X011 &  _X012 &  _X013 &  _X014 &  _X015 &  _X016;
  _X011  = EXP(!char13 &  c11 &  c20 &  c21);
  _X012  = EXP(!c20 & !c21);
  _X013  = EXP(!char13 & !c11 & !c12 & !c21);
  _X014  = EXP( char13 &  c12 & !c21);
  _X015  = EXP( char13 &  c11 & !c21);
  _X016  = EXP( char23 & !c21 & !c22);
  _EQ024 =  _X001;
  _X001  = EXP(!mc & !temp2);

-- Node name is ':54' = 'c22' 
-- Equation name is 'c22', location is LC039, type is buried.
c22      = TFFE( _EQ025,  _EQ026,  VCC,  start,  VCC);
  _EQ025 =  char13 & !c11 & !c12 &  c20 &  c21
         # !char13 &  c12 &  c20 &  c21
         # !char13 &  c11 &  c20 &  c21;
  _EQ026 =  _X001;
  _X001  = EXP(!mc & !temp2);

-- Node name is ':60' = 'c30' 
-- Equation name is 'c30', location is LC034, type is buried.
c30      = TFFE( _EQ027,  _EQ028,  start,  VCC,  VCC);
  _EQ027 =  char23 &  c20 & !c21 & !c22;
  _EQ028 =  _X001;
  _X001  = EXP(!mc & !temp2);

-- Node name is ':59' = 'c31' 
-- Equation name is 'c31', location is LC062, type is buried.
c31      = TFFE( _EQ029,  _EQ030,  start,  VCC,  VCC);
  _EQ029 =  char23 &  c20 & !c21 & !c22 &  c30;
  _EQ030 =  _X001;
  _X001  = EXP(!mc & !temp2);

-- Node name is ':58' = 'c32' 
-- Equation name is 'c32', location is LC063, type is buried.
c32      = TFFE( _EQ031,  _EQ032,  start,  VCC,  VCC);
  _EQ031 =  char23 &  c20 & !c21 & !c22 &  c30 &  c31;
  _EQ032 =  _X001;
  _X001  = EXP(!mc & !temp2);

-- Node name is ':99' = 'fp0' 
-- Equation name is 'fp0', location is LC088, type is buried.
fp0      = TFFE( VCC,  pulse,  start,  VCC,  VCC);

-- Node name is ':98' = 'fp1' 
-- Equation name is 'fp1', location is LC092, type is buried.
fp1      = TFFE( fp0,  pulse,  start,  VCC,  VCC);

-- Node name is ':97' = 'fp2' 
-- Equation name is 'fp2', location is LC093, type is buried.
fp2      = DFFE( _EQ033 $  _LC095,  pulse,  start,  VCC,  VCC);
  _EQ033 =  fp0 &  fp1 & !fp2 & !fp3 & !fp4 &  fp5 &  fp6 &  _LC095;

-- Node name is ':96' = 'fp3' 
-- Equation name is 'fp3', location is LC096, type is buried.
fp3      = DFFE( _EQ034 $  _LC094,  pulse,  start,  VCC,  VCC);
  _EQ034 =  fp0 &  fp1 & !fp2 & !fp3 & !fp4 &  fp5 &  fp6 &  _LC094;

-- Node name is ':95' = 'fp4' 
-- Equation name is 'fp4', location is LC081, type is buried.
fp4      = DFFE( _EQ035 $  _LC090,  pulse,  start,  VCC,  VCC);
  _EQ035 =  fp0 &  fp1 & !fp2 & !fp3 & !fp4 &  fp5 &  fp6 &  _LC090;

-- Node name is ':94' = 'fp5' 
-- Equation name is 'fp5', location is LC082, type is buried.
fp5      = DFFE( _EQ036 $  _LC086,  pulse,  start,  VCC,  VCC);
  _EQ036 =  fp0 &  fp1 & !fp2 & !fp3 & !fp4 &  fp5 &  fp6 &  _LC086;

-- Node name is ':93' = 'fp6' 
-- Equation name is 'fp6', location is LC083, type is buried.
fp6      = DFFE( _EQ037 $  _LC091,  pulse,  start,  VCC,  VCC);
  _EQ037 =  fp0 &  fp1 & !fp2 & !fp3 & !fp4 &  fp5 &  fp6 &  _LC091;

-- Node name is ':65' = 'jsq0' 
-- Equation name is 'jsq0', location is LC051, type is buried.
jsq0     = TFFE( clk, !pulse, !_EQ038,  VCC,  VCC);
  _EQ038 =  _X017;
  _X017  = EXP( clk &  start);

-- Node name is ':64' = 'jsq1' 
-- Equation name is 'jsq1', location is LC052, type is buried.
jsq1     = TFFE( _EQ039, !pulse, !_EQ040,  VCC,  VCC);
  _EQ039 =  clk &  jsq0;
  _EQ040 =  _X017;
  _X017  = EXP( clk &  start);

-- Node name is ':63' = 'jsq2' 
-- Equation name is 'jsq2', location is LC054, type is buried.
jsq2     = TFFE( _EQ041, !pulse, !_EQ042,  VCC,  VCC);
  _EQ041 =  clk &  jsq0 &  jsq1;
  _EQ042 =  _X017;
  _X017  = EXP( clk &  start);

-- Node name is ':62' = 'jsq3' 
-- Equation name is 'jsq3', location is LC060, type is buried.
jsq3     = TFFE( _EQ043, !pulse, !_EQ044,  VCC,  VCC);
  _EQ043 =  clk &  jsq0 &  jsq1 &  jsq2;
  _EQ044 =  _X017;
  _X017  = EXP( clk &  start);

-- Node name is ':61' = 'jsq4' 
-- Equation name is 'jsq4', location is LC055, type is buried.