📄 autoseller.rpt
字号:
-- Node name is ':27' = 'present_state4'
-- Equation name is 'present_state4', location is LC116, type is buried.
present_state4 = DFFE( _EQ007 $ GND, GLOBAL( clock), !reset, VCC, VCC);
_EQ007 = !fivecoins & !halfcoin & line0 & !line1 & !line2 & !line3 &
!onecoin & !present_state0 & present_state1 & !present_state2 &
!present_state3 & !present_state4 & tencoins
# _LC127 & _X001;
_X001 = EXP( line0 & !line1 & !line2 & !line3);
-- Node name is 'ready'
-- Equation name is 'ready', location is LC115, type is output.
ready = LCELL( _EQ008 $ GND);
_EQ008 = line1 & !line2 & !line3 & !present_state0 & !present_state1 &
!present_state2 & !present_state3 & !present_state4
# line0 & !line2 & !line3 & !present_state0 & !present_state1 &
!present_state2 & !present_state3 & !present_state4;
-- Node name is 'ret'
-- Equation name is 'ret', location is LC097, type is output.
ret = LCELL( _EQ009 $ VCC);
_EQ009 = !_LC103 & !_LC108 & _X002 & _X003 & _X004 & _X005;
_X002 = EXP(!line0 & line1 & !line2 & !line3 & present_state0 &
present_state1 & present_state3 & !present_state4);
_X003 = EXP(!line0 & line1 & !line2 & !line3 & !present_state1 &
!present_state2 & !present_state3 & present_state4);
_X004 = EXP( line0 & line1 & !line2 & !line3 & present_state3);
_X005 = EXP( line0 & line1 & !line2 & !line3 & present_state4);
-- Node name is 'SOUT0'
-- Equation name is 'SOUT0', location is LC101, type is output.
SOUT0 = LCELL( _EQ010 $ GND);
_EQ010 = line1 & !line2 & !line3 & row0 & !row2 & !row3
# line0 & !line2 & !line3 & row0 & !row2 & !row3;
-- Node name is 'SOUT1'
-- Equation name is 'SOUT1', location is LC105, type is output.
SOUT1 = LCELL( _EQ011 $ GND);
_EQ011 = line0 & !line1 & !line2 & !line3 & row1 & !row2 & !row3
# line1 & !line2 & !line3 & row1 & !row2 & !row3;
-- Node name is 'SOUT2'
-- Equation name is 'SOUT2', location is LC083, type is output.
SOUT2 = LCELL( VCC $ VCC);
-- Node name is 'SOUT3'
-- Equation name is 'SOUT3', location is LC085, type is output.
SOUT3 = LCELL( VCC $ VCC);
-- Node name is 'SOUT4'
-- Equation name is 'SOUT4', location is LC109, type is output.
SOUT4 = LCELL( _EQ012 $ GND);
_EQ012 = !line0 & line1 & !line2 & !line3 & row1 & !row2 & !row3
# !line0 & line1 & !line2 & !line3 & row0 & !row2 & !row3;
-- Node name is 'SOUT5'
-- Equation name is 'SOUT5', location is LC107, type is output.
SOUT5 = LCELL( _EQ013 $ GND);
_EQ013 = !line0 & line1 & !line2 & !line3 & row1 & !row2 & !row3
# !line0 & line1 & !line2 & !line3 & row0 & !row2 & !row3
# line0 & !line1 & !line2 & !line3 & row1 & !row2 & !row3
# line0 & !line1 & !line2 & !line3 & row0 & !row2 & !row3;
-- Node name is 'SOUT6'
-- Equation name is 'SOUT6', location is LC099, type is output.
SOUT6 = LCELL( _EQ014 $ GND);
_EQ014 = line0 & line1 & !line2 & !line3 & row0 & !row1 & !row2 & !row3
# line0 & line1 & !line2 & !line3 & row1 & !row2 & !row3;
-- Node name is 'SOUT7'
-- Equation name is 'SOUT7', location is LC104, type is output.
SOUT7 = LCELL( _EQ015 $ GND);
_EQ015 = line0 & !line1 & !line2 & !line3 & row0 & !row1 & !row2 & !row3
# line0 & !line1 & !line2 & !line3 & row1 & !row2 & !row3
# line1 & !line2 & !line3 & row0 & !row1 & !row2 & !row3
# line1 & !line2 & !line3 & row1 & !row2 & !row3;
-- Node name is '~2686~1'
-- Equation name is '~2686~1', location is LC095, type is buried.
-- synthesized logic cell
_LC095 = LCELL( _EQ016 $ GND);
_EQ016 = fivecoins & !onecoin & !present_state0 & present_state1 &
!present_state2 & !present_state3 & !present_state4
# !fivecoins & !present_state0 & !present_state1 & !present_state2 &
!present_state3 & !present_state4 & tencoins
# !onecoin & !present_state0 & present_state1 & !present_state2 &
!present_state3 & !present_state4 & !tencoins
# onecoin & !present_state0 & !present_state1 & !present_state2 &
!present_state3 & !present_state4
# halfcoin & !present_state0 & !present_state2 & !present_state3 &
!present_state4;
-- Node name is '~2749~1'
-- Equation name is '~2749~1', location is LC124, type is buried.
-- synthesized logic cell
_LC124 = LCELL( _EQ017 $ _EQ018);
_EQ017 = !fivecoins & !halfcoin & !_LC100 & !onecoin & !present_state0 &
!present_state2 & !present_state3 & !present_state4 & !tencoins &
_X006 & _X007 & _X008
# halfcoin & !_LC100 & !present_state0 & !present_state1 &
!present_state2 & !present_state4 & _X006 & _X007 & _X008
# !_LC100 & present_state0 & present_state1 & !present_state2 &
present_state3 & _X006 & _X007 & _X008
# !halfcoin & !_LC100 & !present_state0 & present_state1 &
!present_state3 & _X006 & _X007 & _X008;
_X006 = EXP( present_state0 & present_state4);
_X007 = EXP( present_state1 & present_state4);
_X008 = EXP( present_state2 & present_state4);
_EQ018 = !_LC100 & _X006 & _X007 & _X008;
_X006 = EXP( present_state0 & present_state4);
_X007 = EXP( present_state1 & present_state4);
_X008 = EXP( present_state2 & present_state4);
-- Node name is '~2749~2'
-- Equation name is '~2749~2', location is LC100, type is buried.
-- synthesized logic cell
_LC100 = LCELL( _EQ019 $ GND);
_EQ019 = present_state0 & !present_state1 & present_state2
# present_state0 & present_state2 & !present_state3
# !present_state0 & present_state1 & present_state2
# present_state0 & !present_state1 & !present_state3
# !present_state0 & !present_state1 & present_state3;
-- Node name is '~6403~1'
-- Equation name is '~6403~1', location is LC091, type is buried.
-- synthesized logic cell
_LC091 = LCELL( _EQ020 $ GND);
_EQ020 = line0 & !line1 & !line2 & !line3;
-- Node name is '~6404~1'
-- Equation name is '~6404~1', location is LC103, type is buried.
-- synthesized logic cell
_LC103 = LCELL( _EQ021 $ GND);
_EQ021 = line0 & !line1 & !line2 & !line3 & present_state0 &
present_state1 & present_state2 & present_state3 &
!present_state4
# !line0 & line1 & !line2 & !line3 & present_state0 &
!present_state1 & !present_state2 & present_state3 &
!present_state4
# !line0 & line1 & !line2 & !line3 & !present_state0 &
present_state1 & present_state2 & !present_state3 &
!present_state4
# !line0 & line1 & !line2 & !line3 & !present_state0 &
present_state1 & !present_state2 & present_state3 &
!present_state4
# !line0 & line1 & !line2 & !line3 & !present_state0 &
present_state1 & !present_state2 & !present_state3 &
present_state4;
-- Node name is '~6404~2'
-- Equation name is '~6404~2', location is LC108, type is buried.
-- synthesized logic cell
_LC108 = LCELL( _EQ022 $ GND);
_EQ022 = !line0 & line1 & !line2 & !line3 & !present_state0 &
!present_state1 & present_state2 & present_state3 &
!present_state4
# line0 & !line1 & !line2 & !line3 & present_state0 &
!present_state1 & !present_state2 & present_state3 &
!present_state4
# line0 & !line1 & !line2 & !line3 & !present_state0 &
present_state1 & !present_state2 & present_state3 &
!present_state4
# line0 & !line1 & !line2 & !line3 & !present_state0 &
!present_state1 & present_state2 & !present_state3 &
!present_state4
# line0 & !line1 & !line2 & !line3 & !present_state0 &
!present_state1 & !present_state2 & !present_state3 &
present_state4;
-- Node name is '~6449~1'
-- Equation name is '~6449~1', location is LC127, type is buried.
-- synthesized logic cell
_LC127 = LCELL( _EQ023 $ GND);
_EQ023 = !fivecoins & !halfcoin & line0 & line1 & !line2 & !line3 &
!onecoin & present_state2 & !present_state3 & !present_state4 &
tencoins & _X009
# !fivecoins & !halfcoin & line1 & !line2 & !line3 & !onecoin &
!present_state0 & !present_state1 & present_state2 &
!present_state3 & !present_state4 & tencoins
# !fivecoins & !halfcoin & line1 & !line2 & !line3 & !onecoin &
present_state1 & !present_state2 & !present_state3 &
!present_state4 & tencoins
# _LC119 & _X010;
_X009 = EXP( present_state0 & present_state1);
_X010 = EXP( line1 & !line2 & !line3);
-- Node name is '~6452~1~2'
-- Equation name is '~6452~1~2', location is LC128, type is buried.
-- synthesized logic cell
_LC128 = LCELL( _EQ024 $ GND);
_EQ024 = !fivecoins & !halfcoin & line0 & line1 & !line2 & !line3 &
!onecoin & present_state1 & !present_state3 & !present_state4 &
tencoins & _X001 & _X009
# !fivecoins & !halfcoin & line0 & !line2 & !line3 & !onecoin &
!present_state0 & present_state1 & !present_state2 &
!present_state3 & !present_state4 & tencoins & _X001
# _LC119 & _X001 & _X010;
_X001 = EXP( line0 & !line1 & !line2 & !line3);
_X009 = EXP( present_state0 & present_state1);
_X010 = EXP( line1 & !line2 & !line3);
-- Node name is '~6452~1'
-- Equation name is '~6452~1', location is LC119, type is buried.
-- synthesized logic cell
_LC119 = LCELL( _EQ025 $ GND);
_EQ025 = !fivecoins & !halfcoin & line0 & line1 & !line2 & !line3 &
!onecoin & present_state2 & !present_state3 & !present_state4 &
tencoins & _X001 & _X009
# !fivecoins & !halfcoin & line0 & !line1 & !line2 & !line3 &
!onecoin & !present_state0 & present_state1 & !present_state2 &
!present_state3 & !present_state4 & tencoins
# !fivecoins & !halfcoin & line1 & !line2 & !line3 & !onecoin &
!present_state0 & !present_state1 & present_state2 &
!present_state3 & !present_state4 & tencoins & _X001
# !fivecoins & !halfcoin & line1 & !line2 & !line3 & !onecoin &
present_state1 & !present_state2 & !present_state3 &
!present_state4 & tencoins & _X001
# _LC128;
_X001 = EXP( line0 & !line1 & !line2 & !line3);
_X009 = EXP( present_state0 & present_state1);
-- Node name is '~6461~1'
-- Equation name is '~6461~1', location is LC094, type is buried.
-- synthesized logic cell
_LC094 = LCELL( _EQ026 $ VCC);
_EQ026 = !_LC126 & _X011 & _X012 & _X013 & _X014;
_X011 = EXP( fivecoins & !halfcoin & line1 & !line2 & !line3 & !onecoin &
!present_state0 & !present_state1 & !present_state3 &
!present_state4);
_X012 = EXP( _LC120 & line3);
_X013 = EXP( _LC120 & line2);
_X014 = EXP( _LC120 & !line1);
-- Node name is '~6461~2'
-- Equation name is '~6461~2', location is LC126, type is buried.
-- synthesized logic cell
_LC126 = LCELL( _EQ027 $ GND);
_EQ027 = !halfcoin & line0 & line1 & !line2 & !line3 & onecoin &
!present_state0 & present_state1 & present_state2 &
!present_state3 & !present_state4
# fivecoins & !halfcoin & line0 & line1 & !line2 & !line3 &
!onecoin & !present_state1 & present_state2 & !present_state3 &
!present_state4
# !halfcoin & line1 & !line2 & !line3 & !onecoin & !present_state0 &
!present_state1 & !present_state2 & !present_state3 &
!present_state4 & tencoins
# fivecoins & !halfcoin & line0 & line1 & !line2 & !line3 &
!onecoin & !present_state0 & !present_state3 & !present_state4
# fivecoins & !halfcoin & line1 & !line2 & !line3 & !onecoin &
present_state1 & !present_state2 & !present_state3 &
!present_state4;
-- Node name is '~6464~1'
-- Equation name is '~6464~1', location is LC120, type is buried.
-- synthesized logic cell
_LC120 = LCELL( _EQ028 $ GND);
_EQ028 = !halfcoin & line0 & !line1 & !line2 & !line3 & !onecoin &
!present_state0 & !present_state1 & !present_state2 &
!present_state3 & !present_state4 & tencoins
# fivecoins & !halfcoin & line0 & !line1 & !line2 & !line3 &
!onecoin & !present_state0 & !present_state2 & !present_state3 &
!present_state4
# _LC094 & _X001;
_X001 = EXP( line0 & !line1 & !line2 & !line3);
-- Node name is '~6473~1'
-- Equation name is '~6473~1', location is LC082, type is buried.
-- synthesized logic cell
_LC082 = LCELL( _EQ029 $ _EQ030);
_EQ029 = !fivecoins & !halfcoin & !_LC112 & !_LC118 & line1 & !line2 &
!line3 & !onecoin & !present_state1 & present_state2 &
tencoins & _X015 & _X016 & _X017
# !halfcoin & !_LC112 & !_LC118 & line1 & !line2 & !line3 &
onecoin & present_state1 & present_state2 & _X015 & _X016 &
_X017
# halfcoin & !_LC112 & !_LC118 & !line0 & line1 & !line2 & !line3 &
!present_state0 & present_state1 & _X015 & _X016 & _X017
# !halfcoin & !_LC112 & !_LC118 & line1 & !line2 & !line3 &
!onecoin & present_state1 & !present_state2 & _X015 & _X016 &
_X017;
_X015 = EXP(!_LC122 & line2);
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -