taxi.rpt

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

jsq4     = TFFE( _EQ045, !pulse, !_EQ046,  VCC,  VCC);
  _EQ045 =  clk &  jsq0 &  jsq1 &  jsq2 &  jsq3;
  _EQ046 =  _X017;
  _X017  = EXP( clk &  start);

-- Node name is ':36' = 'k10' 
-- Equation name is 'k10', location is LC043, type is buried.
k10      = TFFE( VCC,  pulse2,  start,  VCC,  VCC);

-- Node name is ':35' = 'k11' 
-- Equation name is 'k11', location is LC036, type is buried.
k11      = DFFE( _EQ047 $  _LC045,  pulse2,  start,  VCC,  VCC);
  _EQ047 =  k10 & !k11 & !k12 &  k13 &  _LC045;

-- Node name is ':34' = 'k12' 
-- Equation name is 'k12', location is LC044, type is buried.
k12      = TFFE( _EQ048,  pulse2,  start,  VCC,  VCC);
  _EQ048 =  k10 &  k11;

-- Node name is ':33' = 'k13' 
-- Equation name is 'k13', location is LC042, type is buried.
k13      = DFFE( _EQ049 $  _LC046,  pulse2,  start,  VCC,  VCC);
  _EQ049 =  k10 & !k11 & !k12 &  k13 &  _LC046;

-- Node name is ':41' = 'k20' 
-- Equation name is 'k20', location is LC047, type is buried.
k20      = TFFE( _EQ050,  pulse2,  start,  VCC,  VCC);
  _EQ050 =  k10 & !k11 & !k12 &  k13;

-- Node name is ':40' = 'k21' 
-- Equation name is 'k21', location is LC023, type is buried.
k21      = TFFE( _EQ051,  pulse2,  start,  VCC,  VCC);
  _EQ051 =  k10 & !k11 & !k12 &  k13 &  k20 & !k21 &  k22
         #  k10 & !k11 & !k12 &  k13 &  k20 & !k21 & !k23
         #  k10 & !k11 & !k12 &  k13 &  k20 &  k21;

-- Node name is ':39' = 'k22' 
-- Equation name is 'k22', location is LC022, type is buried.
k22      = TFFE( _EQ052,  pulse2,  start,  VCC,  VCC);
  _EQ052 =  k10 & !k11 & !k12 &  k13 &  k20 &  k21;

-- Node name is ':38' = 'k23' 
-- Equation name is 'k23', location is LC032, type is buried.
k23      = TFFE( _EQ053,  pulse2,  start,  VCC,  VCC);
  _EQ053 =  k10 & !k11 & !k12 &  k13 &  k20 & !k21 & !k22 &  k23
         #  k10 & !k11 & !k12 &  k13 &  k20 &  k21 &  k22;

-- Node name is ':45' = 'k30' 
-- Equation name is 'k30', location is LC020, type is buried.
k30      = TFFE( _EQ054,  pulse2,  start,  VCC,  VCC);
  _EQ054 =  k10 & !k11 & !k12 &  k13 &  k20 & !k21 & !k22 &  k23;

-- Node name is ':44' = 'k31' 
-- Equation name is 'k31', location is LC028, type is buried.
k31      = TFFE( _EQ055,  pulse2,  start,  VCC,  VCC);
  _EQ055 =  k10 & !k11 & !k12 &  k13 &  k20 & !k21 & !k22 &  k23 &  k30 & 
             !k31 &  k32
         #  k10 & !k11 & !k12 &  k13 &  k20 & !k21 & !k22 &  k23 &  k30 & 
             !k31 & !k33
         #  k10 & !k11 & !k12 &  k13 &  k20 & !k21 & !k22 &  k23 &  k30 & 
              k31;

-- Node name is ':43' = 'k32' 
-- Equation name is 'k32', location is LC026, type is buried.
k32      = TFFE( _EQ056,  pulse2,  start,  VCC,  VCC);
  _EQ056 =  k10 & !k11 & !k12 &  k13 &  k20 & !k21 & !k22 &  k23 &  k30 & 
              k31;

-- Node name is ':42' = 'k33' 
-- Equation name is 'k33', location is LC031, type is buried.
k33      = TFFE( _EQ057,  pulse2,  start,  VCC,  VCC);
  _EQ057 =  k10 & !k11 & !k12 &  k13 &  k20 & !k21 & !k22 &  k23 &  k30 & 
             !k31 & !k32 &  k33
         #  k10 & !k11 & !k12 &  k13 &  k20 & !k21 & !k22 &  k23 &  k30 & 
              k31 &  k32;

