duanxuan.rpt

出租车计费器,VHDL实现

  _EQ026 = !_LC7_C15 & !strpri0
         #  _LC1_A14 & !strpri0
         # !_LC1_A14 & !_LC7_C15;

-- Node name is ':519' 
-- Equation name is '_LC1_C15', type is buried 
!_LC1_C15 = _LC1_C15~NOT;
_LC1_C15~NOT = LCELL( _EQ027);
  _EQ027 = !_LC8_C15 & !strpri4
         #  _LC2_A13 & !strpri4
         # !_LC2_A13 & !_LC8_C15
         #  _LC2_A14;

-- Node name is ':523' 
-- Equation name is '_LC7_B16', type is buried 
!_LC7_B16 = _LC7_B16~NOT;
_LC7_B16~NOT = LCELL( _EQ028);
  _EQ028 = !_LC1_C15 & !_LC5_A13 & !_LC7_A13
         #  _LC3_A13 & !_LC7_A13;

-- Node name is '~825~1' 
-- Equation name is '~825~1', location is LC6_B6, type is buried.
-- synthesized logic cell 
_LC6_B6  = LCELL( _EQ029);
  _EQ029 =  _LC6_A14 & !sec3 & !sec7
         #  _LC2_A14 & !sec7
         # !_LC2_A14 &  _LC6_A14 & !sec3;

-- Node name is ':845' 
-- Equation name is '_LC1_B6', type is buried 
!_LC1_B6 = _LC1_B6~NOT;
_LC1_B6~NOT = LCELL( _EQ030);
  _EQ030 = !_LC1_A14 &  _LC6_B6 & !min3
         #  _LC2_A13 & !min3
         # !_LC1_A14 & !_LC2_A13 &  _LC6_B6;

-- Node name is ':866' 
-- Equation name is '_LC6_B10', type is buried 
!_LC6_B10 = _LC6_B10~NOT;
_LC6_B10~NOT = LCELL( _EQ031);
  _EQ031 = !min7
         # !_LC5_A13;

-- Node name is ':885' 
-- Equation name is '_LC7_B10', type is buried 
!_LC7_B10 = _LC7_B10~NOT;
_LC7_B10~NOT = LCELL( _EQ032);
  _EQ032 = !_LC1_B6 & !_LC3_A13 & !_LC6_B10
         # !_LC3_A13 &  _LC5_A13 & !_LC6_B10;

-- Node name is ':906' 
-- Equation name is '_LC8_B10', type is buried 
!_LC8_B10 = _LC8_B10~NOT;
_LC8_B10~NOT = LCELL( _EQ033);
  _EQ033 = !fare3
         # !_LC7_A13;

-- Node name is ':926' 
-- Equation name is '_LC4_B4', type is buried 
!_LC4_B4 = _LC4_B4~NOT;
_LC4_B4~NOT = LCELL( _EQ034);
  _EQ034 = !fare7
         # !_LC6_A13;

-- Node name is ':927' 
-- Equation name is '_LC5_B10', type is buried 
!_LC5_B10 = _LC5_B10~NOT;
_LC5_B10~NOT = LCELL( _EQ035);
  _EQ035 = !_LC7_B10 & !_LC8_B10
         #  _LC7_A13 & !_LC8_B10
         #  _LC6_A13;

-- Node name is '~937~1' 
-- Equation name is '~937~1', location is LC2_B11, type is buried.
-- synthesized logic cell 
_LC2_B11 = LCELL( _EQ036);
  _EQ036 = !_LC2_A14 &  sec2
         # !_LC2_A14 & !_LC6_A14
         #  _LC2_A14 &  sec6;

-- Node name is ':940' 
-- Equation name is '_LC7_B11', type is buried 
_LC7_B11 = LCELL( _EQ037);
  _EQ037 = !_LC2_A13 &  _LC2_B11
         #  _LC1_A14 & !_LC2_A13
         #  _LC2_A13 &  min2;

-- Node name is ':946' 
-- Equation name is '_LC6_B11', type is buried 
_LC6_B11 = LCELL( _EQ038);
  _EQ038 = !_LC5_A13 &  _LC7_B11
         #  _LC5_A13 &  min6
         #  _LC3_A13;

-- Node name is ':949' 
-- Equation name is '_LC5_B11', type is buried 
_LC5_B11 = LCELL( _EQ039);
  _EQ039 =  _LC6_B11 & !_LC7_A13
         #  fare2 &  _LC7_A13;

-- Node name is ':952' 
-- Equation name is '_LC3_B11', type is buried 
_LC3_B11 = LCELL( _EQ040);
  _EQ040 =  _LC5_B11 & !_LC6_A13
         #  fare6 &  _LC6_A13;

-- Node name is '~964~1' 
-- Equation name is '~964~1', location is LC5_B6, type is buried.
-- synthesized logic cell 
!_LC5_B6 = _LC5_B6~NOT;
_LC5_B6~NOT = LCELL( _EQ041);
  _EQ041 = !_LC2_A14 &  sec1
         # !_LC2_A14 & !_LC6_A14
         #  _LC2_A14 &  sec5;

-- Node name is ':967' 
-- Equation name is '_LC2_B6', type is buried 
_LC2_B6  = LCELL( _EQ042);
  _EQ042 = !_LC2_A13 & !_LC5_B6
         #  _LC1_A14 & !_LC2_A13
         #  _LC2_A13 &  min1;

-- Node name is ':973' 
-- Equation name is '_LC7_B4', type is buried 
_LC7_B4  = LCELL( _EQ043);
  _EQ043 =  _LC2_B6 & !_LC5_A13
         #  _LC5_A13 &  min5
         #  _LC3_A13;

-- Node name is ':976' 
-- Equation name is '_LC6_B4', type is buried 
_LC6_B4  = LCELL( _EQ044);
  _EQ044 = !_LC7_A13 &  _LC7_B4
         #  fare1 &  _LC7_A13;

-- Node name is ':979' 
-- Equation name is '_LC5_B4', type is buried 
_LC5_B4  = LCELL( _EQ045);
  _EQ045 = !_LC6_A13 &  _LC6_B4
         #  fare5 &  _LC6_A13;

-- Node name is ':985' 
-- Equation name is '_LC1_B18', type is buried 
!_LC1_B18 = _LC1_B18~NOT;
_LC1_B18~NOT = LCELL( _EQ046);
  _EQ046 =  _LC6_A14 & !sec0;

-- Node name is ':988' 
-- Equation name is '_LC6_B16', type is buried 
!_LC6_B16 = _LC6_B16~NOT;
_LC6_B16~NOT = LCELL( _EQ047);
  _EQ047 = !_LC1_B18 & !sec4
         #  _LC2_A14 & !sec4
         # !_LC1_B18 & !_LC2_A14;

-- Node name is ':994' 
-- Equation name is '_LC5_B16', type is buried 
!_LC5_B16 = _LC5_B16~NOT;
_LC5_B16~NOT = LCELL( _EQ048);
  _EQ048 =  _LC1_A14 & !min0
         #  _LC2_A13 & !min0
         # !_LC6_B16 & !min0
         #  _LC1_A14 & !_LC2_A13
         # !_LC2_A13 & !_LC6_B16;

-- Node name is ':997' 
-- Equation name is '_LC4_B16', type is buried 
!_LC4_B16 = _LC4_B16~NOT;
_LC4_B16~NOT = LCELL( _EQ049);
  _EQ049 = !_LC5_B16 & !min4
         #  _LC5_A13 & !min4
         # !_LC5_A13 & !_LC5_B16;

-- Node name is ':1003' 
-- Equation name is '_LC3_B16', type is buried 
!_LC3_B16 = _LC3_B16~NOT;
_LC3_B16~NOT = LCELL( _EQ050);
  _EQ050 = !fare0 & !_LC4_B16
         # !fare0 &  _LC7_A13
         # !fare0 &  _LC3_A13
         # !_LC4_B16 & !_LC7_A13
         #  _LC3_A13 & !_LC7_A13;

-- Node name is ':1006' 
-- Equation name is '_LC1_B16', type is buried 
!_LC1_B16 = _LC1_B16~NOT;
_LC1_B16~NOT = LCELL( _EQ051);
  _EQ051 = !fare4 & !_LC3_B16
         # !fare4 &  _LC6_A13
         # !_LC3_B16 & !_LC6_A13;

-- Node name is ':1022' 
-- Equation name is '_LC1_B4', type is buried 
!_LC1_B4 = _LC1_B4~NOT;
_LC1_B4~NOT = LCELL( _EQ052);
  _EQ052 = !_LC4_B4 & !_LC5_B10 & !_LC5_C5
         # !_LC5_C5 &  start
         # !_LC4_B4 & !_LC5_B10 & !start;

-- Node name is ':1028' 
-- Equation name is '_LC1_C8', type is buried 
_LC1_C8  = LCELL( _EQ053);
  _EQ053 =  _LC3_B11 & !start
         #  _LC1_C6 &  _LC3_C8 &  start;

-- Node name is '~1029~1' 
-- Equation name is '~1029~1', location is LC1_C6, type is buried.
-- synthesized logic cell 
!_LC1_C6 = _LC1_C6~NOT;
_LC1_C6~NOT = LCELL( _EQ054);
  _EQ054 =  _LC7_A13
         #  _LC6_A13;

-- Node name is ':1034' 
-- Equation name is '_LC2_B4', type is buried 
_LC2_B4  = LCELL( _EQ055);
  _EQ055 =  _LC5_B4 & !start
         #  _LC4_C7 &  start;

-- Node name is ':1040' 
-- Equation name is '_LC2_B16', type is buried 
!_LC2_B16 = _LC2_B16~NOT;
_LC2_B16~NOT = LCELL( _EQ056);
  _EQ056 = !_LC1_B16 & !_LC7_B16
         # !_LC7_B16 &  start
         # !_LC1_B16 & !start
         # !_LC1_B16 &  _LC6_A13
         #  _LC6_A13 &  start;

-- Node name is ':1428' 
-- Equation name is '_LC4_A1', type is buried 
_LC4_A1  = LCELL( _EQ057);
  _EQ057 =  _LC1_B4 &  _LC1_C8 & !_LC2_B4 & !_LC2_B16;

-- Node name is ':1440' 
-- Equation name is '_LC3_A3', type is buried 
_LC3_A3  = LCELL( _EQ058);
  _EQ058 =  _LC1_B4 & !_LC1_C8 &  _LC2_B4 &  _LC2_B16;

-- Node name is ':1488' 
-- Equation name is '_LC1_A6', type is buried 
!_LC1_A6 = _LC1_A6~NOT;
_LC1_A6~NOT = LCELL( _EQ059);
  _EQ059 = !_LC1_C8
         #  _LC1_B4
         # !_LC2_B16
         # !_LC2_B4;

-- Node name is ':1500' 
-- Equation name is '_LC1_A10', type is buried 
_LC1_A10 = LCELL( _EQ060);
  _EQ060 = !_LC1_B4 &  _LC1_C8 &  _LC2_B4 & !_LC2_B16;

-- Node name is ':1515' 
-- Equation name is '_LC6_A3', type is buried 
_LC6_A3  = LCELL( _EQ061);
  _EQ061 =  _LC3_A3
         #  _LC1_A6
         #  _LC2_A3
         # !_LC4_A11;

-- Node name is ':1548' 
-- Equation name is '_LC3_A2', type is buried 
_LC3_A2  = LCELL( _EQ062);
  _EQ062 = !_LC1_B4 & !_LC1_C8 &  _LC2_B4 & !_LC2_B16;

-- Node name is ':1560' 
-- Equation name is '_LC2_A7', type is buried 
!_LC2_A7 = _LC2_A7~NOT;
_LC2_A7~NOT = LCELL( _EQ063);
  _EQ063 = !_LC2_B16
         #  _LC2_B4
         #  _LC1_C8
         #  _LC1_B4;

-- Node name is ':1572' 
-- Equation name is '_LC1_A4', type is buried 
!_LC1_A4 = _LC1_A4~NOT;
_LC1_A4~NOT = LCELL( _EQ064);
  _EQ064 =  _LC2_B16
         #  _LC2_B4
         #  _LC1_C8
         #  _LC1_B4;

-- Node name is ':1575' 
-- Equation name is '_LC7_A9', type is buried 
_LC7_A9  = LCELL( _EQ065);
  _EQ065 = !_LC1_B4 &  _LC2_B4
         # !_LC1_C8 &  _LC2_B4
         # !_LC1_B4 &  _LC1_C8 &  _LC2_B16
         #  _LC1_B4 & !_LC1_C8
         # !_LC1_C8 & !_LC2_B16;

-- Node name is ':1590' 
-- Equation name is '_LC6_A1', type is buried 
_LC6_A1  = LCELL( _EQ066);
  _EQ066 =  _LC1_B4 & !_LC1_C8 &  _LC2_B4 &  _LC2_B16
         #  _LC1_B4 &  _LC1_C8 & !_LC2_B4 &  _LC2_B16;

-- Node name is '~1613~1' 
-- Equation name is '~1613~1', location is LC4_A11, type is buried.
-- synthesized logic cell 
!_LC4_A11 = _LC4_A11~NOT;
_LC4_A11~NOT = LCELL( _EQ067);
  _EQ067 = !_LC1_B4 &  _LC1_C8 & !_LC2_B4 &  _LC2_B16
         # !_LC1_B4 &  _LC1_C8 &  _LC2_B4 & !_LC2_B16;

-- Node name is ':1613' 
-- Equation name is '_LC5_A1', type is buried 
_LC5_A1  = LCELL( _EQ068);
  _EQ068 =  _LC1_B4 & !_LC2_B4 &  _LC2_B16
         # !_LC1_B4 &  _LC1_C8 &  _LC2_B4 &  _LC2_B16
         #  _LC1_B4 & !_LC1_C8 & !_LC2_B4
         #  _LC1_B4 & !_LC1_C8 &  _LC2_B16;

-- Node name is ':1623' 
-- Equation name is '_LC7_A1', type is buried 
_LC7_A1  = LCELL( _EQ069);
  _EQ069 =  _LC5_A1
         #  _LC2_A7
         #  _LC1_A4
         #  _LC2_A1;

-- Node name is '~1662~1' 
-- Equation name is '~1662~1', location is LC2_A2, type is buried.
-- synthesized logic cell 
_LC2_A2  = LCELL( _EQ070);
  _EQ070 = !_LC1_B4 &  _LC1_C8 &  _LC2_B4 &  _LC2_B16
         #  _LC1_B4 & !_LC1_C8 & !_LC2_B4;

-- Node name is '~1662~2' 
-- Equation name is '~1662~2', location is LC1_A2, type is buried.
-- synthesized logic cell 
_LC1_A2  = LCELL( _EQ071);
  _EQ071 = !_LC1_B4 &  _LC1_C8 & !_LC2_B16
         #  _LC1_C8 & !_LC2_B4 &  _LC2_B16
         # !_LC1_B4 &  _LC1_C8 & !_LC2_B4
         # !_LC1_B4 & !_LC1_C8 &  _LC2_B4 &  _LC2_B16;

-- Node name is ':1671' 
-- Equation name is '_LC5_A2', type is buried 
_LC5_A2  = LCELL( _EQ072);
  _EQ072 =  _LC2_A2 & !_LC3_A2
         #  _LC1_A2 & !_LC3_A2
         # !_LC1_A12;

-- Node name is ':1719' 
-- Equation name is '_LC1_A8', type is buried 
_LC1_A8  = LCELL( _EQ073);
  _EQ073 = !_LC1_B4 & !_LC1_C8 &  _LC2_B4
         # !_LC1_B4 &  _LC2_B4 & !_LC2_B16
         #  _LC1_B4 & !_LC1_C8 & !_LC2_B4
         # !_LC1_C8 & !_LC2_B16
         #  _LC1_C8 & !_LC2_B4 &  _LC2_B16
         #  _LC1_B4 & !_LC2_B4 & !_LC2_B16;

-- Node name is ':1743' 
-- Equation name is '_LC4_A10', type is buried 
_LC4_A10 = LCELL( _EQ074);
  _EQ074 =  _LC1_B4 & !_LC2_B4 & !_LC2_B16
         #  _LC1_B4 & !_LC1_C8 &  _LC2_B4
         #  _LC1_B4 & !_LC1_C8 & !_LC2_B16;

-- Node name is '~1763~1' 
-- Equation name is '~1763~1', location is LC2_A10, type is buried.
-- synthesized logic cell 
_LC2_A10 = LCELL( _EQ075);
  _EQ075 =  _LC1_B4