fire_code.rpt

Fire&password数字系统实验

-- Node name is '|FIRE_D:1|control:U31|current_state~2' 
-- Equation name is '_LC2_A18', type is buried 
_LC2_A18 = DFFE( _EQ002,  _LC3_C9,  VCC,  VCC,  VCC);
  _EQ002 = !_LC3_A13 & !_LC4_A18 &  _LC8_A18
         #  _LC5_A18;

-- Node name is '|FIRE_D:1|control:U31|current_state~3' 
-- Equation name is '_LC5_A22', type is buried 
_LC5_A22 = DFFE( _EQ003,  _LC3_C9,  VCC,  VCC,  VCC);
  _EQ003 = !_LC3_A22 & !_LC4_B17
         #  _LC6_A13 &  _LC7_A22;

-- Node name is '|FIRE_D:1|control:U31|current_state~4' 
-- Equation name is '_LC8_A18', type is buried 
_LC8_A18 = DFFE( _EQ004,  _LC3_C9,  VCC,  VCC,  VCC);
  _EQ004 =  _LC6_A18 &  _LC8_A18
         #  _LC1_A20 &  _LC8_A18
         #  _LC7_A18;

-- Node name is '|FIRE_D:1|control:U31|current_state~5' 
-- Equation name is '_LC7_A24', type is buried 
_LC7_A24 = DFFE( _EQ005,  _LC3_C9,  VCC,  VCC,  VCC);
  _EQ005 =  _LC3_A24
         # !_LC5_A20 &  _LC7_A24
         #  _LC6_A21;

-- Node name is '|FIRE_D:1|control:U31|current_state~6~2' 
-- Equation name is '_LC8_A21', type is buried 
-- synthesized logic cell 
_LC8_A21 = LCELL( _EQ006);
  _EQ006 = !_LC1_A24 &  _LC5_A21 &  _LC7_A21;

-- Node name is '|FIRE_D:1|control:U31|current_state~6' 
-- Equation name is '_LC2_A24', type is buried 
_LC2_A24 = DFFE( _EQ007,  _LC3_C9,  VCC,  VCC,  VCC);
  _EQ007 =  _LC3_A22 & !_LC8_A24
         # !_LC4_B17 & !_LC8_A24;

-- Node name is '|FIRE_D:1|control:U31|:9' 
-- Equation name is '_LC4_A23', type is buried 
_LC4_A23 = DFFE( _EQ008,  _LC3_C9,  VCC,  VCC,  VCC);
  _EQ008 = !_LC1_A24 &  _LC5_A22
         # !_LC1_A24 &  _LC8_A18
         # !_LC1_A24 &  _LC2_A18;

-- Node name is '|FIRE_D:1|control:U31|:11' 
-- Equation name is '_LC1_A18', type is buried 
_LC1_A18 = DFFE( _EQ009,  _LC3_C9,  VCC,  VCC,  VCC);
  _EQ009 = !_LC1_A24 & !_LC4_A18 &  _LC8_A18
         #  _LC1_A18 & !_LC8_A18
         #  _LC1_A18 &  _LC1_A24;

-- Node name is '|FIRE_D:1|control:U31|:13' 
-- Equation name is '_LC8_A23', type is buried 
_LC8_A23 = DFFE( _EQ010,  _LC3_C9,  VCC,  VCC,  VCC);
  _EQ010 = !_LC8_A18 &  _LC8_A23
         #  _LC3_A23 & !_LC8_A18
         #  _LC7_A23;

-- Node name is '|FIRE_D:1|control:U31|:15' 
-- Equation name is '_LC6_A15', type is buried 
_LC6_A15 = DFFE( _EQ011,  _LC3_C9,  VCC,  VCC,  VCC);
  _EQ011 =  _LC2_A15 &  _LC4_A15
         #  _LC1_A24 &  _LC4_A15
         #  _LC5_A15;

-- Node name is '|FIRE_D:1|control:U31|:17' 
-- Equation name is '_LC8_A15', type is buried 
_LC8_A15 = DFFE( _EQ012,  _LC3_C9,  VCC,  VCC,  VCC);
  _EQ012 =  _LC7_A15 &  _LC8_A15
         #  _LC8_A15 & !_LC8_A22
         #  _LC3_A24;

-- Node name is '|FIRE_D:1|control:U31|:19' 
-- Equation name is '_LC4_A24', type is buried 
_LC4_A24 = DFFE( _EQ013,  _LC3_C9,  VCC,  VCC,  VCC);
  _EQ013 =  _LC2_A24 &  _LC5_A23
         #  _LC2_A24 &  _LC4_A21
         #  _LC8_A24;

