yunsuan.rpt

用verilog语言写的拔河游戏机

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


Device-Specific Information:                    e:\xyq\maxplus\xyq\yunsuan.rpt
yunsuan

** EQUATIONS **

ALU_BUS  : INPUT;
CN       : INPUT;
cp_t     : INPUT;
in0      : INPUT;
in1      : INPUT;
in2      : INPUT;
in3      : INPUT;
in4      : INPUT;
in5      : INPUT;
in6      : INPUT;
in7      : INPUT;
LDDR1    : INPUT;
LDDR2    : INPUT;
LDR4     : INPUT;
LDR5     : INPUT;
M        : INPUT;
R4_BUS   : INPUT;
R5_BUS   : INPUT;
SW_BUS   : INPUT;
s0       : INPUT;
s1       : INPUT;
s2       : INPUT;
s3       : INPUT;
~PIN001  : INPUT;

-- Node name is 'CN4' 
-- Equation name is 'CN4', location is LC081, type is output.
 CN4     = LCELL( _EQ001 $  _EQ002);
  _EQ001 = !_LC066 & !_LC068 & !_LC070 & !_LC071 & !_LC075 & !_LC080 & 
             !_LC083 & !_LC084 & !_LC087 &  _X001 &  _X002 &  _X003 &  _X004 & 
              _X005
         # !CN & !_LC066 & !_LC068 & !_LC070 & !_LC071 & !_LC080 & !_LC083 & 
             !_LC084 & !_LC087 &  _X001 &  _X002 &  _X003 &  _X004 &  _X005
         # !_LC066 & !_LC067 & !_LC070 & !_LC071 & !_LC080 & !_LC083 & 
             !_LC084 & !_LC087 &  _X001 &  _X002 &  _X003 &  _X004 &  _X005
         # !_LC065 & !_LC066 & !_LC070 & !_LC071 & !_LC083 & !_LC084 & 
             !_LC087 &  _X001 &  _X002 &  _X003 &  _X004 &  _X005;
  _X001  = EXP(!_LC070 & !_LC071 & !_LC074 & !_LC083 & !_LC084 & !_LC087);
  _X002  = EXP(!_LC070 & !_LC073 & !_LC083 & !_LC084 & !_LC087);
  _X003  = EXP(!_LC082 & !_LC083 & !_LC084 & !_LC087);
  _X004  = EXP(!_LC083 & !_LC087 & !_LC090);
  _X005  = EXP(!_LC087 & !_LC092);
  _EQ002 =  _X001 &  _X002 &  _X003 &  _X004 &  _X005;
  _X001  = EXP(!_LC070 & !_LC071 & !_LC074 & !_LC083 & !_LC084 & !_LC087);
  _X002  = EXP(!_LC070 & !_LC073 & !_LC083 & !_LC084 & !_LC087);
  _X003  = EXP(!_LC082 & !_LC083 & !_LC084 & !_LC087);
  _X004  = EXP(!_LC083 & !_LC087 & !_LC090);
  _X005  = EXP(!_LC087 & !_LC092);

-- Node name is 'D0' 
-- Equation name is 'D0', location is LC056, type is bidir.
D0       = TRI(_LC056, GLOBAL(!~PIN001));
_LC056   = LCELL( _EQ003 $  VCC);
  _EQ003 = !_LC023 & !R5_BUS
         # !_LC025 & !R4_BUS
         # !in0 & !SW_BUS
         # !ALU_BUS & !_LC085;

-- Node name is 'D1' 
-- Equation name is 'D1', location is LC053, type is bidir.
D1       = TRI(_LC053, GLOBAL(!~PIN001));
_LC053   = LCELL( _EQ004 $  VCC);
  _EQ004 = !_LC019 & !R5_BUS
         # !_LC026 & !R4_BUS
         # !in1 & !SW_BUS
         # !ALU_BUS & !_LC076;

-- Node name is 'D2' 
-- Equation name is 'D2', location is LC049, type is bidir.
D2       = TRI(_LC049, GLOBAL(!~PIN001));
_LC049   = LCELL( _EQ005 $  VCC);
  _EQ005 = !_LC018 & !R5_BUS
         # !_LC027 & !R4_BUS
         # !in2 & !SW_BUS
         # !ALU_BUS & !_LC077;

