elec_lock.rpt

vhdl代码写的一个密码锁程序

LC27 -> - - - * - - - - - - - - - - * - | - - - * | <-- ACC15
LC26 -> - - - - * - - - - - - - - - * - | - - - * | <-- ACC14
LC32 -> - - - - - - * - - - - - - - * - | - - - * | <-- ACC12
LC18 -> - - - - - - - * - - - - - - * - | - * - * | <-- ACC11
LC33 -> - - - - - - - - * - - - - - * - | - * - * | <-- ACC10
LC47 -> * - - - - - - - - * - - - - * * | - - - * | <-- ACC9
LC34 -> - - - - - - - - - - * - - - - * | - * - * | <-- ACC8
LC38 -> - - - - - - - - - - - * - - - * | - * - * | <-- ACC7
LC45 -> - * - - - - - - - - - - * - * - | - - - * | <-- ACC1
LC43 -> - - * - - - - - - - - - - * * - | - - - * | <-- ACC0
LC42 -> - - - - - - - - - - - - - - * - | - - - * | <-- ~1229~2
LC40 -> - - - - - - - - - - - - - - * - | - - - * | <-- ~1229~3


* = The logic cell or pin is an input to the logic cell (or LAB) through the PIA.
- = The logic cell or pin is not an input to the logic cell (or LAB).


Device-Specific Information:                       f:\test1_last\elec_lock.rpt
elec_lock

** EQUATIONS **

CLK_4M   : INPUT;
KEY_IN0  : INPUT;
KEY_IN1  : INPUT;
KEY_IN2  : INPUT;

-- Node name is ':86' = 'ACC0' 
-- Equation name is 'ACC0', location is LC043, type is buried.
ACC0     = DFFE( N0 $  GND,  _EQ001,  VCC,  VCC,  VCC);
  _EQ001 =  _X001;
  _X001  = EXP( N0 &  N1 &  N2 &  N3);

-- Node name is ':85' = 'ACC1' 
-- Equation name is 'ACC1', location is LC045, type is buried.
ACC1     = DFFE( N1 $  GND,  _EQ002,  VCC,  VCC,  VCC);
  _EQ002 =  _X001;
  _X001  = EXP( N0 &  N1 &  N2 &  N3);

-- Node name is ':84' = 'ACC2' 
-- Equation name is 'ACC2', location is LC046, type is buried.
ACC2     = DFFE( N2 $  GND,  _EQ003,  VCC,  VCC,  VCC);
  _EQ003 =  _X001;
  _X001  = EXP( N0 &  N1 &  N2 &  N3);

-- Node name is ':83' = 'ACC3' 
-- Equation name is 'ACC3', location is LC048, type is buried.
ACC3     = DFFE( N3 $  GND,  _EQ004,  VCC,  VCC,  VCC);
  _EQ004 =  _X001;
  _X001  = EXP( N0 &  N1 &  N2 &  N3);

-- Node name is ':82' = 'ACC4' 
-- Equation name is 'ACC4', location is LC055, type is buried.
ACC4     = DFFE( ACC0 $  GND,  _EQ005,  VCC,  VCC,  VCC);
  _EQ005 =  _X001;
  _X001  = EXP( N0 &  N1 &  N2 &  N3);

-- Node name is ':81' = 'ACC5' 
-- Equation name is 'ACC5', location is LC064, type is buried.
ACC5     = DFFE( ACC1 $  GND,  _EQ006,  VCC,  VCC,  VCC);
  _EQ006 =  _X001;
  _X001  = EXP( N0 &  N1 &  N2 &  N3);

-- Node name is ':80' = 'ACC6' 
-- Equation name is 'ACC6', location is LC039, type is buried.
ACC6     = DFFE( ACC2 $  GND,  _EQ007,  VCC,  VCC,  VCC);
  _EQ007 =  _X001;
  _X001  = EXP( N0 &  N1 &  N2 &  N3);

-- Node name is ':79' = 'ACC7' 
-- Equation name is 'ACC7', location is LC038, type is buried.
ACC7     = DFFE( ACC3 $  GND,  _EQ008,  VCC,  VCC,  VCC);
  _EQ008 =  _X001;
  _X001  = EXP( N0 &  N1 &  N2 &  N3);

-- Node name is ':78' = 'ACC8' 
-- Equation name is 'ACC8', location is LC034, type is buried.
ACC8     = DFFE( ACC4 $  GND,  _EQ009,  VCC,  VCC,  VCC);
  _EQ009 =  _X001;
  _X001  = EXP( N0 &  N1 &  N2 &  N3);

-- Node name is ':77' = 'ACC9' 
-- Equation name is 'ACC9', location is LC047, type is buried.
ACC9     = DFFE( ACC5 $  GND,  _EQ010,  VCC,  VCC,  VCC);
  _EQ010 =  _X001;
  _X001  = EXP( N0 &  N1 &  N2 &  N3);

-- Node name is ':76' = 'ACC10' 
-- Equation name is 'ACC10', location is LC033, type is buried.
ACC10    = DFFE( ACC6 $  GND,  _EQ011,  VCC,  VCC,  VCC);
  _EQ011 =  _X001;
  _X001  = EXP( N0 &  N1 &  N2 &  N3);

-- Node name is ':75' = 'ACC11' 
-- Equation name is 'ACC11', location is LC018, type is buried.
ACC11    = DFFE( ACC7 $  GND,  _EQ012,  VCC,  VCC,  VCC);
  _EQ012 =  _X001;
  _X001  = EXP( N0 &  N1 &  N2 &  N3);

-- Node name is ':74' = 'ACC12' 
-- Equation name is 'ACC12', location is LC032, type is buried.
ACC12    = DFFE( ACC8 $  GND,  _EQ013,  VCC,  VCC,  VCC);
  _EQ013 =  _X001;
  _X001  = EXP( N0 &  N1 &  N2 &  N3);

-- Node name is ':73' = 'ACC13' 
-- Equation name is 'ACC13', location is LC063, type is buried.
ACC13    = DFFE( ACC9 $  GND,  _EQ014,  VCC,  VCC,  VCC);
  _EQ014 =  _X001;
  _X001  = EXP( N0 &  N1 &  N2 &  N3);

-- Node name is ':72' = 'ACC14' 
-- Equation name is 'ACC14', location is LC026, type is buried.
ACC14    = DFFE( ACC10 $  GND,  _EQ015,  VCC,  VCC,  VCC);
  _EQ015 =  _X001;
  _X001  = EXP( N0 &  N1 &  N2 &  N3);

-- Node name is ':71' = 'ACC15' 
-- Equation name is 'ACC15', location is LC027, type is buried.
ACC15    = DFFE( ACC11 $  GND,  _EQ016,  VCC,  VCC,  VCC);
  _EQ016 =  _X001;
  _X001  = EXP( N0 &  N1 &  N2 &  N3);

-- Node name is 'CLK_SCAN0' 
-- Equation name is 'CLK_SCAN0', location is LC004, type is output.
 CLK_SCAN0 = LCELL( _EQ017 $  VCC);
  _EQ017 = !Q3 & !Q4;

-- Node name is 'CLK_SCAN1' 
-- Equation name is 'CLK_SCAN1', location is LC005, type is output.
 CLK_SCAN1 = LCELL( _EQ018 $  VCC);
  _EQ018 =  Q3 & !Q4;

-- Node name is 'CLK_SCAN2' 
-- Equation name is 'CLK_SCAN2', location is LC011, type is output.
 CLK_SCAN2 = LCELL( _EQ019 $  VCC);
  _EQ019 = !Q3 &  Q4;

-- Node name is 'CLK_SCAN3' 
-- Equation name is 'CLK_SCAN3', location is LC014, type is output.
 CLK_SCAN3 = LCELL( _EQ020 $  VCC);
  _EQ020 =  Q3 &  Q4;

-- Node name is 'ENLOCK' = ':10' 
-- Equation name is 'ENLOCK', type is output 
 ENLOCK  = DFFE( _EQ021 $  _EQ022,  Q0,  VCC,  VCC,  VCC);
  _EQ021 =  ENLOCK &  F0 & !_LC058 &  _X002
         #  ENLOCK & !F0 &  _X002;
  _X002  = EXP(!ENLOCK &  F2);
  _EQ022 = !ENLOCK &  F2;

-- Node name is ':68' = 'F0' 
-- Equation name is 'F0', location is LC010, type is buried.
F0       = DFFE( _EQ023 $  GND,  Q0,  VCC,  VCC,  VCC);
  _EQ023 =  _LC008 & !_LC019 &  _LC022 &  _LC029 &  Q3 &  Q4
         #  _LC008 & !_LC015 & !_LC019 &  _LC022 &  Q3 &  Q4
         #  _LC008 & !_LC016 & !_LC019 &  _LC029 &  Q3 &  Q4
         #  _LC008 & !_LC015 & !_LC016 & !_LC019 &  Q3 &  Q4;

-- Node name is ':66' = 'F2' 
-- Equation name is 'F2', location is LC002, type is buried.
F2       = DFFE( _EQ024 $  GND,  Q0,  VCC,  VCC,  VCC);
  _EQ024 =  _LC015 &  _LC019 &  _LC022 & !_LC029 &  Q3 &  Q4
         #  _LC015 & !_LC016 &  _LC019 & !_LC029 &  Q3 &  Q4
         # !_LC008 &  _LC015 &  _LC022 & !_LC029 &  Q3 &  Q4
         # !_LC008 &  _LC015 & !_LC016 & !_LC029 &  Q3 &  Q4;

-- Node name is ':64' = 'N0' 
-- Equation name is 'N0', location is LC001, type is buried.
N0       = DFFE( _EQ025 $  VCC,  Q0,  VCC,  VCC,  VCC);
  _EQ025 =  _LC016 & !_LC022 &  Q3 &  Q4 &  _X003 &  _X004
         #  _LC008 & !_LC019 &  Q3 & !Q4 &  _X004 &  _X005
         #  _LC015 & !_LC029 &  Q3 & !Q4 &  _X003 &  _X005
         #  _LC016 & !_LC022 & !Q3 &  _X003 &  _X004;
  _X003  = EXP( _LC008 & !_LC019);
  _X004  = EXP( _LC015 & !_LC029);
  _X005  = EXP( _LC016 & !_LC022);

-- Node name is ':63' = 'N1' 
-- Equation name is 'N1', location is LC007, type is buried.
N1       = DFFE( _EQ026 $  VCC,  Q0,  VCC,  VCC,  VCC);
  _EQ026 =  _LC008 & !_LC019 & !Q3 &  Q4 &  _X004 &  _X005
         #  _LC016 & !_LC022 & !Q3 &  Q4 &  _X003 &  _X004
         #  _LC016 & !_LC022 &  Q3 &  _X003 &  _X004
         #  _LC015 & !_LC029 & !Q4 &  _X003 &  _X005;
  _X004  = EXP( _LC015 & !_LC029);
  _X005  = EXP( _LC016 & !_LC022);
  _X003  = EXP( _LC008 & !_LC019);

-- Node name is ':62' = 'N2' 
-- Equation name is 'N2', location is LC006, type is buried.
N2       = DFFE( _EQ027 $  VCC,  Q0,  VCC,  VCC,  VCC);
  _EQ027 =  _LC016 & !_LC022 &  Q3 &  Q4 &  _X003 &  _X004
         #  _LC015 & !_LC029 & !Q3 & !Q4 &  _X003 &  _X005
         #  _LC008 & !_LC019 & !Q3 &  _X004 &  _X005
         #  _LC016 & !_LC022 & !Q3 &  _X003 &  _X004;
  _X003  = EXP( _LC008 & !_LC019);
  _X004  = EXP( _LC015 & !_LC029);
  _X005  = EXP( _LC016 & !_LC022);

-- Node name is ':61' = 'N3' 
-- Equation name is 'N3', location is LC003, type is buried.
N3       = DFFE( _EQ028 $  VCC,  Q0,  VCC,  VCC,  VCC);
  _EQ028 =  _LC016 & !_LC022 &  _X003 &  _X004 &  _X006
         #  _LC015 & !_LC029 &  _X003 &  _X005 &  _X007
         #  _LC008 & !_LC019 & !Q4 &  _X004 &  _X005;
  _X003  = EXP( _LC008 & !_LC019);
  _X004  = EXP( _LC015 & !_LC029);
  _X006  = EXP(!Q3 &  Q4);
  _X005  = EXP( _LC016 & !_LC022);
  _X007  = EXP( Q3 &  Q4);