-- Node name is 'led' 
-- Equation name is 'led', location is LC053, type is output.
 led     = LCELL( start $  GND);

-- Node name is ':47' = 'mc' 
-- Equation name is 'mc', location is LC101, type is buried.
mc       = DFFE( _EQ058 $  GND, GLOBAL( clk),  VCC,  VCC,  start);
  _EQ058 =  waits &  wjsq0 & !wjsq1 &  wjsq2 & !wjsq3 &  wjsq4 & !wjsq5 & 
             !wjsq6 &  wjsq7
         #  mc & !waits;

-- Node name is ':78' = 'mi10' 
-- Equation name is 'mi10', location is LC010, type is buried.
mi10     = TFFE( _EQ059, GLOBAL( clk),  start,  VCC,  VCC);
  _EQ059 =  se10 & !se11 & !se12 &  se13 &  se20 & !se21 &  se22 & !se23 & 
              waits;

-- Node name is ':77' = 'mi11' 
-- Equation name is 'mi11', location is LC007, type is buried.
mi11     = TFFE( _EQ060, GLOBAL( clk),  start,  VCC,  VCC);
  _EQ060 =  mi10 & !mi11 &  mi12 &  se10 & !se11 & !se12 &  se13 &  se20 & 
             !se21 &  se22 & !se23 &  waits
         #  mi10 & !mi11 & !mi13 &  se10 & !se11 & !se12 &  se13 &  se20 & 
             !se21 &  se22 & !se23 &  waits
         #  mi10 &  mi11 &  se10 & !se11 & !se12 &  se13 &  se20 & !se21 & 
              se22 & !se23 &  waits;

-- Node name is ':76' = 'mi12' 
-- Equation name is 'mi12', location is LC009, type is buried.
mi12     = TFFE( _EQ061, GLOBAL( clk),  start,  VCC,  VCC);
  _EQ061 =  mi10 &  mi11 &  se10 & !se11 & !se12 &  se13 &  se20 & !se21 & 
              se22 & !se23 &  waits;

-- Node name is ':75' = 'mi13' 
-- Equation name is 'mi13', location is LC004, type is buried.
mi13     = TFFE( _EQ062, GLOBAL( clk),  start,  VCC,  VCC);
  _EQ062 =  mi10 & !mi11 & !mi12 &  mi13 &  se10 & !se11 & !se12 &  se13 & 
              se20 & !se21 &  se22 & !se23 &  waits
         #  mi10 &  mi11 &  mi12 &  se10 & !se11 & !se12 &  se13 &  se20 & 
             !se21 &  se22 & !se23 &  waits;

-- Node name is 'out10' 
-- Equation name is 'out10', location is LC011, type is output.
 out10   = LCELL( _EQ063 $  VCC);
  _EQ063 =  out13 & !o10 & !o11 & !o12
         # !out13 & !o10;

-- Node name is 'out11' 
-- Equation name is 'out11', location is LC008, type is output.
 out11   = LCELL( _EQ064 $  o11);
  _EQ064 =  out13 &  o11;

-- Node name is 'out12' 
-- Equation name is 'out12', location is LC006, type is output.
 out12   = LCELL( _EQ065 $  GND);
  _EQ065 = !out13 &  o12;

-- Node name is 'out13' = 'o13' 
-- Equation name is 'out13', location is LC005, type is output.
 out13   = DFFE( _EQ066 $  GND, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ066 =  k13 &  sw
         #  se13 & !sw;

-- Node name is 'out20' 
-- Equation name is 'out20', location is LC003, type is output.
 out20   = LCELL( _EQ067 $  VCC);
  _EQ067 =  out23 & !o20 & !o21 & !o22
         # !out23 & !o20;

-- Node name is 'out21' 
-- Equation name is 'out21', location is LC029, type is output.
 out21   = LCELL( _EQ068 $  o21);
  _EQ068 =  out23 &  o21;

-- Node name is 'out22' 
-- Equation name is 'out22', location is LC027, type is output.
 out22   = LCELL( _EQ069 $  GND);
  _EQ069 = !out23 &  o22;

-- Node name is 'out23' = 'o23' 
-- Equation name is 'out23', location is LC025, type is output.
 out23   = DFFE( _EQ070 $  GND, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ070 =  k23 &  sw
         #  se23 & !sw;

-- Node name is 'out30' 
-- Equation name is 'out30', location is LC024, type is output.
 out30   = LCELL( _EQ071 $  VCC);
  _EQ071 =  out33 & !o30 & !o31 & !o32
         # !out33 & !o30;

-- Node name is 'out31' 
-- Equation name is 'out31', location is LC021, type is output.
 out31   = LCELL( _EQ072 $  o31);
  _EQ072 =  out33 &  o31;

-- Node name is 'out32' 
-- Equation name is 'out32', location is LC019, type is output.
 out32   = LCELL( _EQ073 $  GND);
  _EQ073 = !out33 &  o32;

-- Node name is 'out33' = 'o33' 
-- Equation name is 'out33', location is LC017, type is output.
 out33   = DFFE( _EQ074 $  GND, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ074 =  k33 &  sw
         #  mi13 & !sw;

-- Node name is ':82' = 'o10' 
-- Equation name is 'o10', location is LC015, type is buried.
o10      = DFFE( _EQ075 $  GND, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ075 =  k10 &  sw
         #  se10 & !sw;

-- Node name is ':81' = 'o11' 
-- Equation name is 'o11', location is LC049, type is buried.
o11      = DFFE( _EQ076 $  GND, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ076 =  k11 &  sw
         #  se11 & !sw;

-- Node name is ':80' = 'o12' 
-- Equation name is 'o12', location is LC050, type is buried.
o12      = DFFE( _EQ077 $  GND, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ077 =  k12 &  sw
         #  se12 & !sw;

-- Node name is ':86' = 'o20' 
-- Equation name is 'o20', location is LC030, type is buried.
o20      = DFFE( _EQ078 $  GND, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ078 =  k20 &  sw
         #  se20 & !sw;

-- Node name is ':85' = 'o21' 
-- Equation name is 'o21', location is LC002, type is buried.
o21      = DFFE( _EQ079 $  GND, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ079 =  k21 &  sw
         #  se21 & !sw;

-- Node name is ':84' = 'o22' 
-- Equation name is 'o22', location is LC013, type is buried.
o22      = DFFE( _EQ080 $  GND, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ080 =  k22 &  sw
         #  se22 & !sw;

-- Node name is ':90' = 'o30' 
-- Equation name is 'o30', location is LC084, type is buried.
o30      = DFFE( _EQ081 $  GND, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ081 =  k30 &  sw
         #  mi10 & !sw;

-- Node name is ':89' = 'o31' 
-- Equation name is 'o31', location is LC085, type is buried.
o31      = DFFE( _EQ082 $  GND, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ082 =  k31 &  sw
         #  mi11 & !sw;

-- Node name is ':88' = 'o32' 
-- Equation name is 'o32', location is LC087, type is buried.
o32      = DFFE( _EQ083 $  GND, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ083 =  k32 &  sw
         #  mi12 & !sw;

-- Node name is ':31' = 'pulse2' 
-- Equation name is 'pulse2', location is LC089, type is buried.
pulse2   = DFFE( _EQ084 $  GND,  pulse,  start,  VCC,  VCC);
  _EQ084 =  fp0 &  fp1 & !fp2 & !fp3 & !fp4 &  fp5 &  fp6;

-- Node name is ':70' = 'se10' 
-- Equation name is 'se10', location is LC097, type is buried.
se10     = TFFE( waits, GLOBAL( clk),  start,  VCC,  VCC);

-- Node name is ':69' = 'se11' 
-- Equation name is 'se11', location is LC109, type is buried.
se11     = TFFE( _EQ085, GLOBAL( clk),  start,  VCC,  VCC);
  _EQ085 =  se10 & !se11 &  se12 &  waits
         #  se10 & !se11 & !se13 &  waits
         #  se10 &  se11 &  waits;

-- Node name is ':68' = 'se12' 
-- Equation name is 'se12', location is LC108, type is buried.
se12     = TFFE( _EQ086, GLOBAL( clk),  start,  VCC,  VCC);
  _EQ086 =  se10 &  se11 &  waits;

-- Node name is ':67' = 'se13' 
-- Equation name is 'se13', location is LC001, type is buried.
se13     = TFFE( _EQ087, GLOBAL( clk),  start,  VCC,  VCC);
  _EQ087 =  se10 & !se11 & !se12 &  se13 &  waits
         #  se10 &  se11 &  se12 &  waits;

-- Node name is ':74' = 'se20' 
-- Equation name is 'se20', location is LC098, type is buried.
se20     = TFFE( _EQ088, GLOBAL( clk),  start,  VCC,  VCC);
  _EQ088 =  se10 & !se11 & !se12 &  se13 &  waits;

-- Node name is ':73' = 'se21' 
-- Equation name is 'se21', l