-- Node name is 'D3' 
-- Equation name is 'D3', location is LC061, type is bidir.
D3       = TRI(_LC061, GLOBAL(!~PIN001));
_LC061   = LCELL( _EQ006 $  VCC);
  _EQ006 = !_LC017 & !R5_BUS
         # !_LC031 & !R4_BUS
         # !in3 & !SW_BUS
         # !ALU_BUS & !_LC079;

-- Node name is 'D4' 
-- Equation name is 'D4', location is LC064, type is bidir.
D4       = TRI(_LC064, GLOBAL(!~PIN001));
_LC064   = LCELL( _EQ007 $  VCC);
  _EQ007 = !_LC042 & !R5_BUS
         # !_LC033 & !R4_BUS
         # !in4 & !SW_BUS
         # !ALU_BUS & !_LC078;

-- Node name is 'D5' 
-- Equation name is 'D5', location is LC051, type is bidir.
D5       = TRI(_LC051, GLOBAL(!~PIN001));
_LC051   = LCELL( _EQ008 $  VCC);
  _EQ008 = !_LC043 & !R5_BUS
         # !_LC036 & !R4_BUS
         # !in5 & !SW_BUS
         # !ALU_BUS & !_LC088;

-- Node name is 'D6' 
-- Equation name is 'D6', location is LC057, type is bidir.
D6       = TRI(_LC057, GLOBAL(!~PIN001));
_LC057   = LCELL( _EQ009 $  VCC);
  _EQ009 = !_LC044 & !R5_BUS
         # !_LC037 & !R4_BUS
         # !in6 & !SW_BUS
         # !ALU_BUS & !_LC086;

-- Node name is 'D7' 
-- Equation name is 'D7', location is LC059, type is bidir.
D7       = TRI(_LC059, GLOBAL(!~PIN001));
_LC059   = LCELL( _EQ010 $  VCC);
  _EQ010 = !_LC045 & !R5_BUS
         # !_LC038 & !R4_BUS
         # !in7 & !SW_BUS
         # !ALU_BUS & !_LC095;

-- Node name is '|74181:148|:87' = '|74181:148|F0N' 
-- Equation name is '_LC078', type is buried 
_LC078   = LCELL( _EQ011 $  _EQ012);
  _EQ011 =  _X006 &  _X007;
  _X006  = EXP( _LC070 & !_LC073);
  _X007  = EXP(!_LC070 &  _LC073);
  _EQ012 = !M &  _X008 &  _X009 &  _X010 &  _X011 &  _X012;
  _X008  = EXP(!_LC066 & !_LC068 & !_LC071 & !_LC075 & !_LC080);
  _X009  = EXP(!CN & !_LC066 & !_LC068 & !_LC071 & !_LC080);
  _X010  = EXP(!_LC066 & !_LC067 & !_LC071 & !_LC080);
  _X011  = EXP(!_LC065 & !_LC066 & !_LC071);
  _X012  = EXP(!_LC071 & !_LC074);

-- Node name is '|74181:148|:86' = '|74181:148|F1N' 
-- Equation name is '_LC088', type is buried 
_LC088   = LCELL( _EQ013 $  _LC072);
  _EQ013 =  _LC035 &  _LC039 &  _LC084 &  s3
         # !_LC035 &  _LC039 &  _LC084 &  s2
         #  _LC082 & !_LC084;

-- Node name is '|74181:148|:85' = '|74181:148|F2N' 
-- Equation name is '_LC086', type is buried 
_LC086   = LCELL( _EQ014 $  _LC094);
  _EQ014 =  _LC041 &  _LC047 &  _LC083 &  s3
         # !_LC041 &  _LC047 &  _LC083 &  s2
         # !_LC083 &  _LC090;

-- Node name is '|74181:148|:84' = '|74181:148|F3N' 
-- Equation name is '_LC095', type is buried 
_LC095   = LCELL( _EQ015 $  _LC096);
  _EQ015 =  _LC040 &  _LC048 &  _LC087 &  s3
         # !_LC040 &  _LC048 &  _LC087 &  s2
         # !_LC087 &  _LC092;

