📄 i2c1.rpt
字号:
_X020 = EXP( state~1 & state~3 & state~4 & !state~5);
_X021 = EXP(!_LC018 & state~3 & !state~4 & state~5);
-- Node name is ':29' = 'iser'
-- Equation name is 'iser', location is LC054, type is buried.
iser = DFFE( _EQ019 $ shift_state1, GLOBAL( clk), VCC, VCC, VCC);
_EQ019 = shift_state0 & !shift_state1;
-- Node name is ':38' = 'ishift'
-- Equation name is 'ishift', location is LC034, type is buried.
ishift = TFFE( _EQ020, GLOBAL( clk), VCC, VCC, nreset);
_EQ020 = !ishift & read & !state~1 & !state~2 & state~3 & !state~4 &
!state~5 & !stop & !write
# !ishift & read & !start & !state~1 & !state~2 & !state~3 &
!state~4 & !state~5 & !stop
# !ishift & read & state~1 & state~2 & !state~3 & state~4 &
!state~5;
-- Node name is ':28' = 'istld'
-- Equation name is 'istld', location is LC058, type is buried.
istld = DFFE( _EQ021 $ shift_state1, GLOBAL( clk), VCC, VCC, VCC);
_EQ021 = shift_state0 & !shift_state1;
-- Node name is 'SCL' = ':23'
-- Equation name is 'SCL', type is bidir
SCL = TRI(_LC040, VCC);
_LC040 = DFFE( sclo $ GND, GLOBAL( clk), VCC, nreset, VCC);
-- Node name is ':36' = 'sclo'
-- Equation name is 'sclo', location is LC032, type is buried.
sclo = DFFE( _EQ022 $ _EQ023, GLOBAL( clk), VCC, VCC, nreset);
_EQ022 = state~1 & state~2 & state~4 & !state~5 & _X012 & _X013 &
_X014 & _X015 & _X016
# state~2 & !state~3 & state~4 & !state~5 & _X012 & _X013 &
_X014 & _X015 & _X016
# state~1 & !state~2 & state~3 & !state~4 & _X012 & _X013 &
_X014 & _X015 & _X016;
_X012 = EXP(!iscl & !state~2 & !state~3 & state~5);
_X013 = EXP(!state~1 & !state~2 & state~3 & !state~5);
_X014 = EXP(!state~1 & !state~3 & !state~4 & !state~5);
_X015 = EXP( state~1 & !state~4 & state~5);
_X016 = EXP(!iscl & state~4 & state~5);
_EQ023 = _X012 & _X013 & _X014 & _X015 & _X016;
_X012 = EXP(!iscl & !state~2 & !state~3 & state~5);
_X013 = EXP(!state~1 & !state~2 & state~3 & !state~5);
_X014 = EXP(!state~1 & !state~3 & !state~4 & !state~5);
_X015 = EXP( state~1 & !state~4 & state~5);
_X016 = EXP(!iscl & state~4 & state~5);
-- Node name is 'SDA' = ':25'
-- Equation name is 'SDA', type is bidir
SDA = TRI(_LC033, VCC);
_LC033 = DFFE( sdao $ GND, GLOBAL( clk), VCC, nreset, VCC);
-- Node name is ':37' = 'sdao'
-- Equation name is 'sdao', location is LC030, type is buried.
sdao = DFFE( _EQ024 $ !state~5, GLOBAL( clk), VCC, VCC, nreset);
_EQ024 = _X017 & _X018 & _X019 & _X020 & _X021;
_X017 = EXP(!state~1 & state~2 & !state~3 & state~4 & !state~5);
_X018 = EXP( state~1 & !state~2 & !state~3 & !state~5);
_X019 = EXP( isda & !state~1 & state~2 & state~3 & !state~4 & !state~5);
_X020 = EXP( state~1 & state~3 & state~4 & !state~5);
_X021 = EXP(!_LC018 & state~3 & !state~4 & state~5);
-- Node name is ':42' = 'shift_state0'
-- Equation name is 'shift_state0', location is LC056, type is buried.
shift_state0 = DFFE( _EQ025 $ shift_state1, GLOBAL( clk), VCC, VCC, VCC);
_EQ025 = !dcnt0 & !dcnt1 & !dcnt2 & !dcnt3 & !shift_state1
# !shift_state0 & !shift_state1
# !iflag & !shift_state1;
-- Node name is ':41' = 'shift_state1'
-- Equation name is 'shift_state1', location is LC062, type is buried.
shift_state1 = TFFE(!_EQ026, GLOBAL( clk), VCC, VCC, VCC);
_EQ026 = !dcnt0 & !dcnt1 & !dcnt2 & !shift_state1
# !shift_state0 & !shift_state1
# !iflag & !shift_state1;
-- Node name is ':54' = 'shift0'
-- Equation name is 'shift0', location is LC028, type is buried.
shift0 = DFFE( _EQ027 $ GND, GLOBAL( clk), VCC, VCC, VCC);
_EQ027 = ishift & shift1 & !state_s2p0 & !state_s2p1 & !state_s2p2 &
state_s2p3
# shift0 & !state_s2p0 & !state_s2p1 & !state_s2p2 & !state_s2p3
# ishift & shift1 & !state_s2p3 & _X001
# shift0 & state_s2p3 & _X001
# shift0 & _X022;
_X001 = EXP(!state_s2p0 & !state_s2p1 & !state_s2p2);
_X022 = EXP( ishift & !shift1);
-- Node name is ':53' = 'shift1'
-- Equation name is 'shift1', location is LC002, type is buried.
shift1 = DFFE( _EQ028 $ GND, GLOBAL( clk), VCC, VCC, VCC);
_EQ028 = ishift & shift2 & !state_s2p0 & !state_s2p1 & !state_s2p2 &
state_s2p3
# shift1 & !state_s2p0 & !state_s2p1 & !state_s2p2 & !state_s2p3
# ishift & shift2 & !state_s2p3 & _X001
# shift1 & state_s2p3 & _X001
# shift1 & _X023;
_X001 = EXP(!state_s2p0 & !state_s2p1 & !state_s2p2);
_X023 = EXP( ishift & !shift2);
-- Node name is ':52' = 'shift2'
-- Equation name is 'shift2', location is LC007, type is buried.
shift2 = DFFE( _EQ029 $ GND, GLOBAL( clk), VCC, VCC, VCC);
_EQ029 = ishift & shift3 & !state_s2p0 & !state_s2p1 & !state_s2p2 &
state_s2p3
# shift2 & !state_s2p0 & !state_s2p1 & !state_s2p2 & !state_s2p3
# ishift & shift3 & !state_s2p3 & _X001
# shift2 & state_s2p3 & _X001
# shift2 & _X024;
_X001 = EXP(!state_s2p0 & !state_s2p1 & !state_s2p2);
_X024 = EXP( ishift & !shift3);
-- Node name is ':51' = 'shift3'
-- Equation name is 'shift3', location is LC010, type is buried.
shift3 = DFFE( _EQ030 $ GND, GLOBAL( clk), VCC, VCC, VCC);
_EQ030 = ishift & shift4 & !state_s2p0 & !state_s2p1 & !state_s2p2 &
state_s2p3
# shift3 & !state_s2p0 & !state_s2p1 & !state_s2p2 & !state_s2p3
# ishift & shift4 & !state_s2p3 & _X001
# shift3 & state_s2p3 & _X001
# shift3 & _X025;
_X001 = EXP(!state_s2p0 & !state_s2p1 & !state_s2p2);
_X025 = EXP( ishift & !shift4);
-- Node name is ':50' = 'shift4'
-- Equation name is 'shift4', location is LC016, type is buried.
shift4 = DFFE( _EQ031 $ GND, GLOBAL( clk), VCC, VCC, VCC);
_EQ031 = ishift & shift5 & !state_s2p0 & !state_s2p1 & !state_s2p2 &
state_s2p3
# shift4 & !state_s2p0 & !state_s2p1 & !state_s2p2 & !state_s2p3
# ishift & shift5 & !state_s2p3 & _X001
# shift4 & state_s2p3 & _X001
# shift4 & _X026;
_X001 = EXP(!state_s2p0 & !state_s2p1 & !state_s2p2);
_X026 = EXP( ishift & !shift5);
-- Node name is ':49' = 'shift5'
-- Equation name is 'shift5', location is LC006, type is buried.
shift5 = DFFE( _EQ032 $ GND, GLOBAL( clk), VCC, VCC, VCC);
_EQ032 = ishift & shift6 & !state_s2p0 & !state_s2p1 & !state_s2p2 &
state_s2p3
# shift5 & !state_s2p0 & !state_s2p1 & !state_s2p2 & !state_s2p3
# ishift & shift6 & !state_s2p3 & _X001
# shift5 & state_s2p3 & _X001
# shift5 & _X027;
_X001 = EXP(!state_s2p0 & !state_s2p1 & !state_s2p2);
_X027 = EXP( ishift & !shift6);
-- Node name is ':48' = 'shift6'
-- Equation name is 'shift6', location is LC008, type is buried.
shift6 = DFFE( _EQ033 $ GND, GLOBAL( clk), VCC, VCC, VCC);
_EQ033 = ishift & shift7 & !state_s2p0 & !state_s2p1 & !state_s2p2 &
state_s2p3
# shift6 & !state_s2p0 & !state_s2p1 & !state_s2p2 & !state_s2p3
# ishift & shift7 & !state_s2p3 & _X001
# shift6 & state_s2p3 & _X001
# shift6 & _X028;
_X001 = EXP(!state_s2p0 & !state_s2p1 & !state_s2p2);
_X028 = EXP( ishift & !shift7);
-- Node name is ':47' = 'shift7'
-- Equation name is 'shift7', location is LC012, type is buried.
shift7 = DFFE( _EQ034 $ GND, GLOBAL( clk), VCC, VCC, VCC);
_EQ034 = ishift & SDA & !state_s2p0 & !state_s2p1 & !state_s2p2 &
state_s2p3
# shift7 & !state_s2p0 & !state_s2p1 & !state_s2p2 & !state_s2p3
# ishift & SDA & !state_s2p3 & _X001
# shift7 & state_s2p3 & _X001
# shift7 & _X029;
_X001 = EXP(!state_s2p0 & !state_s2p1 & !state_s2p2);
_X029 = EXP( ishift & !SDA);
-- Node name is ':46' = 'state_s2p0'
-- Equation name is 'state_s2p0', location is LC022, type is buried.
state_s2p0 = DFFE( _EQ035 $ VCC, GLOBAL( clk), VCC, VCC, VCC);
_EQ035 = ishift & state_s2p0 & !state_s2p3
# ishift & !nreset
# !ishift & !state_s2p0;
-- Node name is ':45' = 'state_s2p1'
-- Equation name is 'state_s2p1', location is LC023, type is buried.
state_s2p1 = DFFE( _EQ036 $ GND, GLOBAL( clk), VCC, VCC, VCC);
_EQ036 = ishift & nreset & state_s2p0 & !state_s2p1 & !state_s2p3
# nreset & !state_s2p0 & state_s2p1 & !state_s2p3
# !ishift & state_s2p1;
-- Node name is ':44' = 'state_s2p2'
-- Equation name is 'state_s2p2', location is LC025, type is buried.
state_s2p2 = TFFE( _EQ037, GLOBAL( clk), VCC, VCC, VCC);
_EQ037 = ishift & nreset & state_s2p0 & state_s2p1 & !state_s2p2 &
!state_s2p3
# ishift & state_s2p0 & state_s2p1 & state_s2p2
# ishift & state_s2p2 & state_s2p3
# ishift & !nreset & state_s2p2;
-- Node name is ':43' = 'state_s2p3'
-- Equation name is 'state_s2p3', location is LC026, type is buried.
state_s2p3 = DFFE( _EQ038 $ !ishift, GLOBAL( clk), VCC, VCC, VCC);
_EQ038 = ishift & nreset & state_s2p0 & state_s2p1 & state_s2p2 &
!state_s2p3
# ishift & nreset & !state_s2p0 & !state_s2p1 & !state_s2p2 &
state_s2p3
# !ishift & !state_s2p3;
-- Node name is 'state~1~1'
-- Equation name is 'state~1~1', location is LC043, type is buried.
-- synthesized logic cell
_LC043 = LCELL( _EQ039 $ GND);
_EQ039 = state~1 & !state~2 & state~4 & !state~5
# state~1 & !state~3 & !state~4 & state~5
# state~1 & !state~2 & !state~3 & !state~4
# start & !state~2 & !state~3 & !state~4
# !state~2 & !state~3 & !state~4 & state~5;
-- Node name is 'state~1'
-- Equation name is 'state~1', location is LC036, type is buried.
state~1 = DFFE( _EQ040 $ _EQ041, GLOBAL( clk), nreset, VCC, VCC);
_EQ040 = !_LC043 & !read & !state~1 & state~3 & !state~4 & !state~5 &
!write & _X030 & _X031 & _X032
# !_LC043 & !state~1 & !state~2 & !state~4 & !state~5 & stop &
_X030 & _X031 & _X032
# !_LC043 & state~1 & state~3 & state~4 & !state~5 & _X030 &
_X031 & _X032;
_X030 = EXP( state~2 & state~3 & !state~4);
_X031 = EXP(!nreset & !state~5);
_X032 = EXP(!nreset & !state~4);
_EQ041 = !_LC043 & _X030 & _X031 & _X032;
_X030 = EXP( state~2 & state~3 & !state~4);
_X031 = EXP(!nreset & !state~5);
_X032 = EXP(!nreset & !state~4);
-- Node name is 'state~2~1'
-- Equation name is 'state~2~1', location is LC046, type is buried.
-- synthesized logic cell
_LC046 = LCELL( _EQ042 $ GND);
_EQ042 = state~1 & !state~3 & !state~4 & !state~5
# !state~1 & state~3 & state~5
# state~1 & !state~2 & state~4
# !state~1 & state~2 & state~5
# !state~1 & state~2 & state~4;
-- Node name is 'state~2'
-- Equation name is 'state~2', location is LC049, type is buried.
state~2 = DFFE( _EQ043 $ _EQ044, GLOBAL( clk), nreset, VCC, VCC);
_EQ043 = idcnt0 & !idcnt1 & !idcnt2 & !idcnt3 & !_LC046 & nreset &
!state~1 & state~3 & state~4 & !stop & _X033 & _X034 &
_X035
# idcnt0 & !idcnt1 & !idcnt2 & !idcnt3 & !_LC046 & nreset &
!state~2 & state~3 & state~5 & _X033 & _X034 & _X035
# !_LC046 & nreset & !read & !state~1 & state~3 & !state~4 & !stop &
!write & _X033 & _X034 & _X035;
_X033 = EXP(!state~1 & state~2 & state~3);
_X034 = EXP( state~1 & !state~2 & !state~3);
_X035 = EXP( state~4 & state~5);
_EQ044 = !_LC046 & nreset & _X033 & _X034 & _X035;
_X033 = EXP(!state~1 & state~2 & state~3);
_X034 = EXP( state~1 & !state~2 & !state~3);
_X035 = EXP( state~4 & state~5);
-- Node name is 'state~3~1'
-- Equation name is 'state~3~1', location is LC045, type is buried.
-- synthesized logic cell
_LC045 = LCELL( _EQ045 $ GND);
_EQ045 = nreset & !start & !state~1 & !state~2 & !state~3 & !state~4 &
!state~5 & !stop
# nreset & state~1 & state~2 & !state~3 & state~4 & !state~5
# !nreset & state~3 & !state~5
# !read & !state~1 & !state~2 & state~3 & !state~4 & !state~5 &
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -