lock.rpt

四位密码锁

-- Equation name is '~1179~1', location is LC1_C6, type is buried.
-- synthesized logic cell 
_LC1_C6  = LCELL( _EQ018);
  _EQ018 = !a0 & !_LC2_C6;

-- Node name is ':1194' 
-- Equation name is '_LC8_C3', type is buried 
_LC8_C3  = LCELL( _EQ019);
  _EQ019 = !a7 &  _LC2_C3
         # !a7 &  a9
         # !a7 &  a8;

-- Node name is ':1213' 
-- Equation name is '_LC2_C3', type is buried 
_LC2_C3  = LCELL( _EQ020);
  _EQ020 =  _LC2_C7 &  _LC8_C3
         #  _LC2_C7 & !_LC4_C9
         #  _LC2_C7 & !_LC5_C7;

-- Node name is '~1215~1' 
-- Equation name is '~1215~1', location is LC2_C7, type is buried.
-- synthesized logic cell 
_LC2_C7  = LCELL( _EQ021);
  _EQ021 = !a1 &  _LC1_C6;

-- Node name is ':1230' 
-- Equation name is '_LC3_C3', type is buried 
_LC3_C3  = LCELL( _EQ022);
  _EQ022 = !a7 &  _LC8_C6
         # !a7 &  a9
         # !a7 &  a8;

-- Node name is ':1249' 
-- Equation name is '_LC8_C6', type is buried 
_LC8_C6  = LCELL( _EQ023);
  _EQ023 =  _LC3_C3 &  _LC4_C6
         #  _LC4_C6 & !_LC4_C9
         # !_LC1_C6;

-- Node name is ':1266' 
-- Equation name is '_LC4_C3', type is buried 
_LC4_C3  = LCELL( _EQ024);
  _EQ024 = !a7 & !a9 &  _LC7_C7
         # !a7 &  a8;

-- Node name is ':1278' 
-- Equation name is '_LC6_C7', type is buried 
_LC6_C7  = LCELL( _EQ025);
  _EQ025 = !a3 &  _LC1_C8 &  _LC4_C3
         # !a3 &  a6 &  _LC1_C8;

-- Node name is ':1285' 
-- Equation name is '_LC7_C7', type is buried 
_LC7_C7  = LCELL( _EQ026);
  _EQ026 = !a1 &  _LC6_C7
         # !a1 &  a2
         # !_LC1_C6;

-- Node name is ':1294' 
-- Equation name is '_LC5_C3', type is buried 
_LC5_C3  = LCELL( _EQ027);
  _EQ027 = !a9 &  _LC6_C3
         #  a8;

-- Node name is ':1311' 
-- Equation name is '_LC7_C3', type is buried 
_LC7_C3  = LCELL( _EQ028);
  _EQ028 = !a4 & !a7 &  _LC5_C3
         # !a4 & !_LC4_C8;

-- Node name is ':1321' 
-- Equation name is '_LC6_C3', type is buried 
_LC6_C3  = LCELL( _EQ029);
  _EQ029 = !a1 &  _LC7_C3
         # !a1 & !_LC5_C7
         # !_LC1_C6;

-- Node name is '~1345~1' 
-- Equation name is '~1345~1', location is LC3_C6, type is buried.
-- synthesized logic cell 
!_LC3_C6 = _LC3_C6~NOT;
_LC3_C6~NOT = LCELL( _EQ030);
  _EQ030 = !a7 & !_LC1_C3 &  _LC4_C9;

-- Node name is '~1345~2' 
-- Equation name is '~1345~2', location is LC4_C7, type is buried.
-- synthesized logic cell 
_LC4_C7  = LCELL( _EQ031);
  _EQ031 =  a7
         # !_LC4_C9
         #  _LC1_C3
         #  a3;

-- Node name is ':1357' 
-- Equation name is '_LC8_C7', type is buried 
_LC8_C7  = LCELL( _EQ032);
  _EQ032 = !a2 &  _LC8_C7
         # !a2 &  _LC4_C7
         # !_LC2_C7;

-- Node name is ':1369' 
-- Equation name is '_LC8_C9', type is buried 
_LC8_C9  = LCELL( _EQ033);
  _EQ033 =  _LC1_C9
         #  a7
         #  _LC1_C3;

-- Node name is '~1393~1' 
-- Equation name is '~1393~1', location is LC6_C9, type is buried.
-- synthesized logic cell 
!_LC6_C9 = _LC6_C9~NOT;
_LC6_C9~NOT = LCELL( _EQ034);
  _EQ034 =  _LC2_C7 &  _LC5_C7;

-- Node name is ':1393' 
-- Equation name is '_LC1_C9', type is buried 
_LC1_C9  = LCELL( _EQ035);
  _EQ035 =  _LC4_C8 &  _LC8_C9
         #  a4
         #  _LC6_C9;

-- Node name is '~1405~1' 
-- Equation name is '~1405~1', location is LC1_C3, type is buried.
-- synthesized logic cell 
!_LC1_C3 = _LC1_C3~NOT;
_LC1_C3~NOT = LCELL( _EQ036);
  _EQ036 = !a8 & !a9;

-- Node name is ':1405' 
-- Equation name is '_LC8_C8', type is buried 
_LC8_C8  = LCELL( _EQ037);
  _EQ037 =  _LC3_C7
         #  a7
         #  _LC1_C3;

-- Node name is ':1419' 
-- Equation name is '_LC2_C8', type is buried 
_LC2_C8  = LCELL( _EQ038);
  _EQ038 = !a4 & !a6 &  _LC8_C8
         # !a4 &  a5;

-- Node name is ':1429' 
-- Equation name is '_LC3_C7', type is buried 
_LC3_C7  = LCELL( _EQ039);
  _EQ039 = !a1 &  _LC2_C8
         # !a1 & !_LC5_C7
         # !_LC1_C6;

-- Node name is '~1732~1' 
-- Equation name is '~1732~1', location is LC3_A20, type is buried.
-- synthesized logic cell 
_LC3_A20 = LCELL( _EQ040);
  _EQ040 = !b4 &  _LC5_A20;

-- Node name is '~1732~2' 
-- Equation name is '~1732~2', location is LC2_A17, type is buried.
-- synthesized logic cell 
_LC2_A17 = LCELL( _EQ041);
  _EQ041 = !b7 &  _LC3_A20;

-- Node name is '~1732~3' 
-- Equation name is '~1732~3', location is LC2_A13, type is buried.
-- synthesized logic cell 
_LC2_A13 = LCELL( _EQ042);
  _EQ042 = !b1 &  _LC1_A17;

-- Node name is ':1732' 
-- Equation name is '_LC4_A14', type is buried 
_LC4_A14 = LCELL( _EQ043);
  _EQ043 = !b0 &  _LC2_A13 &  _LC2_A17 & !_LC2_A20;

-- Node name is ':2464' 
-- Equation name is '_LC7_A14', type is buried 
_LC7_A14 = LCELL( _EQ044);
  _EQ044 =  _LC4_A14 &  _LC7_A14
         #  _LC6_A14 &  _LC7_A14
         #  _LC2_A20 &  _LC6_A14;

-- Node name is '~2466~1' 
-- Equation name is '~2466~1', location is LC5_A20, type is buried.
-- synthesized logic cell 
_LC5_A20 = LCELL( _EQ045);
  _EQ045 = !b5 & !b6;

-- Node name is '~2466~2' 
-- Equation name is '~2466~2', location is LC6_A14, type is buried.
-- synthesized logic cell 
_LC6_A14 = LCELL( _EQ046);
  _EQ046 = !_LC1_A21 &  _LC2_A17;

-- Node name is ':2485' 
-- Equation name is '_LC2_A14', type is buried 
_LC2_A14 = LCELL( _EQ047);
  _EQ047 = !_LC2_A20 &  _LC3_A14
         # !_LC2_A17;

-- Node name is ':2500' 
-- Equation name is '_LC3_A14', type is buried 
_LC3_A14 = LCELL( _EQ048);
  _EQ048 = !_LC1_A21 &  _LC2_A14
         #  _LC3_A14 &  _LC4_A14;

-- Node name is '~2502~1' 
-- Equation name is '~2502~1', location is LC1_A17, type is buried.
-- synthesized logic cell 
_LC1_A17 = LCELL( _EQ049);
  _EQ049 = !b2 & !b3;

-- Node name is ':2515' 
-- Equation name is '_LC4_A13', type is buried 
_LC4_A13 = LCELL( _EQ050);
  _EQ050 = !_LC2_A20 &  _LC3_A13
         #  b6
         #  b7;

-- Node name is '~2526~1' 
-- Equation name is '~2526~1', location is LC7_A19, type is buried.
-- synthesized logic cell 
_LC7_A19 = LCELL( _EQ051);
  _EQ051 = !b4 & !b5;

-- Node name is ':2527' 
-- Equation name is '_LC5_A13', type is buried 
_LC5_A13 = LCELL( _EQ052);
  _EQ052 = !b4 & !b5 &  _LC4_A13
         # !_LC1_A17;

-- Node name is ':2536' 
-- Equation name is '_LC3_A13', type is buried 
_LC3_A13 = LCELL( _EQ053);
  _EQ053 =  _LC1_A13 &  _LC5_A13
         #  _LC3_A13 &  _LC4_A14;

-- Node name is ':2548' 
-- Equation name is '_LC2_A19', type is buried 
_LC2_A19 = LCELL( _EQ054);
  _EQ054 =  b7
         # !b8 &  b9
         # !b8 &  _LC1_A19;

-- Node name is ':2562' 
-- Equation name is '_LC4_A19', type is buried 
_LC4_A19 = LCELL( _EQ055);
  _EQ055 = !b4 &  b5
         # !b4 & !b6 &  _LC2_A19;

-- Node name is ':2566' 
-- Equation name is '_LC5_A19', type is buried 
_LC5_A19 = LCELL( _EQ056);
  _EQ056 =  b1
         # !b2 &  b3
         # !b2 &  _LC4_A19;

-- Node name is ':2572' 
-- Equation name is '_LC1_A19', type is buried 
_LC1_A19 = LCELL( _EQ057);
  _EQ057 =  _LC1_A16 &  _LC5_A19
         #  _LC1_A19 &  _LC4_A14;

-- Node name is '~2574~1' 
-- Equation name is '~2574~1', location is LC1_A16, type is buried.
-- synthesized logic cell 
_LC1_A16 = LCELL( _EQ058);
  _EQ058 = !b0 & !_LC4_A14;

-- Node name is ':2589' 
-- Equation name is '_LC7_A17', type is buried 
_LC7_A17 = LCELL( _EQ059);
  _EQ059 = !b7 &  _LC8_A17
         # !b7 &  b9
         # !b7 &  b8;

-- Node name is ':2608' 
-- Equation name is '_LC8_A17', type is buried 
_LC8_A17 = LCELL( _EQ060);
  _EQ060 =  _LC1_A13 &  _LC7_A17
         #  _LC1_A13 & !_LC3_A20
         #  _LC1_A13 & !_LC1_A17;

-- Node name is '~2610~1' 
-- Equation name is '~2610~1', location is LC1_A13, type is buried.
-- synthesized logic cell 
_LC1_A13 = LCELL( _EQ061);
  _EQ061 = !b1 &  _LC1_A16;

-- Node name is ':2625' 
-- Equation name is '_LC6_A17', type is buried 
_LC6_A17 = LCELL( _EQ062);
  _EQ062 = !b7 &  _LC4_A17
         # !b7 &  b9
         # !b7 &  b8;

-- Node name is ':2644' 
-- Equation name is '_LC4_A17', type is buried 
_LC4_A17 = LCELL( _EQ063);
  _EQ063 =  _LC2_A13 &  _LC6_A17
         #  _LC2_A13 & !_LC3_A20
         # !_LC1_A16;

-- Node name is ':2661' 
-- Equation name is '_LC6_A19', type is buried 
_LC6_A19 = LCELL( _EQ064);
  _EQ064 = !b7 & !b9 &  _LC3_A19
         # !b7 &  b8;

-- Node name is ':2673' 
-- Equation name is '_LC8_A19', type is buried 
_LC8_A19 = LCELL( _EQ065);
  _EQ065 = !b3 &  _LC6_A19 &  _LC7_A19
         # !b3 &  b6 &  _LC7_A19;

-- Node name is ':2680' 
-- Equation name is '_LC3_A19', type is buried 
_LC3_A19 = LCELL( _EQ066);
  _EQ066 = !b1 &  _LC8_A19
         # !b1 &  b2
         # !_LC1_A16;

-- Node name is ':2689' 
-- Equation name is '_LC7_A20', type is buried 
_LC7_A20 = LCELL( _EQ067);
  _EQ067 = !b9 &  _LC4_A20
         #  b8;