-- Node name is '|74181:148|:37' 
-- Equation name is '_LC070', type is buried 
_LC070   = LCELL( _EQ016 $ !_LC046);
  _EQ016 =  _LC034 & !_LC046 &  s0
         # !_LC034 & !_LC046 &  s1;

-- Node name is '|74181:148|:38' 
-- Equation name is '_LC073', type is buried 
_LC073   = LCELL( _EQ017 $  VCC);
  _EQ017 =  _LC034 &  _LC046 &  s3
         # !_LC034 &  _LC046 &  s2;

-- Node name is '|74181:148|:39' 
-- Equation name is '_LC084', type is buried 
_LC084   = LCELL( _EQ018 $ !_LC039);
  _EQ018 =  _LC035 & !_LC039 &  s0
         # !_LC035 & !_LC039 &  s1;

-- Node name is '|74181:148|:40' 
-- Equation name is '_LC082', type is buried 
_LC082   = LCELL( _EQ019 $  VCC);
  _EQ019 =  _LC035 &  _LC039 &  s3
         # !_LC035 &  _LC039 &  s2;

-- Node name is '|74181:148|:41' 
-- Equation name is '_LC083', type is buried 
_LC083   = LCELL( _EQ020 $ !_LC047);
  _EQ020 =  _LC041 & !_LC047 &  s0
         # !_LC041 & !_LC047 &  s1;

-- Node name is '|74181:148|:42' 
-- Equation name is '_LC090', type is buried 
_LC090   = LCELL( _EQ021 $  VCC);
  _EQ021 =  _LC041 &  _LC047 &  s3
         # !_LC041 &  _LC047 &  s2;

-- Node name is '|74181:148|:49' 
-- Equation name is '_LC092', type is buried 
_LC092   = LCELL( _EQ022 $  VCC);
  _EQ022 =  _LC040 &  _LC048 &  s3
         # !_LC040 &  _LC048 &  s2;

-- Node name is '|74181:148|:50' 
-- Equation name is '_LC087', type is buried 
_LC087   = LCELL( _EQ023 $ !_LC048);
  _EQ023 =  _LC040 & !_LC048 &  s0
         # !_LC040 & !_LC048 &  s1;

-- Node name is '|74181:148|:76' 
-- Equation name is '_LC096', type is buried 
_LC096   = LCELL( _EQ024 $  _EQ025);
  _EQ024 =  CN &  _LC065 &  _LC067 &  _LC073 &  _LC074 &  _LC075 &  _LC082 & 
              _LC090 & !M &  _X013 &  _X014 &  _X015 &  _X016
         #  _LC065 &  _LC067 &  _LC068 &  _LC073 &  _LC074 &  _LC082 & 
              _LC090 & !M &  _X013 &  _X014 &  _X015 &  _X016
         #  _LC065 &  _LC073 &  _LC074 &  _LC080 &  _LC082 &  _LC090 & !M & 
              _X013 &  _X014 &  _X015 &  _X016
         #  _LC066 &  _LC073 &  _LC074 &  _LC082 &  _LC090 & !M &  _X013 & 
              _X014 &  _X015 &  _X016;
  _X013  = EXP( _LC071 &  _LC073 &  _LC082 &  _LC090 & !M);
  _X014  = EXP( _LC070 &  _LC082 &  _LC090 & !M);
  _X015  = EXP( _LC084 &  _LC090 & !M);
  _X016  = EXP( _LC083 & !M);
  _EQ025 =  _X013 &  _X014 &  _X015 &  _X016;
  _X013  = EXP( _LC071 &  _LC073 &  _LC082 &  _LC090 & !M);
  _X014  = EXP( _LC070 &  _LC082 &  _LC090 & !M);
  _X015  = EXP( _LC084 &  _LC090 & !M);
  _X016  = EXP( _LC083 & !M);

