disp.rpt

采用MaxPlusII写的一个小时钟程序

  _EQ056 =  q624
         #  q625
         #  q626
         #  q627;

-- Node name is '~161~7' 
-- Equation name is '~161~7', location is LC5_B11, type is buried.
-- synthesized logic cell 
_LC5_B11 = LCELL( _EQ057);
  _EQ057 =  q620
         #  q621
         #  q622
         #  q623;

-- Node name is '~161~8' 
-- Equation name is '~161~8', location is LC3_B8, type is buried.
-- synthesized logic cell 
_LC3_B8  = LCELL( _EQ058);
  _EQ058 =  q616
         #  q617
         #  q618
         #  q619;

-- Node name is '~161~9' 
-- Equation name is '~161~9', location is LC5_B8, type is buried.
-- synthesized logic cell 
_LC5_B8  = LCELL( _EQ059);
  _EQ059 =  _LC2_B8
         #  _LC2_B2
         #  _LC5_B11
         #  _LC3_B8;

-- Node name is ':438' 
-- Equation name is '_LC7_B8', type is buried 
_LC7_B8  = LCELL( _EQ060);
  _EQ060 =  _LC1_B8 & !q630 &  q631
         #  _LC1_B8 & !_LC6_B8 &  q631
         #  _LC1_B8 &  _LC6_B8 &  q630 & !q631;

-- Node name is ':450' 
-- Equation name is '_LC5_B1', type is buried 
_LC5_B1  = LCELL( _EQ061);
  _EQ061 =  _LC1_B8 & !q629 &  q630
         # !_LC1_B2 &  _LC1_B8 &  q630
         #  _LC1_B2 &  _LC1_B8 &  q629 & !q630;

-- Node name is ':459' 
-- Equation name is '_LC2_B1', type is buried 
_LC2_B1  = LCELL( _EQ062);
  _EQ062 = !_LC1_B2 &  _LC1_B8 &  q629
         #  _LC1_B2 &  _LC1_B8 & !q629;

-- Node name is ':468' 
-- Equation name is '_LC8_B2', type is buried 
_LC8_B2  = LCELL( _EQ063);
  _EQ063 =  _LC1_B8 & !q627 &  q628
         #  _LC1_B8 & !_LC3_B2 &  q628
         #  _LC1_B8 &  _LC3_B2 &  q627 & !q628;

-- Node name is ':477' 
-- Equation name is '_LC6_B2', type is buried 
_LC6_B2  = LCELL( _EQ064);
  _EQ064 =  _LC1_B8 & !_LC3_B2 &  q627
         #  _LC1_B8 &  _LC3_B2 & !q627;

-- Node name is ':486' 
-- Equation name is '_LC4_B2', type is buried 
_LC4_B2  = LCELL( _EQ065);
  _EQ065 =  _LC1_B8 & !q625 &  q626
         #  _LC1_B8 & !_LC4_B11 &  q626
         #  _LC1_B8 &  _LC4_B11 &  q625 & !q626;

-- Node name is ':495' 
-- Equation name is '_LC8_B7', type is buried 
_LC8_B7  = LCELL( _EQ066);
  _EQ066 =  _LC1_B8 & !_LC4_B11 &  q625
         #  _LC1_B8 &  _LC4_B11 & !q625;

-- Node name is ':504' 
-- Equation name is '_LC6_B11', type is buried 
_LC6_B11 = LCELL( _EQ067);
  _EQ067 =  _LC1_B8 & !q623 &  q624
         #  _LC1_B8 & !_LC1_B11 &  q624
         #  _LC1_B8 &  _LC1_B11 &  q623 & !q624;

-- Node name is ':513' 
-- Equation name is '_LC7_B11', type is buried 
_LC7_B11 = LCELL( _EQ068);
  _EQ068 =  _LC1_B8 & !_LC1_B11 &  q623
         #  _LC1_B8 &  _LC1_B11 & !q623;

-- Node name is ':522' 
-- Equation name is '_LC2_B11', type is buried 
_LC2_B11 = LCELL( _EQ069);
  _EQ069 =  _LC1_B8 & !q621 &  q622
         #  _LC1_B8 & !_LC8_B3 &  q622
         #  _LC1_B8 &  _LC8_B3 &  q621 & !q622;

-- Node name is ':531' 
-- Equation name is '_LC6_B6', type is buried 
_LC6_B6  = LCELL( _EQ070);
  _EQ070 =  _LC1_B8 & !_LC8_B3 &  q621
         #  _LC1_B8 &  _LC8_B3 & !q621;

