watch.rpt

此为秒表程序

  _EQ003 = !_LC1_B14 &  _LC1_B16 & !_LC7_B17;

-- Node name is ':45' = 'numlet0' 
-- Equation name is 'numlet0', location is LC4_B4, type is buried.
numlet0  = DFFE(!numlet0, GLOBAL( cp3),  VCC,  VCC,  VCC);

-- Node name is ':44' = 'numlet1' 
-- Equation name is 'numlet1', location is LC8_B11, type is buried.
numlet1  = DFFE( _EQ004, GLOBAL( cp3),  VCC,  VCC,  VCC);
  _EQ004 = !_LC5_B11 &  numlet0 & !numlet1
         # !_LC5_B11 & !numlet0 &  numlet1;

-- Node name is ':43' = 'numlet2' 
-- Equation name is 'numlet2', location is LC3_B11, type is buried.
numlet2  = DFFE( _EQ005, GLOBAL( cp3),  VCC,  VCC,  VCC);
  _EQ005 = !numlet0 &  numlet2
         #  numlet0 &  numlet1 & !numlet2;

-- Node name is ':49' = 'num0' 
-- Equation name is 'num0', location is LC1_B22, type is buried.
num0     = DFFE( _EQ006, GLOBAL( cp3),  VCC,  VCC,  VCC);
  _EQ006 = !_LC5_B11 &  _LC6_B22
         #  _LC5_B11 &  num60;

-- Node name is ':48' = 'num1~102' 
-- Equation name is 'num1~102', location is LC1_B19, type is buried.
num1~102 = DFFE( _EQ007, GLOBAL( cp3),  VCC,  VCC,  VCC);
  _EQ007 = !_LC5_B11 &  _LC6_B19
         #  _LC5_B11 &  num61;

-- Node name is ':47' = 'num2~102' 
-- Equation name is 'num2~102', location is LC2_B13, type is buried.
num2~102 = DFFE( _EQ008, GLOBAL( cp3),  VCC,  VCC,  VCC);
  _EQ008 = !_LC5_B11 &  _LC8_B13
         #  _LC5_B11 &  num62;

-- Node name is ':46' = 'num3~102' 
-- Equation name is 'num3~102', location is LC8_B24, type is buried.
num3~102 = DFFE( _EQ009, GLOBAL( cp3),  VCC,  VCC,  VCC);
  _EQ009 = !_LC5_B11 &  _LC6_B24
         #  _LC5_B11 &  num63;

-- Node name is ':22' = 'num10' 
-- Equation name is 'num10', location is LC4_B23, type is buried.
num10    = DFFE( _EQ010, GLOBAL( cp2), GLOBAL(!reset),  VCC,  VCC);
  _EQ010 = !beginstop &  num10
         #  beginstop & !num10;

-- Node name is ':21' = 'num11' 
-- Equation name is 'num11', location is LC8_B23, type is buried.
num11    = DFFE( _EQ011, GLOBAL( cp2), GLOBAL(!reset),  VCC,  VCC);
  _EQ011 =  beginstop & !_LC2_B23 &  num10 & !num11
         # !_LC2_B23 & !num10 &  num11
         # !beginstop &  num11;

-- Node name is ':20' = 'num12' 
-- Equation name is 'num12', location is LC6_B23, type is buried.
num12    = DFFE( _EQ012, GLOBAL( cp2), GLOBAL(!reset),  VCC,  VCC);
  _EQ012 = !_LC2_B23 & !_LC5_B23 &  num12
         #  beginstop & !_LC2_B23 &  _LC5_B23 & !num12
         # !beginstop &  num12;

-- Node name is ':19' = 'num13' 
-- Equation name is 'num13', location is LC3_B23, type is buried.
num13    = DFFE( _EQ013, GLOBAL( cp2), GLOBAL(!reset),  VCC,  VCC);
  _EQ013 = !_LC2_B23 & !_LC7_B23 &  num13
         #  beginstop & !_LC2_B23 &  _LC7_B23 & !num13
         # !beginstop &  num13;

-- Node name is ':26' = 'num20' 
-- Equation name is 'num20', location is LC1_B18, type is buried.
num20    = DFFE( _EQ014, GLOBAL( cp2), GLOBAL(!reset),  VCC,  VCC);
  _EQ014 = !_LC2_B23 &  num20
         #  beginstop &  _LC2_B23 & !num20
         # !beginstop &  num20;

-- Node name is ':25' = 'num21' 
-- Equation name is 'num21', location is LC2_B21, type is buried.
num21    = DFFE( _EQ015, GLOBAL( cp2), GLOBAL(!reset),  VCC,  VCC);
  _EQ015 =  beginstop &  _LC5_B21
         # !_LC2_B23 &  num21
         # !beginstop &  num21;

-- Node name is ':24' = 'num22' 
-- Equation name is 'num22', location is LC3_B21, type is buried.
num22    = DFFE( _EQ016, GLOBAL( cp2), GLOBAL(!reset),  VCC,  VCC);
  _EQ016 =  beginstop &  _LC7_B21
         # !_LC2_B23 &  num22
         # !beginstop &  num22;

-- Node name is ':23' = 'num23' 
-- Equation name is 'num23', location is LC1_B21, type is buried.
num23    = DFFE( _EQ017, GLOBAL( cp2), GLOBAL(!reset),  VCC,  VCC);
  _EQ017 =  beginstop &  _LC8_B21
         # !_LC2_B23 &  num23
         # !beginstop &  num23;

-- Node name is ':30' = 'num30' 
-- Equation name is 'num30', location is LC1_B6, type is buried.
num30    = DFFE( _EQ018, GLOBAL( cp2), GLOBAL(!reset),  VCC,  VCC);
  _EQ018 =  _LC4_B14 &  num30
         # !_LC4_B14 & !num30;

-- Node name is ':29' = 'num31' 
-- Equation name is 'num31', location is LC1_B20, type is buried.
num31    = DFFE( _EQ019, GLOBAL( cp2), GLOBAL(!reset),  VCC,  VCC);
  _EQ019 =  _LC3_B20 &  num31
         #  _LC6_B14 &  num30 & !num31;

-- Node name is ':28' = 'num32' 
-- Equation name is 'num32', location is LC4_B20, type is buried.
num32    = DFFE( _EQ020, GLOBAL( cp2), GLOBAL(!reset),  VCC,  VCC);
  _EQ020 =  _LC5_B20 &  num32
         #  _LC4_B14 &  num32
         #  _LC6_B20;

-- Node name is ':27' = 'num33' 
-- Equation name is 'num33', location is LC2_B18, type is buried.
num33    = DFFE( _EQ021, GLOBAL( cp2), GLOBAL(!reset),  VCC,  VCC);
  _EQ021 =  beginstop &  _LC2_B20 &  _LC2_B23
         # !_LC2_B23 &  num33
         # !beginstop &  num33;

-- Node name is ':34' = 'num40' 
-- Equation name is 'num40', location is LC2_B15, type is buried.
num40    = DFFE( _EQ022, GLOBAL( cp2), GLOBAL(!reset),  VCC,  VCC);
  _EQ022 =  _LC4_B14 &  num40
         # !_LC8_B20 &  num40
         # !_LC4_B14 &  _LC8_B20 & !num40;

-- Node name is ':33' = 'num41' 
-- Equation name is 'num41', location is LC3_B15, type is buried.
num41    = DFFE( _EQ023, GLOBAL( cp2), GLOBAL(!reset),  VCC,  VCC);
  _EQ023 =  _LC7_B14 &  num40 & !num41
         #  _LC5_B15 &  num41;

-- Node name is ':32' = 'num42' 
-- Equation name is 'num42', location is LC4_B15, type is buried.
num42    = DFFE( _EQ024, GLOBAL( cp2), GLOBAL(!reset),  VCC,  VCC);
  _EQ024 =  _LC8_B15 &  num42
         #  _LC7_B14 &  _LC7_B15 & !num42;

-- Node name is ':31' = 'num43' 
-- Equation name is 'num43', location is LC5_B14, type is buried.
num43    = DFFE( _EQ025, GLOBAL( cp2), GLOBAL(!reset),  VCC,  VCC);
  _EQ025 = !_LC6_B15 &  _LC7_B14 & !num43
         #  _LC8_B14 &  num43;

-- Node name is ':38' = 'num50' 
-- Equation name is 'num50', location is LC3_B16, type is buried.
num50    = DFFE( _EQ026, GLOBAL( cp2), GLOBAL(!reset),  VCC,  VCC);
  _EQ026 =  _LC1_B14 &  num50
         # !_LC1_B14 & !num50;

-- Node name is ':37' = 'num51' 
-- Equation name is 'num51', location is LC5_B16, type is buried.
num51    = DFFE( _EQ027, GLOBAL( cp2), GLOBAL(!reset),  VCC,  VCC);
  _EQ027 =  _LC2_B14 &  num50 & !num51
         #  _LC6_B16 &  num51;

-- Node name is ':36' = 'num52' 
-- Equation name is 'num52', location is LC4_B16, type is buried.
num52    = DFFE( _EQ028, GLOBAL( cp2), GLOBAL(!reset),  VCC,  VCC);
  _EQ028 =  _LC7_B16 &  num52
         #  _LC1_B14 &  num52
         #  _LC8_B16;

-- Node name is ':35' = 'num53' 
-- Equation name is 'num53', location is LC1_B24, type is buried.
num53    = DFFE( _EQ029, GLOBAL( cp2), GLOBAL(!reset),  VCC,  VCC);
  _EQ029 =  _LC2_B14 & !_LC2_B16 & !num53
         #  _LC3_B14 &  num53;

-- Node name is ':42' = 'num60' 
-- Equation name is 'num60', location is LC2_B17, type is buried.
num60    = DFFE( _EQ030, GLOBAL( cp2