-- Node name is '|74181:148|:88' 
-- Equation name is '_LC072', type is buried 
_LC072   = LCELL( _EQ026 $  _EQ027);
  _EQ026 =  CN &  _LC065 &  _LC067 &  _LC073 &  _LC074 &  _LC075 & !M & 
              _X017 &  _X018
         #  _LC065 &  _LC067 &  _LC068 &  _LC073 &  _LC074 & !M &  _X017 & 
              _X018
         #  _LC065 &  _LC073 &  _LC074 &  _LC080 & !M &  _X017 &  _X018
         #  _LC066 &  _LC073 &  _LC074 & !M &  _X017 &  _X018;
  _X017  = EXP( _LC070 & !M);
  _X018  = EXP( _LC071 &  _LC073 & !M);
  _EQ027 =  _X017 &  _X018;
  _X017  = EXP( _LC070 & !M);
  _X018  = EXP( _LC071 &  _LC073 & !M);

-- Node name is '|74181:148|:89' 
-- Equation name is '_LC094', type is buried 
_LC094   = LCELL( _EQ028 $  _EQ029);
  _EQ028 =  CN &  _LC065 &  _LC067 &  _LC073 &  _LC074 &  _LC075 &  _LC082 & 
             !M &  _X019 &  _X020 &  _X021
         #  _LC065 &  _LC067 &  _LC068 &  _LC073 &  _LC074 &  _LC082 & !M & 
              _X019 &  _X020 &  _X021
         #  _LC065 &  _LC073 &  _LC074 &  _LC080 &  _LC082 & !M &  _X019 & 
              _X020 &  _X021
         #  _LC066 &  _LC073 &  _LC074 &  _LC082 & !M &  _X019 &  _X020 & 
              _X021;
  _X019  = EXP( _LC071 &  _LC073 &  _LC082 & !M);
  _X020  = EXP( _LC070 &  _LC082 & !M);
  _X021  = EXP( _LC084 & !M);
  _EQ029 =  _X019 &  _X020 &  _X021;
  _X019  = EXP( _LC071 &  _LC073 &  _LC082 & !M);
  _X020  = EXP( _LC070 &  _LC082 & !M);
  _X021  = EXP( _LC084 & !M);

-- Node name is '|74181:149|:87' = '|74181:149|F0N' 
-- Equation name is '_LC085', type is buried 
_LC085   = LCELL( _EQ030 $  _LC075);
  _EQ030 =  CN &  _LC068 & !M
         # !_LC068 &  M
         # !CN & !_LC068;

-- Node name is '|74181:149|:86' = '|74181:149|F1N' 
-- Equation name is '_LC076', type is buried 
_LC076   = LCELL( _EQ031 $  _LC091);
  _EQ031 =  _LC024 &  _LC032 &  _LC080 &  s3
         # !_LC024 &  _LC032 &  _LC080 &  s2
         #  _LC067 & !_LC080;

-- Node name is '|74181:149|:85' = '|74181:149|F2N' 
-- Equation name is '_LC077', type is buried 
_LC077   = LCELL( _EQ032 $  _LC089);
  _EQ032 =  _LC020 &  _LC030 &  _LC066 &  s3
         # !_LC020 &  _LC030 &  _LC066 &  s2
         #  _LC065 & !_LC066;

-- Node name is '|74181:149|:84' = '|74181:149|F3N' 
-- Equation name is '_LC079', type is buried 
_LC079   = LCELL( _EQ033 $  _LC093);
  _EQ033 =  _LC021 &  _LC028 &  _LC071 &  s3
         # !_LC021 &  _LC028 &  _LC071 &  s2
         # !_LC071 &  _LC074;

-- Node name is '|74181:149|:37' 
-- Equation name is '_LC068', type is buried 
_LC068   = LCELL( _EQ034 $ !_LC029);
  _EQ034 =  _LC022 & !_LC029 &  s0
         # !_LC022 & !_LC029 &  s1;

-- Node name is '|74181:149|:38' 
-- Equation name is '_LC075', type is buried 
_LC075   = LCELL( _EQ035 $  VCC);
  _EQ035 =  _LC022 &  _LC029 &  s3
         # !_LC022 &  _LC029 &  s2;

-- Node name is '|74181:149|:39' 
-- Equation name is '_LC080', type is buried 
_LC080   = LCELL( _EQ036 $ !_LC032);
  _EQ036 =  _LC024 & !_LC032 &  s0
         # !_LC024 & !_LC032 &  s1;

-- Node name is '|74181:149|:40' 
-- Equation name is '_LC067', type is buried