main.rpt

VHDL语言开发的全自动洗衣机的源程序 可以通过一个按键的复用实现5种功能的选择

-- Node name is ':43' = 'num0' 
-- Equation name is 'num0', location is LC057, type is buried.
num0     = DFFE( _EQ024 $  _EQ025,  _LC049,  VCC,  VCC,  VCC);
  _EQ024 = !num0
         #  startstop;
  _EQ025 = !_LC083 & !_LC127;

-- Node name is ':42' = 'num1' 
-- Equation name is 'num1', location is LC058, type is buried.
num1     = DFFE( _EQ026 $  _EQ027,  _LC049,  VCC,  VCC,  VCC);
  _EQ026 = !num1
         #  startstop;
  _EQ027 = !_LC095 & !_LC120;

-- Node name is ':41' = 'num2' 
-- Equation name is 'num2', location is LC059, type is buried.
num2     = DFFE( _EQ028 $  _EQ029,  _LC049,  VCC,  VCC,  VCC);
  _EQ028 = !num2
         #  startstop;
  _EQ029 = !_LC092 & !_LC126;

-- Node name is ':40' = 'num3' 
-- Equation name is 'num3', location is LC068, type is buried.
num3     = DFFE( _EQ030 $  _EQ031,  _LC049,  VCC,  VCC,  VCC);
  _EQ030 = !num3
         #  startstop;
  _EQ031 = !_LC107 & !_LC119;

-- Node name is ':39' = 'num4' 
-- Equation name is 'num4', location is LC071, type is buried.
num4     = DFFE( _EQ032 $  GND,  _LC049,  VCC,  VCC,  VCC);
  _EQ032 =  num4 & !startstop
         #  count14 &  startstop &  state22
         #  _LC108 & !_LC128 &  startstop;

-- Node name is ':38' = 'num5' 
-- Equation name is 'num5', location is LC078, type is buried.
num5     = DFFE( _EQ033 $  GND,  _LC049,  VCC,  VCC,  VCC);
  _EQ033 =  num5 & !startstop
         #  count15 &  startstop &  state22
         #  _LC114 & !_LC128 &  startstop;

-- Node name is 'segout0' = '|display:p1|:23' 
-- Equation name is 'segout0', type is output 
 segout0 = DFFE( _EQ034 $  _EQ035,  _LC041,  VCC,  VCC,  VCC);
  _EQ034 = !cs0 &  cs1 &  cs2 & !_LC053 &  num0 & !num1 & !num2 & !num3 & 
              _X020
         # !cs0 &  cs1 &  cs2 & !_LC053 & !num0 & !num1 &  num2 & !num3 & 
              _X020
         # !cs0 & !_LC053 & !segout0 &  _X020 &  _X021;
  _X020  = EXP( cs0 & !cs1 &  cs2 &  num4 & !num5);
  _X021  = EXP( cs1 &  cs2);
  _EQ035 = !_LC053 &  _X020;
  _X020  = EXP( cs0 & !cs1 &  cs2 &  num4 & !num5);

-- Node name is 'segout1' = '|display:p1|:21' 
-- Equation name is 'segout1', type is output 
 segout1 = DFFE( _EQ036 $  _EQ037,  _LC041,  VCC,  VCC,  VCC);
  _EQ036 = !cs0 &  cs1 &  cs2 & !num0 &  num1 &  num2 & !num3 &  _X022 & 
              _X023 &  _X024
         # !cs0 &  cs1 &  cs2 &  num0 & !num1 &  num2 & !num3 &  _X022 & 
              _X023 &  _X024
         # !cs0 & !segout1 &  _X021 &  _X022 &  _X023 &  _X024;
  _X022  = EXP( cs0 &  cs1 & !cs2 &  snum0 & !snum1 &  snum2);
  _X023  = EXP( cs0 &  cs1 &  cs2 & !segout1);
  _X024  = EXP(!cs1 & !cs2 & !segout1);
  _X021  = EXP( cs1 &  cs2);
  _EQ037 =  _X022 &  _X023 &  _X024;
  _X022  = EXP( cs0 &  cs1 & !cs2 &  snum0 & !snum1 &  snum2);
  _X023  = EXP( cs0 &  cs1 &  cs2 & !segout1);
  _X024  = EXP(!cs1 & !cs2 & !segout1);

-- Node name is 'segout2' = '|display:p1|:19' 
-- Equation name is 'segout2', type is output 
 segout2 = DFFE( _EQ038 $  _EQ039,  _LC041,  VCC,  VCC,  VCC);
  _EQ038 =  cs0 & !cs1 &  cs2 & !num4 &  num5 &  _X025 &  _X026 &  _X027
         # !cs0 &  cs1 &  cs2 & !num0 &  num1 & !num2 & !num3 &  _X025 & 
              _X026 &  _X027
         # !cs0 & !segout2 &  _X021 &  _X025 &  _X026 &  _X027;
  _X025  = EXP( cs0 &  cs1 & !cs2 & !snum0 &  snum1 & !snum2);
  _X026  = EXP( cs0 &  cs1 &  cs2 & !segout2);
  _X027  = EXP(!cs1 & !cs2 & !segout2);
  _X021  = EXP( cs1 &  cs2);
  _EQ039 =  _X025 &  _X026 &  _X027;
  _X025  = EXP( cs0 &  cs1 & !cs2 & !snum0 &  snum1 & !snum2);
  _X026  = EXP( cs0 &  cs1 &  cs2 & !segout2);
  _X027  = EXP(!cs1 & !cs2 & !segout2);

-- Node name is 'segout3' = '|display:p1|:17' 
-- Equation name is 'segout3', type is output 
 segout3 = DFFE( _EQ040 $  _EQ041,  _LC041,  VCC,  VCC,  VCC);
  _EQ040 = !cs0 & !cs2 & !segout3
         # !cs0 & !cs1 & !segout3
         # !cs1 & !cs2 & !segout3;
  _EQ041 = !_LC047 &  _X028 &  _X029;
  _X028  = EXP(!cs0 &  cs1 &  cs2 &  num0 & !num1 & !num2 & !num3);
  _X029  = EXP(!cs0 &  cs1 &  cs2 &  num0 &  num1 &  num2 & !num3);

-- Node name is 'segout4' = '|display:p1|:15' 
-- Equation name is 'segout4', type is output 
 segout4 = DFFE( _EQ042 $ !_LC105,  _LC041,  VCC,  VCC,  VCC);
  _EQ042 =  cs0 & !cs1 &  cs2 &  num4 & !num5
         #  cs0 &  cs1 & !cs2 & !snum1 &  snum2
         #  _LC054;

-- Node name is 'segout5' = '|display:p1|:13' 
-- Equation name is 'segout5', type is output 
 segout5 = DFFE( _EQ043 $  _EQ044,  _LC041,  VCC,  VCC,  VCC);
  _EQ043 =  cs0 &  cs1 & !cs2 & !snum2 &  _X020 &  _X030 &  _X031 &  _X032 & 
              _X033 &  _X034
         # !cs0 & !segout5 &  _X020 &  _X021 &  _X030 &  _X031 &  _X032 & 
              _X033
         # !cs0 &  cs1 &  cs2 &  num1 & !num3 &  _X020 &  _X030 &  _X031 & 
              _X032 &  _X033 &  _X035;
  _X020  = EXP( cs0 & !cs1 &  cs2 &  num4 & !num5);
  _X030  = EXP( cs0 &  cs1 &  cs2 & !segout5);
  _X031  = EXP(!cs1 & !cs2 & !segout5);
  _X032  = EXP( cs0 & !cs1 &  cs2 & !num4 &  num5);
  _X033  = EXP(!cs0 &  cs1 &  cs2 &  num0 & !num2 & !num3);
  _X034  = EXP(!snum0 & !snum1);
  _X021  = EXP( cs1 &  cs2);
  _X035  = EXP(!num0 &  num2);
  _EQ044 =  _X020 &  _X030 &  _X031 &  _X032 &  _X033;
  _X020  = EXP( cs0 & !cs1 &  cs2 &  num4 & !num5);
  _X030  = EXP( cs0 &  cs1 &  cs2 & !segout5);
  _X031  = EXP(!cs1 & !cs2 & !segout5);
  _X032  = EXP( cs0 & !cs1 &  cs2 & !num4 &  num5);
  _X033  = EXP(!cs0 &  cs1 &  cs2 &  num0 & !num2 & !num3);

-- Node name is 'segout6' = '|display:p1|:11' 
-- Equation name is 'segout6', type is output 
 segout6 = DFFE( _EQ045 $ !_LC045,  _LC041,  VCC,  VCC,  VCC);
  _EQ045 = !cs0 &  cs1 &  cs2 & !num1 &  num2 & !num3
         # !cs0 &  cs1 &  cs2 & !num0 &  num2 & !num3;

-- Node name is ':30' = 'snum0' 
-- Equation name is 'snum0', location is LC084, type is buried.
snum0    = DFFE( _EQ046 $  GND,  _EQ047,  VCC,  VCC,  VCC);
  _EQ046 =  state20 &  state22
         # !state20 & !state22
         #  state21;
  _EQ047 =  _LC088 &  _LC091 & !_LC094;

-- Node name is ':29' = 'snum1' 
-- Equation name is 'snum1', location is LC093, type is buried.
snum1    = DFFE( _EQ048 $  VCC,  _EQ049,  VCC,  VCC,  VCC);
  _EQ048 =  state21 &  state22
         # !state21 & !state22
         #  state20;
  _EQ049 =  _LC088 &  _LC091 & !_LC094;

-- Node name is ':28' = 'snum2' 
-- Equation name is 'snum2', location is LC096, type is buried.
snum2    = DFFE( _EQ050 $  GND,  _EQ051,  VCC,  VCC,  VCC);
  _EQ050 =  state20 & !state22;
  _EQ051 =  _LC088 &  _LC091 & !_LC094;

-- Node name is ':31' = 'startstop' 
-- Equation name is 'startstop', location is LC033, type is buried.
startstop = TFFE( VCC,  _EQ052,  VCC,  VCC,  VCC);
  _EQ052 =  _LC042 &  _LC043 & !_LC044;

-- Node name is 'state0' = 'light0' 
-- Equation name is 'state0', location is LC123, type is output.
 state0  = DFFE( _EQ053 $  _EQ054,  _LC049,  VCC,  VCC,  VCC);
  _EQ053 = !count30 & !count31 & !count32 & !count33 &  startstop &  _X036 & 
              _X037 &  _X038 &  _X039
         #  startstop &  state21 &  _X001 &  _X036 &  _X037 &  _X038
         #  startstop &  state22 &  _X005 &  _X036 &  _X037 &  _X038;
  _X036  = EXP( count24 & !count25 &  startstop &  state21);
  _X037  = EXP( startstop & !state20);
  _X038  = EXP(!startstop & !state0);
  _X039  = EXP( count34 & !count35);
  _X001  = EXP(!count20 & !count21 & !count22 & !count23);
  _X005  = EXP(!count10 & !count11 & !count12 & !count13 & !count14 & !count15);
  _EQ054 =  _X036 &  _X037 &  _X038;
  _X036  = EXP( count24 & !count25 &  startstop &  state21);
  _X037  = EXP( startstop & !state20);
  _X038  = EXP(!startstop & !state0);

-- Node name is 'state1' = 'light1' 
-- Equation name is 'state1', location is LC072, type is output.
 state1  = DFFE( _EQ055 $  VCC,  _LC049,  VCC,  VCC,  VCC);
  _EQ055 = !startstop & !state1
         #  startstop & !state21
         #  startstop &  state22 &  _X005
         # !count20 & !count21 & !count22 & !count23 &  startstop &  _X010;
  _X005  = EXP(!count10 & !count11 & !count12 & !count13 & !count14 & !count15);
  _X010  = EXP( count24 & !count25);

-- Node name is 'state2' = 'light2' 
-- Equation name is 'state2', location is LC125, type is output.
 state2  = DFFE( _EQ056 $  VCC,  _LC049,  VCC,  VCC,  VCC);
  _EQ056 = !startstop & !state2
         #  startstop & !state22
         # !count10 & !count11 & !count12 & !count13 & !count14 & !count15 & 
              startstop;

-- Node name is ':27' = 'state20' 
-- Equation name is 'state20', location is LC089, type is buried.
state20  = DFFE( _EQ057 $  GND,  _EQ058,  VCC,  VCC,  VCC);
  _EQ057 =  state21 & !state22
         #  state20 & !state22;
  _EQ058 =  _LC088 &  _LC091 & !_LC094;

-- Node name is ':26' = 'state21' 
-- Equation name is 'state21', location is LC085, type is buried.
state21  = DFFE( _EQ059 $  GND,  _EQ060,  VCC,  VCC,  VCC);
  _EQ059 = !state20 & !state21 &  state22
         #  state20 & !state22;
  _EQ060 =  _LC088 &  _LC091 & !_LC094;

-- Node name is ':25' = 'state22' 
-- Equation name is 'state22', location is LC081, type is buried.
state22  = DFFE( _EQ061 $  GND,  _EQ062,  VCC,  VCC,  VCC);
  _EQ061 =  state21 &  state22
         #  state20 &  state21
         #  state20 &  state22
         # !state20 & !state21 & !state22;
  _EQ062 =  _LC088 &  _LC091 & !_LC094;

-- Node name is '|display:p1|~1242~1' 
-- Equation name is '_LC045', type is buried 
-- synthesized logic cell 
_LC045   = LCELL( _EQ063 $  _EQ064);
  _EQ063 = !cs1 & !cs2 & !_LC034 &  segout6 &  _X032
         #  cs0 &  cs1 &  cs2 & !_LC034 &  segout6 &  _X032
         #  cs0 &  cs1 & !cs2 & !_LC034 & !snum1 &  snum2 &  _X032
         #  cs0 &  cs1 & !cs2 & !_LC034 &  snum1 & !snum2 &  _X032;
  _X032  = EXP( cs0 & !cs1 &  cs2 & !num4 &  num5);
  _EQ064 = !_LC034 &  _X032;
  _X032  = EXP( cs0 & !cs1 &  cs2 & !num4 &  num5);

-- Node name is '|display:p1|~1242~2' 
-- Equation name is '_LC034', type is buried 
-- synthesized logic cell 
_LC034   = LCELL( _EQ065 $  GND);
  _EQ065 = !cs0 &  cs1 &  cs2 &  num1 & !num2 & !num3
         # !cs0 &  cs1 &  cs2 & !num1 & !num2 &  num3
         # !cs0 & !cs1 &  segout6
         # !cs0 & !cs2 &  segout6;

-- Node name is '|display:p1|~1266~1' 
-- Equation name is '_LC054', type is buried 
-- synthesized logic cell 
_LC054   = LCELL( _EQ066 $  GND);
  _EQ066 = !cs0 & !segout4
         # !cs0 &  cs1 &  cs2
         # !cs1 & !cs2 & !segout4
         #  cs1 &  cs2 & !segout4
         #  cs0 &  cs1 & !cs2 &  snum0 & !snum2;

-- Node name is '|display:p1|~1266~2' 
-- Equation name is '_LC105', type is buried 
-- synthesized logic cell 
_LC105   = LCELL( _EQ067 $  GND);
  _EQ067 = !cs0 &  cs1 &  cs2 &  num1 &  num3
         #