-- Node name is '|FIRE_D:1|control:U31|:237' 
-- Equation name is '_LC1_A20', type is buried 
_LC1_A20 = LCELL( _EQ014);
  _EQ014 = !_LC4_B17 &  _LC5_A20;

-- Node name is '|FIRE_D:1|control:U31|:238' 
-- Equation name is '_LC3_A18', type is buried 
!_LC3_A18 = _LC3_A18~NOT;
_LC3_A18~NOT = LCELL( _EQ015);
  _EQ015 = !_LC4_B17 & !_LC5_A20;

-- Node name is '|FIRE_D:1|control:U31|:248' 
-- Equation name is '_LC4_A18', type is buried 
!_LC4_A18 = _LC4_A18~NOT;
_LC4_A18~NOT = LCELL( _EQ016);
  _EQ016 =  _LC2_A22 & !_LC3_A18 & !_LC6_A13;

-- Node name is '|FIRE_D:1|control:U31|~309~1' 
-- Equation name is '_LC2_A20', type is buried 
-- synthesized logic cell 
_LC2_A20 = LCELL( _EQ017);
  _EQ017 =  _LC6_A20 &  _LC7_A20
         # !_LC4_B17;

-- Node name is '|FIRE_D:1|control:U31|~488~1' 
-- Equation name is '_LC3_A23', type is buried 
-- synthesized logic cell 
_LC3_A23 = LCELL( _EQ018);
  _EQ018 =  _LC2_A23 &  _LC8_A22
         #  _LC2_A18 &  _LC2_A23 & !_LC5_A22;

-- Node name is '|FIRE_D:1|control:U31|~488~2' 
-- Equation name is '_LC1_A24', type is buried 
-- synthesized logic cell 
_LC1_A24 = LCELL( _EQ019);
  _EQ019 = !_LC2_A24
         #  _LC7_A24;

-- Node name is '|FIRE_D:1|control:U31|~488~3' 
-- Equation name is '_LC6_A23', type is buried 
-- synthesized logic cell 
_LC6_A23 = LCELL( _EQ020);
  _EQ020 =  _LC8_A23
         #  _LC2_A24 &  _LC5_A20;

-- Node name is '|FIRE_D:1|control:U31|~488~4' 
-- Equation name is '_LC7_A23', type is buried 
-- synthesized logic cell 
_LC7_A23 = LCELL( _EQ021);
  _EQ021 =  _LC1_A20 & !_LC1_A24 &  _LC8_A18
         #  _LC1_A24 &  _LC6_A23;

-- Node name is '|FIRE_D:1|control:U31|:500' 
-- Equation name is '_LC5_A23', type is buried 
_LC5_A23 = LCELL( _EQ022);
  _EQ022 =  _LC5_A22
         #  _LC8_A18
         #  _LC2_A18;

-- Node name is '|FIRE_D:1|control:U31|~521~1' 
-- Equation name is '_LC4_A21', type is buried 
-- synthesized logic cell 
_LC4_A21 = LCELL( _EQ023);
  _EQ023 = !_LC5_A21
         # !_LC7_A21
         #  _LC7_A24;

-- Node name is '|FIRE_D:1|control:U31|~542~1' 
-- Equation name is '_LC7_A15', type is buried 
-- synthesized logic cell 
_LC7_A15 = LCELL( _EQ024);
  _EQ024 = !_LC2_A24
         #  _LC7_A24
         #  _LC2_A20
         #  _LC8_A18;

-- Node name is '|FIRE_D:1|control:U31|~560~1' 
-- Equation name is '_LC2_A15', type is buried 
-- synthesized logic cell 
_LC2_A15 = LCELL( _EQ025);
  _EQ025 = !_LC4_B17 &  _LC8_A18
         #  _LC5_A22 & !_LC8_A18
         # !_LC2_A18 & !_LC8_A18;

-- Node name is '|FIRE_D:1|control:U31|~560~2' 
-- Equation name is '_LC4_A15', type is buried 
-- synthesized logic cell 
_LC4_A15 = LCELL( _EQ026);
  _EQ026 =  _LC6_A15
         # !_LC5_A22 & !_LC8_A18 &  _LC8_A21;

-- Node name is '|FIRE_D:1|control:U31|~560~3' 
-- Equation name is '_LC5_A15', type is buried 
-- synthesized logic cell 
_LC5_A15 = LCELL( _EQ027);
  _EQ027 =  _LC2_A20 &  _LC6_A15 & !_LC8_A18
         #  _LC3_A24;

-- Node name is '|FIRE_D:1|control:U31|:563' 
-- Equation name is '_LC8_A24', type is buried 
!_LC8_A24 = _LC8_A24~NOT;
_LC8_A24~NOT = LCELL( _EQ028);
  _EQ028 =  _LC2_A24
         #  _LC5_A24 &  _LC6_A24;

-- Node name is '|FIRE_D:1|control:U31|:565' 
-- Equation name is '_LC3_A24', type is buried 
_LC3_A24 = LCELL( _EQ029);
  _EQ029 = !_LC2_A24 &  _LC5_A24 &  _LC6_A24;

-- Node name is '|FIRE_D:1|control:U31|~573~1' 
-- Equation name is '_LC7_A22', type is buried 
-- synthesized logic cell 
_LC7_A22 = LCELL( _EQ030);
  _EQ030 = !_LC4_B17 & !_LC5_A20 &  _LC8_A18;

-- Node name is '|FIRE_D:1|control:U31|~579~1' 
-- Equation name is '_LC3_A22', type is buried 
-- synthesized logic cell 
!_LC3_A22 = _LC3_A22~NOT;
_LC3_A22~NOT = LCELL( _EQ031);
  _EQ031 =  _LC1_A22 &  _LC3_B16 & !_LC5_A20 &  _LC5_A22;

-- Node name is '|FIRE_D:1|control:U31|~588~1' 
-- Equation name is '_LC6_A18', type is buried 
-- synthesized logic cell 
_LC6_A18 = LCELL( _EQ032);
  _EQ032 =  _LC3_A13 & !_LC3_A18 & !_LC6_A13
         # !_LC2_A22 & !_LC3_A18 & !_LC6_A13;

-- Node name is '|FIRE_D:1|control:U31|~588~2' 
-- Equation name is '_LC7_A18', type is buried 
-- synthesized logic cell 
_LC7_A18 = LCELL( _EQ033);
  _EQ033 =  _LC5_A20 &  _LC7_A24
         #  _LC2_A18 &  _LC5_A20
         #  _LC5_A20 &  _LC8_A22;

-- Node name is '|FIRE_D:1|control:U31|~590~1' 
-- Equation name is '_LC5_A18', type is buried 
-- synthesized logic cell 
_LC5_A18 = LCELL( _EQ034);
  _EQ034 =  _LC2_A22 &  _LC5_A22
         #  _LC2_A18 & !_LC3_A18;

-- Node name is '|FIRE_D:1|control:U31|:593' 
-- Equation name is '_LC6_A21', type is buried 
_LC6_A21 = LCELL( _EQ035);
  _EQ035 =  _LC1_A21 &  _LC5_A21 &  _LC7_A21;

-- Node name is '|FIRE_D:1|control:U31|~596~1' 
-- Equation name is '_LC1_A23', type is buried 
-- synthesized logic cell 
_LC1_A23 = LCELL( _EQ036);
  _EQ036 =  _LC4_B17 &  _LC8_A18
         #  _LC2_A18 &  _LC4_B17 & !_LC5_A20;

-- Node name is '|FIRE_D:1|kand2:U37|:4' 
-- Equation name is '_LC1_C3', type is buried 
_LC1_C3  = LCELL( _EQ037);
  _EQ037 = !_LC3_A15 &  _LC5_C1;

-- Node name is '|FIRE_D:1|kbian:U29|:274' 
-- Equation name is '_LC2_A22', type is buried 
!_LC2_A22 = _LC2_A22~NOT;
_LC2_A22~NOT = LCELL( _EQ038);
  _EQ038 =  _LC1_A22 &  _LC3_B16;

-- Node name is '|FIRE_D:1|kbian:U29|:286' 
-- Equation name is '_LC3_B14', type is buried 
_LC3_B14 = LCELL( _EQ039);
  _EQ039 =  _LC5_B14 &  _LC8_B14
         # !_LC1_B20
         # !_LC2_B14;

-- Node name is '|FIRE_D:1|kbian:U29|:294' 
-- Equation name is '_LC4_B14', type is buried 
_LC4_B14 = LCELL( _EQ040);
  _EQ040 =  _LC3_B14 & !_LC6_B14
         #  _LC3_B14 & !_LC7_B14;

-- Node name is '|FIRE_D:1|kbian:U29|:300' 
-- Equation name is '_LC2_B23', type is buried 
_LC2_B23 = LCELL( _EQ041);
  _EQ041 = !_LC2_B20 &  _LC4_B14