-- Node name is ':540' 
-- Equation name is '_LC3_B3', type is buried 
_LC3_B3  = LCELL( _EQ071);
  _EQ071 =  _LC1_B8 & !q619 &  q620
         # !_LC1_B3 &  _LC1_B8 &  q620
         #  _LC1_B3 &  _LC1_B8 &  q619 & !q620;

-- Node name is ':549' 
-- Equation name is '_LC7_B3', type is buried 
_LC7_B3  = LCELL( _EQ072);
  _EQ072 = !_LC1_B3 &  _LC1_B8 &  q619
         #  _LC1_B3 &  _LC1_B8 & !q619;

-- Node name is ':558' 
-- Equation name is '_LC4_B3', type is buried 
_LC4_B3  = LCELL( _EQ073);
  _EQ073 =  _LC1_B8 & !_LC1_B10 &  q618
         #  _LC1_B8 &  _LC1_B10 & !q618;

-- Node name is ':567' 
-- Equation name is '_LC8_B10', type is buried 
_LC8_B10 = LCELL( _EQ074);
  _EQ074 =  _LC1_B8 & !q616 &  q617
         #  _LC1_B8 & !_LC5_B10 &  q617
         #  _LC1_B8 &  _LC5_B10 &  q616 & !q617;

-- Node name is ':576' 
-- Equation name is '_LC4_B10', type is buried 
_LC4_B10 = LCELL( _EQ075);
  _EQ075 =  _LC1_B8 & !q615 &  q616
         #  _LC1_B8 & !_LC2_B12 &  q616
         #  _LC1_B8 &  _LC2_B12 &  q615 & !q616;

-- Node name is ':585' 
-- Equation name is '_LC2_B10', type is buried 
_LC2_B10 = LCELL( _EQ076);
  _EQ076 =  _LC1_B8 & !_LC2_B12 &  q615
         #  _LC1_B8 &  _LC2_B12 & !q615;

-- Node name is ':594' 
-- Equation name is '_LC5_B6', type is buried 
_LC5_B6  = LCELL( _EQ077);
  _EQ077 =  _LC1_B8 & !q613 &  q614
         #  _LC1_B8 & !_LC3_B1 &  q614
         #  _LC1_B8 &  _LC3_B1 &  q613 & !q614;

-- Node name is ':603' 
-- Equation name is '_LC4_B12', type is buried 
_LC4_B12 = LCELL( _EQ078);
  _EQ078 =  _LC1_B8 & !q612 &  q613
         #  _LC1_B8 & !_LC7_B7 &  q613
         #  _LC1_B8 &  _LC7_B7 &  q612 & !q613;

-- Node name is ':612' 
-- Equation name is '_LC1_B1', type is buried 
_LC1_B1  = LCELL( _EQ079);
  _EQ079 =  _LC1_B8 & !_LC7_B7 &  q612
         #  _LC1_B8 &  _LC7_B7 & !q612;

-- Node name is ':621' 
-- Equation name is '_LC8_B12', type is buried 
_LC8_B12 = LCELL( _EQ080);
  _EQ080 =  _LC1_B8 & !q610 &  q611
         #  _LC1_B8 & !_LC2_B7 &  q611
         #  _LC1_B8 &  _LC2_B7 &  q610 & !q611;

-- Node name is ':630' 
-- Equation name is '_LC5_B7', type is buried 
_LC5_B7  = LCELL( _EQ081);
  _EQ081 =  _LC1_B8 & !q69 &  q610
         #  _LC1_B8 & !_LC4_B9 &  q610
         #  _LC1_B8 &  _LC4_B9 &  q69 & !q610;

-- Node name is ':639' 
-- Equation name is '_LC1_B7', type is buried 
_LC1_B7  = LCELL( _EQ082);
  _EQ082 =  _LC1_B8 & !_LC4_B9 &  q69
         #  _LC1_B8 &  _LC4_B9 & !q69;

-- Node name is ':648' 
-- Equation name is '_LC3_B9', type is buried 
_LC3_B9  = LCELL( _EQ083);
  _EQ083 =  _LC1_B8 & !q67 &  q68
         #  _LC1_B8 & !_LC2_B9 &  q68
         #  _LC1_B8 &  _LC2_B9 &  q67 & !q68;

-- Node name is ':657' 
-- Equation name is '_LC7_B9', type is buried 
_LC7_B9  = LCELL( _EQ084);
  _EQ084 =  _LC1_B8 & !_LC2_B9 &  q67
         #  _LC1_B8 &  _LC2_B9 & !q67;

-- Node name is ':666' 
-- Equation name is '_LC5_B9', type is buried 
_LC5_B9  = LCELL( _EQ085);
  _EQ085 =  _LC1_B8 & !q65 &  q66
         #  _LC1_B8 & !_LC8_B5 &  q66
         #  _LC1_B8 &  _LC8_B5 &  q65 & !q66;

-- Node name is ':675' 
-- Equation name is '_LC6_B5', type is buried 
_LC6_B5  = LCELL( _EQ086);
  _EQ086 =  _LC1_B8 & !_LC8_B5 &  q65
         #  _LC1_B8 &  _LC8_B5 & !q65;

-- Node name is ':684' 
-- Equation name is '_LC4_B5', type is buried 
_LC4_B5  = LCELL( _EQ087);
  _EQ087 =  _LC1_B8 & !q63 &  q64
         #  _LC1_B8 & !_LC3_B5 &  q64
         #  _LC1_B8 &  _LC3_B5 &  q63 & !q64;

-- Node name is '~693~1' 
-- Equation name is '~693~1', location is LC1_B8, type is buried.
-- synthesized logic cell 
_LC1_B8  = LCELL( _EQ088);
  _EQ088 =  dispen & !_LC7_B14
         #  dispen &  _LC5_B12
         #  dispen &  _LC5_B8;

-- Node name is ':693' 
-- Equation name is '_LC7_B5', type is buried 
_LC7_B5  = LCELL( _EQ089);
  _EQ089 =  _LC1_B8 & !q62 &  q63
         #  _LC1_B8 & !_LC3_B14 &  q63
         #  _LC1_B8 &  _LC3_B14 &  q62 & !q63;

-- Node name is ':702' 
-- Equation name is '_LC7_B6', type is buried 
_LC7_B6  = LCELL( _EQ090);
  _EQ090 =  _LC1_B8 & !_LC3_B14 &  q62
         #  _LC1_B8 &  _LC3_B14 & !q62;

-- Node name is ':711' 
-- Equation name is '_LC4_B14', type is buried 
_LC4_B14 = LCELL( _EQ091);
  _EQ091 =  _LC1_B8 & !q60 &  q61
         #  _LC1_B8 &  q60 & !q61;

-- Node name is ':900' 
-- Equation name is '_LC7_B14', type is buried 
!_LC7_B14 = _LC7_B14~NOT;
_LC7_B14~NOT = LCELL( _EQ092);
  _EQ092 = !q62
         #  q61
         # !q60;

-- Node name is ':910' 
-- Equation name is '_LC2_B14', type is buried 
!_LC2_B14 = _LC2_B14~NOT;
_LC2_B14~NOT = LCELL( _EQ093);
  _EQ093 =  q61
         #  q60
         # !q62;

-- Node name is ':920' 
-- Equation name is '_LC1_B6', type is buried 
!_LC1_B6 = _LC1_B6~NOT;
_LC1_B6~NOT = LCELL( _EQ094);
  _EQ094 =  q62
         # !_LC3_B14;

-- Node name is ':930' 
-- Equation name is '_LC1_B14', type is buried 
!_LC1_B14 = _LC1_B14~NOT;
_LC1_B14~NOT = LCELL( _EQ095);
  _EQ095 = !q61
         #  q60
         #  q62;

-- Node name is ':933' 
-- Equation name is '_LC3_C18', type is buried 
!_LC3_C18 = _LC3_C18~NOT;
_LC3_C18~NOT = LCELL( _EQ096);
  _EQ096 = !min3 & !sec3
         # !_LC2_B14 & !sec3
         # !_LC1_B14 & !min3
         # !_LC1_B14 & !_LC2_B14;

-- Node name is ':940' 
-- Equation name is '_LC8_B14', type is buried 
!_LC8_B14 = _LC8_B14~NOT;
_LC8_B14~NOT = LCELL( _EQ097);
  _EQ097 =  q61
         # !q60
         #  q62;

-- Node name is ':943' 
-- Equation name is '_LC4_C18', type is buried 
!_LC4_C18 = _LC4_C18~NOT;
_LC4_C18~NOT = LCELL( _EQ098);
  _EQ098 = !_LC3_C18 & !secl13
         #  _LC8_B14 & !secl13
         # !_LC3_C18 & !_LC8_B14;

-- Node name is ':950' 
-- Equation name is '_LC5_B14', type is buried 
!_LC5_B14 = _LC5_B14~NOT;
_LC5_B14~NOT = LCELL( _EQ099);
  _EQ099 =  q61
         #  q60
         #  q62;

-- Node name is ':953' 
-- Equation name is '_LC2_C18', type is buried