-- Node name is ':34' = 'Q0' 
-- Equation name is 'Q0', location is LC017, type is buried.
Q0       = TFFE( VCC, GLOBAL( CLK_4M),  VCC,  VCC,  VCC);

-- Node name is ':33' = 'Q1' 
-- Equation name is 'Q1', location is LC023, type is buried.
Q1       = TFFE( Q0, GLOBAL( CLK_4M),  VCC,  VCC,  VCC);

-- Node name is ':32' = 'Q2' 
-- Equation name is 'Q2', location is LC012, type is buried.
Q2       = TFFE( _EQ029, GLOBAL( CLK_4M),  VCC,  VCC,  VCC);
  _EQ029 =  Q0 &  Q1;

-- Node name is ':31' = 'Q3' 
-- Equation name is 'Q3', location is LC009, type is buried.
Q3       = TFFE( _EQ030, GLOBAL( CLK_4M),  VCC,  VCC,  VCC);
  _EQ030 =  Q0 &  Q1 &  Q2;

-- Node name is ':30' = 'Q4' 
-- Equation name is 'Q4', location is LC013, type is buried.
Q4       = TFFE( _EQ031, GLOBAL( CLK_4M),  VCC,  VCC,  VCC);
  _EQ031 =  Q0 &  Q1 &  Q2 &  Q3;

-- Node name is ':102' = 'REG0' 
-- Equation name is 'REG0', location is LC059, type is buried.
REG0     = TFFE( _EQ032,  Q0,  VCC,  VCC,  VCC);
  _EQ032 =  ACC0 & !ENLOCK &  F2 & !REG0
         # !ACC0 & !ENLOCK &  F2 &  REG0;

-- Node name is ':101' = 'REG1' 
-- Equation name is 'REG1', location is LC060, type is buried.
REG1     = TFFE( _EQ033,  Q0,  VCC,  VCC,  VCC);
  _EQ033 =  ACC1 & !ENLOCK &  F2 & !REG1
         # !ACC1 & !ENLOCK &  F2 &  REG1;

-- Node name is ':100' = 'REG2' 
-- Equation name is 'REG2', location is LC044, type is buried.
REG2     = TFFE( _EQ034,  Q0,  VCC,  VCC,  VCC);
  _EQ034 =  ACC2 & !ENLOCK &  F2 & !REG2
         # !ACC2 & !ENLOCK &  F2 &  REG2;

-- Node name is ':99' = 'REG3' 
-- Equation name is 'REG3', location is LC035, type is buried.
REG3     = TFFE( _EQ035,  Q0,  VCC,  VCC,  VCC);
  _EQ035 =  ACC3 & !ENLOCK &  F2 & !REG3
         # !ACC3 & !ENLOCK &  F2 &  REG3;

-- Node name is ':98' = 'REG4' 
-- Equation name is 'REG4', location is LC037, type is buried.
REG4     = TFFE( _EQ036,  Q0,  VCC,  VCC,  VCC);
  _EQ036 =  ACC4 & !ENLOCK &  F2 & !REG4
         # !ACC4 & !ENLOCK &  F2 &  REG4;

-- Node name is ':97' = 'REG5' 
-- Equation name is 'REG5', location is LC036, type is buried.
REG5     = TFFE( _EQ037,  Q0,  VCC,  VCC,  VCC);
  _EQ037 =  ACC5 & !ENLOCK &  F2 & !REG5
         # !ACC5 & !ENLOCK &  F2 &  REG5;

-- Node name is ':96' = 'REG6' 
-- Equation name is 'REG6', location is LC041, type is buried.
REG6     = TFFE( _EQ038,  Q0,  VCC,  VCC,  VCC);
  _EQ038 =  ACC6 & !ENLOCK &  F2 & !REG6
         # !ACC6 & !ENLOCK &  F2 &  REG6;