📄 main.rpt
字号:
| | | | +----------------------- LC117 count14
| | | | | +--------------------- LC121 count12
| | | | | | +------------------- LC113 count25
| | | | | | | +----------------- LC124 count35
| | | | | | | | +--------------- LC122 count34
| | | | | | | | | +------------- LC128 :1841
| | | | | | | | | | +----------- LC116 ~2021~3
| | | | | | | | | | | +--------- LC114 ~2138~1
| | | | | | | | | | | | +------- LC119 ~2156~2
| | | | | | | | | | | | | +----- LC126 ~2165~2
| | | | | | | | | | | | | | +--- LC120 ~2174~2
| | | | | | | | | | | | | | | +- LC127 ~2183~2
| | | | | | | | | | | | | | | |
| | | | | | | | | | | | | | | | Other LABs fed by signals
| | | | | | | | | | | | | | | | that feed LAB 'H'
LC | | | | | | | | | | | | | | | | | A B C D E F G H | Logic cells that feed LAB 'H':
LC115-> * - - * * * * * * - * - - - - - | - * - - * * * * | <-- alarm
LC123-> - * - - - - - - - - - - - - - - | - - - - - - - * | <-- state0
LC125-> - - * - - - - - - - - - - - - - | - - - - - - - * | <-- state2
LC118-> * * * * * - - - * * * - * * * * | - - - - * * * * | <-- count15
LC117-> * * * * * - - - * * * - * * * * | - - - - * * * * | <-- count14
LC121-> * * * * * * - - * * * - * - * * | - * - - * * * * | <-- count12
LC113-> * * - - - - * - * - * * * * * * | * - - - * * * * | <-- count25
LC124-> * * - - - - - * * - * * - - - - | * - - - - - * * | <-- count35
LC122-> * * - - - - - - * - * - - - - - | * - - - - - * * | <-- count34
Pin
83 -> - - - - - - - - - - - - - - - - | - - - - - - - - | <-- clk
LC49 -> * * * * * * * * * - - - - - - - | - * - * * * - * | <-- |fenpin:f1|cp1
LC81 -> * * * * * * - - * * - - * * * * | * * - - * * * * | <-- state22
LC85 -> * * - - - - - - * - * * * * * * | * - - - * * * * | <-- state21
LC89 -> * * - - - - - - * - * * * * * * | * - - - - * * * | <-- state20
LC33 -> * * * * * * * * * - * - * * * * | * * - * * * * * | <-- startstop
LC76 -> * * * * * * - - * * * - - * * * | - * - - * * * * | <-- count13
LC28 -> * * * * * * - - * * * - * * - * | - * - - * * * * | <-- count11
LC73 -> * * * * * * - - * * * - * * * - | - * - - * * * * | <-- count10
LC82 -> * * - - - - - - * - * * - - - - | * - - - * * * * | <-- count24
LC74 -> * * - - - - - - * - * * * * * * | * - - - * * * * | <-- count23
LC80 -> * * - - - - - - * - * * * * * * | * - - - * * * * | <-- count22
LC90 -> * * - - - - - - * - * * * * * * | * - - - * * * * | <-- count21
LC77 -> * * - - - - - - * - * * * * * * | * - - - * * * * | <-- count20
LC69 -> * * - - - - - - * - - * * - - - | - - - - - * * * | <-- count33
LC67 -> * * - - - - - - * - - * - * - - | - - - - - * * * | <-- count32
LC79 -> * * - - - - - - * - - * - - * - | - - - - - * * * | <-- count31
LC66 -> * * - - - - - - * - * * - - - * | * - - - - * * * | <-- count30
* = 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: d:\wash\wash\main.rpt
main
** EQUATIONS **
choice : INPUT;
clk : INPUT;
start : INPUT;
-- Node name is 'alarm' = 'alarm1'
-- Equation name is 'alarm', location is LC115, type is output.
alarm = DFFE( _EQ001 $ _EQ002, _LC049, VCC, VCC, VCC);
_EQ001 = !alarm & startstop & state21 & _X001 & _X002 & _X003
# !alarm & startstop & state20 & _X002 & _X003 & _X004
# !alarm & startstop & state22 & _X002 & _X003 & _X005;
_X001 = EXP(!count20 & !count21 & !count22 & !count23);
_X002 = EXP(!alarm & count24 & !count25 & state21);
_X003 = EXP(!alarm & count34 & !count35 & state20);
_X004 = EXP(!count30 & !count31 & !count32 & !count33);
_X005 = EXP(!count10 & !count11 & !count12 & !count13 & !count14 & !count15);
_EQ002 = startstop & _X002 & _X003;
_X002 = EXP(!alarm & count24 & !count25 & state21);
_X003 = EXP(!alarm & count34 & !count35 & state20);
-- Node name is ':37' = 'count10'
-- Equation name is 'count10', location is LC073, type is buried.
count10 = DFFE( _EQ003 $ GND, _LC049, VCC, VCC, VCC);
_EQ003 = !alarm & count10 & !startstop
# count10 & startstop & !state22
# !count10 & startstop & state22 & _X006;
_X006 = EXP(!count11 & !count12 & !count13 & !count14 & !count15);
-- Node name is ':36' = 'count11'
-- Equation name is 'count11', location is LC028, type is buried.
count11 = TFFE( _EQ004, _LC049, VCC, VCC, VCC);
_EQ004 = !count10 & count12 & startstop & state22
# !count10 & count13 & startstop & state22
# !count10 & count11 & startstop & state22
# alarm & count11 & !startstop;
-- Node name is ':35' = 'count12'
-- Equation name is 'count12', location is LC121, type is buried.
count12 = TFFE( _EQ005, _LC049, VCC, VCC, VCC);
_EQ005 = !count10 & !count11 & count13 & startstop & state22
# !count10 & !count11 & count12 & startstop & state22
# alarm & count12 & !startstop;
-- Node name is ':34' = 'count13'
-- Equation name is 'count13', location is LC076, type is buried.
count13 = TFFE( _EQ006, _LC049, VCC, VCC, VCC);
_EQ006 = !count10 & !count11 & !count12 & count15 & startstop & state22
# !count10 & !count11 & !count12 & count14 & startstop & state22
# !count10 & !count11 & !count12 & count13 & startstop & state22
# alarm & count13 & !startstop;
-- Node name is ':33' = 'count14'
-- Equation name is 'count14', location is LC117, type is buried.
count14 = TFFE( _EQ007, _LC049, VCC, VCC, VCC);
_EQ007 = !count10 & !count11 & !count12 & !count13 & count15 & startstop &
state22
# !count10 & !count11 & !count12 & !count13 & count14 & startstop &
state22
# alarm & count14 & !startstop;
-- Node name is ':32' = 'count15'
-- Equation name is 'count15', location is LC118, type is buried.
count15 = DFFE( _EQ008 $ VCC, _LC049, VCC, VCC, VCC);
_EQ008 = !count10 & !count11 & !count12 & !count13 & !count14 & startstop &
state22
# !alarm & !count15
# !count15 & startstop;
-- Node name is ':52' = 'count20'
-- Equation name is 'count20', location is LC077, type is buried.
count20 = DFFE( _EQ009 $ _EQ010, _LC049, VCC, VCC, VCC);
_EQ009 = !alarm & !count20 & !startstop & _X007 & _X008 & _X009
# !count20 & !count21 & !count22 & !count23 & startstop & _X007 &
_X008 & _X009 & _X010
# !count20 & startstop & state22 & _X005 & _X007 & _X008 &
_X009;
_X007 = EXP(!count10 & !count11 & !count12 & !count13 & !count14 & !count15 &
count20 & startstop & state21);
_X008 = EXP( count20 & startstop & state21 & !state22);
_X009 = EXP(!count20 & startstop & !state21);
_X010 = EXP( count24 & !count25);
_X005 = EXP(!count10 & !count11 & !count12 & !count13 & !count14 & !count15);
_EQ010 = _X007 & _X008 & _X009;
_X007 = EXP(!count10 & !count11 & !count12 & !count13 & !count14 & !count15 &
count20 & startstop & state21);
_X008 = EXP( count20 & startstop & state21 & !state22);
_X009 = EXP(!count20 & startstop & !state21);
-- Node name is ':51' = 'count21'
-- Equation name is 'count21', location is LC090, type is buried.
count21 = TFFE( _EQ011, _LC049, VCC, VCC, VCC);
_EQ011 = alarm & count21 & !startstop
# !count10 & !count11 & !count12 & !count13 & !count14 & !count15 &
!count20 & startstop & state21 & _X011
# !count20 & startstop & state21 & !state22 & _X011;
_X011 = EXP(!count21 & !count22 & !count23);
-- Node name is ':50' = 'count22'
-- Equation name is 'count22', location is LC080, type is buried.
count22 = DFFE( _EQ012 $ _EQ013, _LC049, VCC, VCC, VCC);
_EQ012 = !alarm & !count22 & !startstop & _X012 & _X013
# !count22 & startstop & _X012 & _X013 & _X014
# !count22 & startstop & state22 & _X005 & _X012 & _X013;
_X012 = EXP(!count10 & !count11 & !count12 & !count13 & !count14 & !count15 &
!count20 & !count21 & count22 & startstop & state21);
_X013 = EXP(!count20 & !count21 & count22 & startstop & state21 & !state22);
_X014 = EXP(!count20 & !count21 & count23 & state21);
_X005 = EXP(!count10 & !count11 & !count12 & !count13 & !count14 & !count15);
_EQ013 = _X012 & _X013;
_X012 = EXP(!count10 & !count11 & !count12 & !count13 & !count14 & !count15 &
!count20 & !count21 & count22 & startstop & state21);
_X013 = EXP(!count20 & !count21 & count22 & startstop & state21 & !state22);
-- Node name is ':49' = 'count23'
-- Equation name is 'count23', location is LC074, type is buried.
count23 = DFFE( _EQ014 $ _EQ015, _LC049, VCC, VCC, VCC);
_EQ014 = !count20 & !count21 & !count22 & !count23 & count24 & !count25 &
startstop & state21 & !state22
# !count10 & !count11 & !count12 & !count13 & !count14 & !count15 &
!count20 & !count21 & !count22 & !count23 & count24 & !count25 &
startstop & state21
# !alarm & count23 & !startstop;
_EQ015 = count23 & startstop & _X015 & _X016;
_X015 = EXP(!count20 & !count21 & !count22 & state21 & !state22);
_X016 = EXP(!count10 & !count11 & !count12 & !count13 & !count14 & !count15 &
!count20 & !count21 & !count22 & state21);
-- Node name is ':48' = 'count24'
-- Equation name is 'count24', location is LC082, type is buried.
count24 = DFFE( _EQ016 $ VCC, _LC049, VCC, VCC, VCC);
_EQ016 = !alarm & !count24
# !count24 & startstop
# !count20 & !count21 & !count22 & !count23 & !count25 & startstop &
state21 & !state22
# !count10 & !count11 & !count12 & !count13 & !count14 & !count15 &
!count20 & !count21 & !count22 & !count23 & !count25 &
startstop & state21;
-- Node name is ':47' = 'count25'
-- Equation name is 'count25', location is LC113, type is buried.
count25 = DFFE( _EQ017 $ GND, _LC049, VCC, VCC, VCC);
_EQ017 = !alarm & count25
# count25 & startstop;
-- Node name is ':58' = 'count30'
-- Equation name is 'count30', location is LC066, type is buried.
count30 = TFFE(!_LC002, _LC049, VCC, VCC, VCC);
-- Node name is ':57' = 'count31'
-- Equation name is 'count31', location is LC079, type is buried.
count31 = TFFE( _LC086, _LC049, VCC, VCC, VCC);
-- Node name is ':56' = 'count32'
-- Equation name is 'count32', location is LC067, type is buried.
count32 = TFFE( _LC106, _LC049, VCC, VCC, VCC);
-- Node name is ':55' = 'count33'
-- Equation name is 'count33', location is LC069, type is buried.
count33 = DFFE( _LC087 $ !_LC110, _LC049, VCC, VCC, VCC);
-- Node name is ':54' = 'count34'
-- Equation name is 'count34', location is LC122, type is buried.
count34 = DFFE( _EQ018 $ _EQ019, _LC049, VCC, VCC, VCC);
_EQ018 = !count34 & _X017 & _X018 & _X019
# !count20 & !count21 & !count22 & !count23 & !count30 & !count31 &
!count32 & !count33 & !count35 & startstop & state20 &
!state22 & _X010 & _X017 & _X018
# !count10 & !count11 & !count12 & !count13 & !count14 & !count15 &
!count20 & !count21 & !count22 & !count23 & !count30 & !count31 &
!count32 & !count33 & !count35 & startstop & state20 & _X010 &
_X017 & _X018;
_X017 = EXP(!count10 & !count11 & !count12 & !count13 & !count14 & !count15 &
!count30 & !count31 & !count32 & !count33 & !count35 &
startstop & state20 & !state21);
_X018 = EXP(!count30 & !count31 & !count32 & !count33 & !count35 & startstop &
state20 & !state21 & !state22);
_X019 = EXP( alarm & !startstop);
_X010 = EXP( count24 & !count25);
_EQ019 = _X017 & _X018;
_X017 = EXP(!count10 & !count11 & !count12 & !count13 & !count14 & !count15 &
!count30 & !count31 & !count32 & !count33 & !count35 &
startstop & state20 & !state21);
_X018 = EXP(!count30 & !count31 & !count32 & !count33 & !count35 & startstop &
state20 & !state21 & !state22);
-- Node name is ':53' = 'count35'
-- Equation name is 'count35', location is LC124, type is buried.
count35 = DFFE( _EQ020 $ GND, _LC049, VCC, VCC, VCC);
_EQ020 = !alarm & count35
# count35 & startstop;
-- Node name is 'cs0' = '|display:p1|b0'
-- Equation name is 'cs0', type is output
cs0 = DFFE( _EQ021 $ VCC, _LC041, VCC, VCC, VCC);
_EQ021 = cs0 & !cs1 & cs2;
-- Node name is 'cs1' = '|display:p1|b1'
-- Equation name is 'cs1', type is output
cs1 = DFFE( _EQ022 $ VCC, _LC041, VCC, VCC, VCC);
_EQ022 = cs0 & cs1 & !cs2;
-- Node name is 'cs2' = '|display:p1|b2'
-- Equation name is 'cs2', type is output
cs2 = DFFE( _EQ023 $ GND, _LC041, VCC, VCC, VCC);
_EQ023 = cs0 & cs1 & !cs2
# cs0 & !cs1 & cs2;
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -