state_machine.tspec

Mars-XC2S50-S-Core-V2.0开发板核心板的说明和设计文档

AUTO_TS_P2P:FROM:clk:TO:c<5>:1
AUTO_TS_F2P:FROM:state_FFd3.Q:TO:c<5>:1
AUTO_TS_F2P:FROM:state_FFd2.Q:TO:c<5>:1
AUTO_TS_F2P:FROM:state_FFd1.Q:TO:c<5>:1
AUTO_TS_P2P:FROM:clk:TO:c<1>:1
AUTO_TS_F2P:FROM:state_FFd2.Q:TO:c<1>:1
AUTO_TS_F2P:FROM:state_FFd1.Q:TO:c<1>:1
AUTO_TS_F2P:FROM:state_FFd3.Q:TO:c<1>:1
AUTO_TS_P2P:FROM:clk:TO:c<2>:1
AUTO_TS_F2P:FROM:state_FFd3.Q:TO:c<2>:1
AUTO_TS_F2P:FROM:state_FFd2.Q:TO:c<2>:1
AUTO_TS_F2P:FROM:state_FFd1.Q:TO:c<2>:1
AUTO_TS_P2P:FROM:clk:TO:c<3>:1
AUTO_TS_F2P:FROM:state_FFd3.Q:TO:c<3>:1
AUTO_TS_F2P:FROM:state_FFd2.Q:TO:c<3>:1
AUTO_TS_F2P:FROM:state_FFd1.Q:TO:c<3>:1
AUTO_TS_P2P:FROM:clk:TO:c<4>:1
AUTO_TS_F2P:FROM:state_FFd3.Q:TO:c<4>:1
AUTO_TS_F2P:FROM:state_FFd2.Q:TO:c<4>:1
AUTO_TS_F2P:FROM:state_FFd1.Q:TO:c<4>:1
AUTO_TS_P2P:FROM:clk:TO:c<6>:1
AUTO_TS_F2P:FROM:state_FFd3.Q:TO:c<6>:1
AUTO_TS_F2P:FROM:state_FFd2.Q:TO:c<6>:1
AUTO_TS_F2P:FROM:state_FFd1.Q:TO:c<6>:1
AUTO_TS_P2P:FROM:clk:TO:c<7>:1
AUTO_TS_F2P:FROM:state_FFd3.Q:TO:c<7>:1
AUTO_TS_F2P:FROM:state_FFd2.Q:TO:c<7>:1
AUTO_TS_F2P:FROM:state_FFd1.Q:TO:c<7>:1
AUTO_TS_F2F:FROM:state_FFd3.Q:TO:state_FFd2.D:1
AUTO_TS_P2F:FROM:clk:TO:state_FFd2.D:1
AUTO_TS_F2F:FROM:cnt<0>.Q:TO:state_FFd2.CE:1
AUTO_TS_F2F:FROM:cnt<10>.Q:TO:state_FFd2.CE:1
AUTO_TS_F2F:FROM:cnt<11>.Q:TO:state_FFd2.CE:1
AUTO_TS_F2F:FROM:cnt<12>.Q:TO:state_FFd2.CE:1
AUTO_TS_F2F:FROM:cnt<13>.Q:TO:state_FFd2.CE:1
AUTO_TS_F2F:FROM:cnt<14>.Q:TO:state_FFd2.CE:1
AUTO_TS_F2F:FROM:cnt<15>.Q:TO:state_FFd2.CE:1
AUTO_TS_F2F:FROM:cnt<16>.Q:TO:state_FFd2.CE:1
AUTO_TS_F2F:FROM:cnt<17>.Q:TO:state_FFd2.CE:1
AUTO_TS_F2F:FROM:cnt<18>.Q:TO:state_FFd2.CE:1
AUTO_TS_F2F:FROM:cnt<19>.Q:TO:state_FFd2.CE:1
AUTO_TS_F2F:FROM:cnt<1>.Q:TO:state_FFd2.CE:1
AUTO_TS_F2F:FROM:cnt<20>.Q:TO:state_FFd2.CE:1
AUTO_TS_F2F:FROM:cnt<21>.Q:TO:state_FFd2.CE:1
AUTO_TS_F2F:FROM:cnt<22>.Q:TO:state_FFd2.CE:1
AUTO_TS_F2F:FROM:cnt<2>.Q:TO:state_FFd2.CE:1
AUTO_TS_F2F:FROM:cnt<3>.Q:TO:state_FFd2.CE:1
AUTO_TS_F2F:FROM:cnt<4>.Q:TO:state_FFd2.CE:1
AUTO_TS_F2F:FROM:cnt<5>.Q:TO:state_FFd2.CE:1
AUTO_TS_F2F:FROM:cnt<6>.Q:TO:state_FFd2.CE:1
AUTO_TS_F2F:FROM:cnt<7>.Q:TO:state_FFd2.CE:1
AUTO_TS_F2F:FROM:cnt<8>.Q:TO:state_FFd2.CE:1
AUTO_TS_F2F:FROM:cnt<9>.Q:TO:state_FFd2.CE:1
AUTO_TS_F2F:FROM:cnt<23>.Q:TO:state_FFd2.CE:1
AUTO_TS_P2F:FROM:clk:TO:state_FFd2.CE:1
AUTO_TS_F2F:FROM:cnt<0>.Q:TO:state_FFd3.CE:1
AUTO_TS_F2F:FROM:cnt<10>.Q:TO:state_FFd3.CE:1
AUTO_TS_F2F:FROM:cnt<11>.Q:TO:state_FFd3.CE:1
AUTO_TS_F2F:FROM:cnt<12>.Q:TO:state_FFd3.CE:1
AUTO_TS_F2F:FROM:cnt<13>.Q:TO:state_FFd3.CE:1
AUTO_TS_F2F:FROM:cnt<14>.Q:TO:state_FFd3.CE:1
AUTO_TS_F2F:FROM:cnt<15>.Q:TO:state_FFd3.CE:1
AUTO_TS_F2F:FROM:cnt<16>.Q:TO:state_FFd3.CE:1
AUTO_TS_F2F:FROM:cnt<17>.Q:TO:state_FFd3.CE:1
AUTO_TS_F2F:FROM:cnt<18>.Q:TO:state_FFd3.CE:1
AUTO_TS_F2F:FROM:cnt<19>.Q:TO:state_FFd3.CE:1
AUTO_TS_F2F:FROM:cnt<1>.Q:TO:state_FFd3.CE:1
AUTO_TS_F2F:FROM:cnt<20>.Q:TO:state_FFd3.CE:1
AUTO_TS_F2F:FROM:cnt<21>.Q:TO:state_FFd3.CE:1
AUTO_TS_F2F:FROM:cnt<22>.Q:TO:state_FFd3.CE:1
AUTO_TS_F2F:FROM:cnt<2>.Q:TO:state_FFd3.CE:1
AUTO_TS_F2F:FROM:cnt<3>.Q:TO:state_FFd3.CE:1
AUTO_TS_F2F:FROM:cnt<4>.Q:TO:state_FFd3.CE:1
AUTO_TS_F2F:FROM:cnt<5>.Q:TO:state_FFd3.CE:1
AUTO_TS_F2F:FROM:cnt<6>.Q:TO:state_FFd3.CE:1
AUTO_TS_F2F:FROM:cnt<7>.Q:TO:state_FFd3.CE:1
AUTO_TS_F2F:FROM:cnt<8>.Q:TO:state_FFd3.CE:1
AUTO_TS_F2F:FROM:cnt<9>.Q:TO:state_FFd3.CE:1
AUTO_TS_F2F:FROM:cnt<23>.Q:TO:state_FFd3.CE:1
AUTO_TS_P2F:FROM:clk:TO:state_FFd3.CE:1
AUTO_TS_F2F:FROM:state_FFd3.Q:TO:state_FFd1.D:1
AUTO_TS_F2F:FROM:state_FFd2.Q:TO:state_FFd1.D:1
AUTO_TS_P2F:FROM:clk:TO:state_FFd1.D:1
AUTO_TS_F2F:FROM:cnt<0>.Q:TO:state_FFd1.CE:1
AUTO_TS_F2F:FROM:cnt<10>.Q:TO:state_FFd1.CE:1
AUTO_TS_F2F:FROM:cnt<11>.Q:TO:state_FFd1.CE:1
AUTO_TS_F2F:FROM:cnt<12>.Q:TO:state_FFd1.CE:1
AUTO_TS_F2F:FROM:cnt<13>.Q:TO:state_FFd1.CE:1
AUTO_TS_F2F:FROM:cnt<14>.Q:TO:state_FFd1.CE:1
AUTO_TS_F2F:FROM:cnt<15>.Q:TO:state_FFd1.CE:1
AUTO_TS_F2F:FROM:cnt<16>.Q:TO:state_FFd1.CE:1
AUTO_TS_F2F:FROM:cnt<17>.Q:TO:state_FFd1.CE:1
AUTO_TS_F2F:FROM:cnt<18>.Q:TO:state_FFd1.CE:1
AUTO_TS_F2F:FROM:cnt<19>.Q:TO:state_FFd1.CE:1
AUTO_TS_F2F:FROM:cnt<1>.Q:TO:state_FFd1.CE:1
AUTO_TS_F2F:FROM:cnt<20>.Q:TO:state_FFd1.CE:1
AUTO_TS_F2F:FROM:cnt<21>.Q:TO:state_FFd1.CE:1
AUTO_TS_F2F:FROM:cnt<22>.Q:TO:state_FFd1.CE:1
AUTO_TS_F2F:FROM:cnt<2>.Q:TO:state_FFd1.CE:1
AUTO_TS_F2F:FROM:cnt<3>.Q:TO:state_FFd1.CE:1
AUTO_TS_F2F:FROM:cnt<4>.Q:TO:state_FFd1.CE:1
AUTO_TS_F2F:FROM:cnt<5>.Q:TO:state_FFd1.CE:1
AUTO_TS_F2F:FROM:cnt<6>.Q:TO:state_FFd1.CE:1
AUTO_TS_F2F:FROM:cnt<7>.Q:TO:state_FFd1.CE:1
AUTO_TS_F2F:FROM:cnt<8>.Q:TO:state_FFd1.CE:1
AUTO_TS_F2F:FROM:cnt<9>.Q:TO:state_FFd1.CE:1
AUTO_TS_F2F:FROM:cnt<23>.Q:TO:state_FFd1.CE:1
AUTO_TS_P2F:FROM:clk:TO:state_FFd1.CE:1
AUTO_TS_F2F:FROM:cnt<0>.Q:TO:cnt<10>.D:1
AUTO_TS_F2F:FROM:cnt<1>.Q:TO:cnt<10>.D:1
AUTO_TS_F2F:FROM:cnt<2>.Q:TO:cnt<10>.D:1
AUTO_TS_F2F:FROM:cnt<3>.Q:TO:cnt<10>.D:1
AUTO_TS_F2F:FROM:cnt<4>.Q:TO:cnt<10>.D:1
AUTO_TS_F2F:FROM:cnt<5>.Q:TO:cnt<10>.D:1
AUTO_TS_F2F:FROM:cnt<6>.Q:TO:cnt<10>.D:1
AUTO_TS_F2F:FROM:cnt<7>.Q:TO:cnt<10>.D:1
AUTO_TS_F2F:FROM:cnt<8>.Q:TO:cnt<10>.D:1
AUTO_TS_F2F:FROM:cnt<9>.Q:TO:cnt<10>.D:1
AUTO_TS_P2F:FROM:clk:TO:cnt<10>.D:1
AUTO_TS_F2F:FROM:cnt<0>.Q:TO:cnt<11>.D:1
AUTO_TS_F2F:FROM:cnt<10>.Q:TO:cnt<11>.D:1
AUTO_TS_F2F:FROM:cnt<1>.Q:TO:cnt<11>.D:1
AUTO_TS_F2F:FROM:cnt<2>.Q:TO:cnt<11>.D:1
AUTO_TS_F2F:FROM:cnt<3>.Q:TO:cnt<11>.D:1
AUTO_TS_F2F:FROM:cnt<4>.Q:TO:cnt<11>.D:1
AUTO_TS_F2F:FROM:cnt<5>.Q:TO:cnt<11>.D:1
AUTO_TS_F2F:FROM:cnt<6>.Q:TO:cnt<11>.D:1
AUTO_TS_F2F:FROM:cnt<7>.Q:TO:cnt<11>.D:1
AUTO_TS_F2F:FROM:cnt<8>.Q:TO:cnt<11>.D:1
AUTO_TS_F2F:FROM:cnt<9>.Q:TO:cnt<11>.D:1
AUTO_TS_P2F:FROM:clk:TO:cnt<11>.D:1
AUTO_TS_F2F:FROM:cnt<0>.Q:TO:cnt<12>.D:1
AUTO_TS_F2F:FROM:cnt<10>.Q:TO:cnt<12>.D:1
AUTO_TS_F2F:FROM:cnt<11>.Q:TO:cnt<12>.D:1
AUTO_TS_F2F:FROM:cnt<1>.Q:TO:cnt<12>.D:1
AUTO_TS_F2F:FROM:cnt<2>.Q:TO:cnt<12>.D:1
AUTO_TS_F2F:FROM:cnt<3>.Q:TO:cnt<12>.D:1
AUTO_TS_F2F:FROM:cnt<4>.Q:TO:cnt<12>.D:1
AUTO_TS_F2F:FROM:cnt<5>.Q:TO:cnt<12>.D:1
AUTO_TS_F2F:FROM:cnt<6>.Q:TO:cnt<12>.D:1
AUTO_TS_F2F:FROM:cnt<7>.Q:TO:cnt<12>.D:1
AUTO_TS_F2F:FROM:cnt<8>.Q:TO:cnt<12>.D:1
AUTO_TS_F2F:FROM:cnt<9>.Q:TO:cnt<12>.D:1
AUTO_TS_P2F:FROM:clk:TO:cnt<12>.D:1
AUTO_TS_F2F:FROM:cnt<0>.Q:TO:cnt<13>.D:1
AUTO_TS_F2F:FROM:cnt<10>.Q:TO:cnt<13>.D:1
AUTO_TS_F2F:FROM:cnt<11>.Q:TO:cnt<13>.D:1
AUTO_TS_F2F:FROM:cnt<12>.Q:TO:cnt<13>.D:1
AUTO_TS_F2F:FROM:cnt<1>.Q:TO:cnt<13>.D:1
AUTO_TS_F2F:FROM:cnt<2>.Q:TO:cnt<13>.D:1
AUTO_TS_F2F:FROM:cnt<3>.Q:TO:cnt<13>.D:1
AUTO_TS_F2F:FROM:cnt<4>.Q:TO:cnt<13>.D:1
AUTO_TS_F2F:FROM:cnt<5>.Q:TO:cnt<13>.D:1
AUTO_TS_F2F:FROM:cnt<6>.Q:TO:cnt<13>.D:1
AUTO_TS_F2F:FROM:cnt<7>.Q:TO:cnt<13>.D:1
AUTO_TS_F2F:FROM:cnt<8>.Q:TO:cnt<13>.D:1
AUTO_TS_F2F:FROM:cnt<9>.Q:TO:cnt<13>.D:1
AUTO_TS_P2F:FROM:clk:TO:cnt<13>.D:1
AUTO_TS_F2F:FROM:cnt<0>.Q:TO:cnt<14>.D:1
AUTO_TS_F2F:FROM:cnt<10>.Q:TO:cnt<14>.D:1
AUTO_TS_F2F:FROM:cnt<11>.Q:TO:cnt<14>.D:1
AUTO_TS_F2F:FROM:cnt<12>.Q:TO:cnt<14>.D:1
AUTO_TS_F2F:FROM:cnt<13>.Q:TO:cnt<14>.D:1
AUTO_TS_F2F:FROM:cnt<1>.Q:TO:cnt<14>.D:1
AUTO_TS_F2F:FROM:cnt<2>.Q:TO:cnt<14>.D:1
AUTO_TS_F2F:FROM:cnt<3>.Q:TO:cnt<14>.D:1
AUTO_TS_F2F:FROM:cnt<4>.Q:TO:cnt<14>.D:1
AUTO_TS_F2F:FROM:cnt<5>.Q:TO:cnt<14>.D:1
AUTO_TS_F2F:FROM:cnt<6>.Q:TO:cnt<14>.D:1
AUTO_TS_F2F:FROM:cnt<7>.Q:TO:cnt<14>.D:1
AUTO_TS_F2F:FROM:cnt<8>.Q:TO:cnt<14>.D:1
AUTO_TS_F2F:FROM:cnt<9>.Q:TO:cnt<14>.D:1
AUTO_TS_P2F:FROM:clk:TO:cnt<14>.D:1
AUTO_TS_F2F:FROM:cnt<0>.Q:TO:cnt<15>.D:1
AUTO_TS_F2F:FROM:cnt<10>.Q:TO:cnt<15>.D:1
AUTO_TS_F2F:FROM:cnt<11>.Q:TO:cnt<15>.D:1
AUTO_TS_F2F:FROM:cnt<12>.Q:TO:cnt<15>.D:1
AUTO_TS_F2F:FROM:cnt<13>.Q:TO:cnt<15>.D:1
AUTO_TS_F2F:FROM:cnt<14>.Q:TO:cnt<15>.D:1
AUTO_TS_F2F:FROM:cnt<1>.Q:TO:cnt<15>.D:1
AUTO_TS_F2F:FROM:cnt<2>.Q:TO:cnt<15>.D:1
AUTO_TS_F2F:FROM:cnt<3>.Q:TO:cnt<15>.D:1
AUTO_TS_F2F:FROM:cnt<4>.Q:TO:cnt<15>.D:1
AUTO_TS_F2F:FROM:cnt<5>.Q:TO:cnt<15>.D:1
AUTO_TS_F2F:FROM:cnt<6>.Q:TO:cnt<15>.D:1
AUTO_TS_F2F:FROM:cnt<7>.Q:TO:cnt<15>.D:1
AUTO_TS_F2F:FROM:cnt<8>.Q:TO:cnt<15>.D:1
AUTO_TS_F2F:FROM:cnt<9>.Q:TO:cnt<15>.D:1
AUTO_TS_P2F:FROM:clk:TO:cnt<15>.D:1
AUTO_TS_F2F:FROM:cnt<0>.Q:TO:cnt<16>.D:1
AUTO_TS_F2F:FROM:cnt<10>.Q:TO:cnt<16>.D:1
AUTO_TS_F2F:FROM:cnt<11>.Q:TO:cnt<16>.D:1
AUTO_TS_F2F:FROM:cnt<12>.Q:TO:cnt<16>.D:1
AUTO_TS_F2F:FROM:cnt<13>.Q:TO:cnt<16>.D:1
AUTO_TS_F2F:FROM:cnt<14>.Q:TO:cnt<16>.D:1
AUTO_TS_F2F:FROM:cnt<15>.Q:TO:cnt<16>.D:1
AUTO_TS_F2F:FROM:cnt<1>.Q:TO:cnt<16>.D:1
AUTO_TS_F2F:FROM:cnt<2>.Q:TO:cnt<16>.D:1
AUTO_TS_F2F:FROM:cnt<3>.Q:TO:cnt<16>.D:1
AUTO_TS_F2F:FROM:cnt<4>.Q:TO:cnt<16>.D:1
AUTO_TS_F2F:FROM:cnt<5>.Q:TO:cnt<16>.D:1
AUTO_TS_F2F:FROM:cnt<6>.Q:TO:cnt<16>.D:1
AUTO_TS_F2F:FROM:cnt<7>.Q:TO:cnt<16>.D:1
AUTO_TS_F2F:FROM:cnt<8>.Q:TO:cnt<16>.D:1
AUTO_TS_F2F:FROM:cnt<9>.Q:TO:cnt<16>.D:1
AUTO_TS_P2F:FROM:clk:TO:cnt<16>.D:1
AUTO_TS_F2F:FROM:cnt<0>.Q:TO:cnt<17>.D:1
AUTO_TS_F2F:FROM:cnt<10>.Q:TO:cnt<17>.D:1
AUTO_TS_F2F:FROM:cnt<11>.Q:TO:cnt<17>.D:1
AUTO_TS_F2F:FROM:cnt<12>.Q:TO:cnt<17>.D:1
AUTO_TS_F2F:FROM:cnt<13>.Q:TO:cnt<17>.D:1
AUTO_TS_F2F:FROM:cnt<14>.Q:TO:cnt<17>.D:1
AUTO_TS_F2F:FROM:cnt<15>.Q:TO:cnt<17>.D:1
AUTO_TS_F2F:FROM:cnt<16>.Q:TO:cnt<17>.D:1
AUTO_TS_F2F:FROM:cnt<1>.Q:TO:cnt<17>.D:1
AUTO_TS_F2F:FROM:cnt<2>.Q:TO:cnt<17>.D:1
AUTO_TS_F2F:FROM:cnt<3>.Q:TO:cnt<17>.D:1
AUTO_TS_F2F:FROM:cnt<4>.Q:TO:cnt<17>.D:1
AUTO_TS_F2F:FROM:cnt<5>.Q:TO:cnt<17>.D:1
AUTO_TS_F2F:FROM:cnt<6>.Q:TO:cnt<17>.D:1
AUTO_TS_F2F:FROM:cnt<7>.Q:TO:cnt<17>.D:1
AUTO_TS_F2F:FROM:cnt<8>.Q:TO:cnt<17>.D:1
AUTO_TS_F2F:FROM:cnt<9>.Q:TO:cnt<17>.D:1
AUTO_TS_P2F:FROM:clk:TO:cnt<17>.D:1
AUTO_TS_F2F:FROM:cnt<0>.Q:TO:cnt<18>.D:1
AUTO_TS_F2F:FROM:cnt<10>.Q:TO:cnt<18>.D:1
AUTO_TS_F2F:FROM:cnt<11>.Q:TO:cnt<18>.D:1
AUTO_TS_F2F:FROM:cnt<12>.Q:TO:cnt<18>.D:1
AUTO_TS_F2F:FROM:cnt<13>.Q:TO:cnt<18>.D:1
AUTO_TS_F2F:FROM:cnt<14>.Q:TO:cnt<18>.D:1
AUTO_TS_F2F:FROM:cnt<15>.Q:TO:cnt<18>.D:1