main_ctrl.tspec

利用XC9572－PQ44（Xilinx CPLD）制作的一款家用防盗报警器的Verilog源代码及原理图

AUTO_TS_P2P:FROM:clk5hz:TO:ring_out:1
AUTO_TS_P2P:FROM:clk660hz:TO:ring_out:1
AUTO_TS_P2P:FROM:clk540hz:TO:ring_out:1
AUTO_TS_F2P:FROM:ring_en.Q:TO:ring_out:1
AUTO_TS_P2P:FROM:clk5hz:TO:alert_sound:1
AUTO_TS_F2P:FROM:alert_sound_OBUF.Q:TO:alert_sound:1
AUTO_TS_P2P:FROM:clk5hz:TO:led1:1
AUTO_TS_F2P:FROM:led1_OBUF.Q:TO:led1:1
AUTO_TS_P2P:FROM:clk5hz:TO:power_ctrl:1
AUTO_TS_F2P:FROM:power_ctrl_OBUF.Q:TO:power_ctrl:1
AUTO_TS_P2P:FROM:clk5hz:TO:alert_phone:1
AUTO_TS_F2P:FROM:alert_phone_OBUF.Q:TO:alert_phone:1
AUTO_TS_F2F:FROM:alert_sound_OBUF.Q:TO:alert_sound_OBUF.D:1
AUTO_TS_F2F:FROM:state<1>.Q:TO:alert_sound_OBUF.D:1
AUTO_TS_F2F:FROM:state<3>.Q:TO:alert_sound_OBUF.D:1
AUTO_TS_F2F:FROM:state<0>.Q:TO:alert_sound_OBUF.D:1
AUTO_TS_F2F:FROM:state<2>.Q:TO:alert_sound_OBUF.D:1
AUTO_TS_F2F:FROM:timer<5>.Q:TO:alert_sound_OBUF.D:1
AUTO_TS_F2F:FROM:timer<6>.Q:TO:alert_sound_OBUF.D:1
AUTO_TS_F2F:FROM:timer<7>.Q:TO:alert_sound_OBUF.D:1
AUTO_TS_F2F:FROM:timer<0>.Q:TO:alert_sound_OBUF.D:1
AUTO_TS_F2F:FROM:timer<1>.Q:TO:alert_sound_OBUF.D:1
AUTO_TS_F2F:FROM:timer<2>.Q:TO:alert_sound_OBUF.D:1
AUTO_TS_F2F:FROM:timer<3>.Q:TO:alert_sound_OBUF.D:1
AUTO_TS_F2F:FROM:timer<4>.Q:TO:alert_sound_OBUF.D:1
AUTO_TS_P2F:FROM:sw1:TO:alert_sound_OBUF.D:1
AUTO_TS_P2F:FROM:clk5hz:TO:alert_sound_OBUF.D:1
AUTO_TS_F2F:FROM:state<1>.Q:TO:led1_OBUF.D:1
AUTO_TS_F2F:FROM:state<3>.Q:TO:led1_OBUF.D:1
AUTO_TS_F2F:FROM:state<0>.Q:TO:led1_OBUF.D:1
AUTO_TS_F2F:FROM:state<2>.Q:TO:led1_OBUF.D:1
AUTO_TS_F2F:FROM:timer<0>.Q:TO:led1_OBUF.D:1
AUTO_TS_F2F:FROM:timer<1>.Q:TO:led1_OBUF.D:1
AUTO_TS_F2F:FROM:timer<2>.Q:TO:led1_OBUF.D:1
AUTO_TS_F2F:FROM:timer<3>.Q:TO:led1_OBUF.D:1
AUTO_TS_F2F:FROM:timer<4>.Q:TO:led1_OBUF.D:1
AUTO_TS_F2F:FROM:timer<5>.Q:TO:led1_OBUF.D:1
AUTO_TS_F2F:FROM:timer<6>.Q:TO:led1_OBUF.D:1
AUTO_TS_F2F:FROM:timer<7>.Q:TO:led1_OBUF.D:1
AUTO_TS_F2F:FROM:led1_OBUF.Q:TO:led1_OBUF.D:1
AUTO_TS_P2F:FROM:clk5hz:TO:led1_OBUF.D:1
AUTO_TS_P2F:FROM:sw1:TO:led1_OBUF.D:1
AUTO_TS_F2F:FROM:state<1>.Q:TO:power_ctrl_OBUF.D:1
AUTO_TS_F2F:FROM:state<3>.Q:TO:power_ctrl_OBUF.D:1
AUTO_TS_F2F:FROM:state<0>.Q:TO:power_ctrl_OBUF.D:1
AUTO_TS_F2F:FROM:state<2>.Q:TO:power_ctrl_OBUF.D:1
AUTO_TS_F2F:FROM:timer<0>.Q:TO:power_ctrl_OBUF.D:1
AUTO_TS_F2F:FROM:timer<1>.Q:TO:power_ctrl_OBUF.D:1
AUTO_TS_F2F:FROM:timer<2>.Q:TO:power_ctrl_OBUF.D:1
AUTO_TS_F2F:FROM:timer<3>.Q:TO:power_ctrl_OBUF.D:1
AUTO_TS_F2F:FROM:timer<4>.Q:TO:power_ctrl_OBUF.D:1
AUTO_TS_F2F:FROM:timer<5>.Q:TO:power_ctrl_OBUF.D:1
AUTO_TS_F2F:FROM:timer<6>.Q:TO:power_ctrl_OBUF.D:1
AUTO_TS_F2F:FROM:timer<7>.Q:TO:power_ctrl_OBUF.D:1
AUTO_TS_F2F:FROM:power_ctrl_OBUF.Q:TO:power_ctrl_OBUF.D:1
AUTO_TS_P2F:FROM:clk5hz:TO:power_ctrl_OBUF.D:1
AUTO_TS_P2F:FROM:sw1:TO:power_ctrl_OBUF.D:1
AUTO_TS_F2F:FROM:state<1>.Q:TO:alert_phone_OBUF.D:1
AUTO_TS_F2F:FROM:state<3>.Q:TO:alert_phone_OBUF.D:1
AUTO_TS_F2F:FROM:state<0>.Q:TO:alert_phone_OBUF.D:1
AUTO_TS_F2F:FROM:state<2>.Q:TO:alert_phone_OBUF.D:1
AUTO_TS_F2F:FROM:timer<4>.Q:TO:alert_phone_OBUF.D:1
AUTO_TS_F2F:FROM:alert_phone_OBUF.Q:TO:alert_phone_OBUF.D:1
AUTO_TS_F2F:FROM:timer<5>.Q:TO:alert_phone_OBUF.D:1
AUTO_TS_F2F:FROM:timer<6>.Q:TO:alert_phone_OBUF.D:1
AUTO_TS_F2F:FROM:timer<7>.Q:TO:alert_phone_OBUF.D:1
AUTO_TS_F2F:FROM:timer<0>.Q:TO:alert_phone_OBUF.D:1
AUTO_TS_F2F:FROM:timer<1>.Q:TO:alert_phone_OBUF.D:1
AUTO_TS_F2F:FROM:timer<2>.Q:TO:alert_phone_OBUF.D:1
AUTO_TS_F2F:FROM:timer<3>.Q:TO:alert_phone_OBUF.D:1
AUTO_TS_P2F:FROM:sw1:TO:alert_phone_OBUF.D:1
AUTO_TS_P2F:FROM:clk5hz:TO:alert_phone_OBUF.D:1
AUTO_TS_F2F:FROM:state<1>.Q:TO:state<1>.D:1
AUTO_TS_F2F:FROM:state<3>.Q:TO:state<1>.D:1
AUTO_TS_F2F:FROM:state<2>.Q:TO:state<1>.D:1
AUTO_TS_F2F:FROM:timer<0>.Q:TO:state<1>.D:1
AUTO_TS_F2F:FROM:timer<1>.Q:TO:state<1>.D:1
AUTO_TS_F2F:FROM:timer<2>.Q:TO:state<1>.D:1
AUTO_TS_F2F:FROM:timer<3>.Q:TO:state<1>.D:1
AUTO_TS_F2F:FROM:timer<4>.Q:TO:state<1>.D:1
AUTO_TS_F2F:FROM:timer<5>.Q:TO:state<1>.D:1
AUTO_TS_F2F:FROM:timer<6>.Q:TO:state<1>.D:1
AUTO_TS_F2F:FROM:timer<7>.Q:TO:state<1>.D:1
AUTO_TS_F2F:FROM:state<0>.Q:TO:state<1>.D:1
AUTO_TS_P2F:FROM:clk5hz:TO:state<1>.D:1
AUTO_TS_P2F:FROM:sw1:TO:state<1>.D:1
AUTO_TS_F2F:FROM:state<3>.Q:TO:state<3>.D:1
AUTO_TS_F2F:FROM:state<2>.Q:TO:state<3>.D:1
AUTO_TS_F2F:FROM:timer<0>.Q:TO:state<3>.D:1
AUTO_TS_F2F:FROM:timer<1>.Q:TO:state<3>.D:1
AUTO_TS_F2F:FROM:timer<2>.Q:TO:state<3>.D:1
AUTO_TS_F2F:FROM:timer<3>.Q:TO:state<3>.D:1
AUTO_TS_F2F:FROM:timer<4>.Q:TO:state<3>.D:1
AUTO_TS_F2F:FROM:state<1>.Q:TO:state<3>.D:1
AUTO_TS_F2F:FROM:state<0>.Q:TO:state<3>.D:1
AUTO_TS_F2F:FROM:timer<5>.Q:TO:state<3>.D:1
AUTO_TS_F2F:FROM:timer<6>.Q:TO:state<3>.D:1
AUTO_TS_F2F:FROM:timer<7>.Q:TO:state<3>.D:1
AUTO_TS_P2F:FROM:clk5hz:TO:state<3>.D:1
AUTO_TS_P2F:FROM:sw1:TO:state<3>.D:1
AUTO_TS_F2F:FROM:state<3>.Q:TO:state<0>.D:1
AUTO_TS_F2F:FROM:state<0>.Q:TO:state<0>.D:1
AUTO_TS_F2F:FROM:state<2>.Q:TO:state<0>.D:1
AUTO_TS_F2F:FROM:state<1>.Q:TO:state<0>.D:1
AUTO_TS_F2F:FROM:timer<0>.Q:TO:state<0>.D:1
AUTO_TS_F2F:FROM:timer<1>.Q:TO:state<0>.D:1
AUTO_TS_F2F:FROM:timer<2>.Q:TO:state<0>.D:1
AUTO_TS_F2F:FROM:timer<3>.Q:TO:state<0>.D:1
AUTO_TS_F2F:FROM:timer<4>.Q:TO:state<0>.D:1
AUTO_TS_F2F:FROM:timer<5>.Q:TO:state<0>.D:1
AUTO_TS_F2F:FROM:timer<6>.Q:TO:state<0>.D:1
AUTO_TS_F2F:FROM:timer<7>.Q:TO:state<0>.D:1
AUTO_TS_P2F:FROM:clk5hz:TO:state<0>.D:1
AUTO_TS_P2F:FROM:sw1:TO:state<0>.D:1
AUTO_TS_F2F:FROM:state<3>.Q:TO:state<2>.D:1
AUTO_TS_F2F:FROM:state<0>.Q:TO:state<2>.D:1
AUTO_TS_F2F:FROM:state<2>.Q:TO:state<2>.D:1
AUTO_TS_F2F:FROM:timer<0>.Q:TO:state<2>.D:1
AUTO_TS_F2F:FROM:timer<1>.Q:TO:state<2>.D:1
AUTO_TS_F2F:FROM:timer<2>.Q:TO:state<2>.D:1
AUTO_TS_F2F:FROM:timer<3>.Q:TO:state<2>.D:1
AUTO_TS_F2F:FROM:timer<4>.Q:TO:state<2>.D:1
AUTO_TS_F2F:FROM:timer<5>.Q:TO:state<2>.D:1
AUTO_TS_F2F:FROM:timer<6>.Q:TO:state<2>.D:1
AUTO_TS_F2F:FROM:timer<7>.Q:TO:state<2>.D:1
AUTO_TS_F2F:FROM:state<1>.Q:TO:state<2>.D:1
AUTO_TS_P2F:FROM:clk5hz:TO:state<2>.D:1
AUTO_TS_F2F:FROM:state<1>.Q:TO:timer<0>.D:1
AUTO_TS_F2F:FROM:state<3>.Q:TO:timer<0>.D:1
AUTO_TS_F2F:FROM:state<0>.Q:TO:timer<0>.D:1
AUTO_TS_F2F:FROM:state<2>.Q:TO:timer<0>.D:1
AUTO_TS_F2F:FROM:timer<0>.Q:TO:timer<0>.D:1
AUTO_TS_F2F:FROM:timer<2>.Q:TO:timer<0>.D:1
AUTO_TS_F2F:FROM:timer<3>.Q:TO:timer<0>.D:1
AUTO_TS_F2F:FROM:timer<1>.Q:TO:timer<0>.D:1
AUTO_TS_F2F:FROM:timer<4>.Q:TO:timer<0>.D:1
AUTO_TS_F2F:FROM:timer<5>.Q:TO:timer<0>.D:1
AUTO_TS_F2F:FROM:timer<6>.Q:TO:timer<0>.D:1
AUTO_TS_F2F:FROM:timer<7>.Q:TO:timer<0>.D:1
AUTO_TS_P2F:FROM:sw1:TO:timer<0>.D:1
AUTO_TS_P2F:FROM:clk5hz:TO:timer<0>.D:1
AUTO_TS_F2F:FROM:ring_en.Q:TO:ring_en.D:1
AUTO_TS_F2F:FROM:state<1>.Q:TO:ring_en.D:1
AUTO_TS_F2F:FROM:state<3>.Q:TO:ring_en.D:1
AUTO_TS_F2F:FROM:state<0>.Q:TO:ring_en.D:1
AUTO_TS_F2F:FROM:state<2>.Q:TO:ring_en.D:1
AUTO_TS_F2F:FROM:timer<4>.Q:TO:ring_en.D:1
AUTO_TS_F2F:FROM:timer<5>.Q:TO:ring_en.D:1
AUTO_TS_F2F:FROM:timer<6>.Q:TO:ring_en.D:1
AUTO_TS_F2F:FROM:timer<7>.Q:TO:ring_en.D:1
AUTO_TS_F2F:FROM:timer<0>.Q:TO:ring_en.D:1
AUTO_TS_F2F:FROM:timer<1>.Q:TO:ring_en.D:1
AUTO_TS_F2F:FROM:timer<2>.Q:TO:ring_en.D:1
AUTO_TS_F2F:FROM:timer<3>.Q:TO:ring_en.D:1
AUTO_TS_P2F:FROM:sw1:TO:ring_en.D:1
AUTO_TS_P2F:FROM:clk5hz:TO:ring_en.D:1
AUTO_TS_F2F:FROM:state<1>.Q:TO:timer<1>.D:1
AUTO_TS_F2F:FROM:state<3>.Q:TO:timer<1>.D:1
AUTO_TS_F2F:FROM:state<0>.Q:TO:timer<1>.D:1
AUTO_TS_F2F:FROM:state<2>.Q:TO:timer<1>.D:1
AUTO_TS_F2F:FROM:timer<1>.Q:TO:timer<1>.D:1
AUTO_TS_F2F:FROM:timer<2>.Q:TO:timer<1>.D:1
AUTO_TS_F2F:FROM:timer<3>.Q:TO:timer<1>.D:1
AUTO_TS_F2F:FROM:timer<4>.Q:TO:timer<1>.D:1
AUTO_TS_F2F:FROM:timer<5>.Q:TO:timer<1>.D:1
AUTO_TS_F2F:FROM:timer<6>.Q:TO:timer<1>.D:1
AUTO_TS_F2F:FROM:timer<7>.Q:TO:timer<1>.D:1
AUTO_TS_F2F:FROM:timer<0>.Q:TO:timer<1>.D:1
AUTO_TS_P2F:FROM:clk5hz:TO:timer<1>.D:1
AUTO_TS_P2F:FROM:sw1:TO:timer<1>.D:1
AUTO_TS_F2F:FROM:timer<0>.Q:TO:timer<2>.D:1
AUTO_TS_F2F:FROM:timer<2>.Q:TO:timer<2>.D:1
AUTO_TS_F2F:FROM:timer<1>.Q:TO:timer<2>.D:1
AUTO_TS_F2F:FROM:state<1>.Q:TO:timer<2>.D:1
AUTO_TS_F2F:FROM:state<3>.Q:TO:timer<2>.D:1
AUTO_TS_F2F:FROM:state<2>.Q:TO:timer<2>.D:1
AUTO_TS_F2F:FROM:state<0>.Q:TO:timer<2>.D:1
AUTO_TS_F2F:FROM:timer<3>.Q:TO:timer<2>.D:1
AUTO_TS_F2F:FROM:timer<4>.Q:TO:timer<2>.D:1
AUTO_TS_F2F:FROM:timer<5>.Q:TO:timer<2>.D:1
AUTO_TS_F2F:FROM:timer<6>.Q:TO:timer<2>.D:1
AUTO_TS_F2F:FROM:timer<7>.Q:TO:timer<2>.D:1
AUTO_TS_P2F:FROM:clk5hz:TO:timer<2>.D:1
AUTO_TS_P2F:FROM:sw1:TO:timer<2>.D:1
AUTO_TS_F2F:FROM:timer<1>.Q:TO:timer<3>.D:1
AUTO_TS_F2F:FROM:timer<3>.Q:TO:timer<3>.D:1
AUTO_TS_F2F:FROM:timer<2>.Q:TO:timer<3>.D:1
AUTO_TS_F2F:FROM:state<1>.Q:TO:timer<3>.D:1
AUTO_TS_F2F:FROM:state<3>.Q:TO:timer<3>.D:1
AUTO_TS_F2F:FROM:state<2>.Q:TO:timer<3>.D:1
AUTO_TS_F2F:FROM:timer<0>.Q:TO:timer<3>.D:1
AUTO_TS_F2F:FROM:state<0>.Q:TO:timer<3>.D:1
AUTO_TS_F2F:FROM:timer<4>.Q:TO:timer<3>.D:1
AUTO_TS_F2F:FROM:timer<5>.Q:TO:timer<3>.D:1
AUTO_TS_F2F:FROM:timer<6>.Q:TO:timer<3>.D:1
AUTO_TS_F2F:FROM:timer<7>.Q:TO:timer<3>.D:1
AUTO_TS_P2F:FROM:clk5hz:TO:timer<3>.D:1
AUTO_TS_P2F:FROM:sw1:TO:timer<3>.D:1
AUTO_TS_F2F:FROM:state<1>.Q:TO:timer<4>.D:1
AUTO_TS_F2F:FROM:state<3>.Q:TO:timer<4>.D:1
AUTO_TS_F2F:FROM:state<0>.Q:TO:timer<4>.D:1
AUTO_TS_F2F:FROM:state<2>.Q:TO:timer<4>.D:1
AUTO_TS_F2F:FROM:timer<4>.Q:TO:timer<4>.D:1
AUTO_TS_F2F:FROM:timer<1>.Q:TO:timer<4>.D:1
AUTO_TS_F2F:FROM:timer<2>.Q:TO:timer<4>.D:1
AUTO_TS_F2F:FROM:timer<3>.Q:TO:timer<4>.D:1
AUTO_TS_F2F:FROM:timer<5>.Q:TO:timer<4>.D:1
AUTO_TS_F2F:FROM:timer<6>.Q:TO:timer<4>.D:1
AUTO_TS_F2F:FROM:timer<7>.Q:TO:timer<4>.D:1
AUTO_TS_F2F:FROM:timer<0>.Q:TO:timer<4>.D:1
AUTO_TS_P2F:FROM:sw1:TO:timer<4>.D:1
AUTO_TS_P2F:FROM:clk5hz:TO:timer<4>.D:1
AUTO_TS_F2F:FROM:state<1>.Q:TO:timer<5>.D:1
AUTO_TS_F2F:FROM:state<3>.Q:TO:timer<5>.D:1
AUTO_TS_F2F:FROM:state<2>.Q:TO:timer<5>.D:1
AUTO_TS_F2F:FROM:timer<0>.Q:TO:timer<5>.D:1
AUTO_TS_F2F:FROM:timer<1>.Q:TO:timer<5>.D:1
AUTO_TS_F2F:FROM:timer<2>.Q:TO:timer<5>.D:1
AUTO_TS_F2F:FROM:timer<3>.Q:TO:timer<5>.D:1
AUTO_TS_F2F:FROM:timer<4>.Q:TO:timer<5>.D:1
AUTO_TS_F2F:FROM:state<0>.Q:TO:timer<5>.D:1
AUTO_TS_F2F:FROM:timer<5>.Q:TO:timer<5>.D:1
AUTO_TS_F2F:FROM:timer<6>.Q:TO:timer<5>.D:1
AUTO_TS_F2F:FROM:timer<7>.Q:TO:timer<5>.D:1
AUTO_TS_P2F:FROM:clk5hz:TO:timer<5>.D:1
AUTO_TS_P2F:FROM:sw1:TO:timer<5>.D:1
AUTO_TS_F2F:FROM:state<1>.Q:TO:timer<6>.D:1
AUTO_TS_F2F:FROM:state<3>.Q:TO:timer<6>.D:1
AUTO_TS_F2F:FROM:state<2>.Q:TO:timer<6>.D:1
AUTO_TS_F2F:FROM:timer<6>.Q:TO:timer<6>.D:1
AUTO_TS_F2F:FROM:timer<0>.Q:TO:timer<6>.D:1
AUTO_TS_F2F:FROM:timer<1>.Q:TO:timer<6>.D:1
AUTO_TS_F2F:FROM:timer<2>.Q:TO:timer<6>.D:1
AUTO_TS_F2F:FROM:timer<3>.Q:TO:timer<6>.D:1
AUTO_TS_F2F:FROM:timer<4>.Q:TO:timer<6>.D:1
AUTO_TS_F2F:FROM:timer<5>.Q:TO:timer<6>.D:1
AUTO_TS_F2F:FROM:state<0>.Q:TO:timer<6>.D:1
AUTO_TS_F2F:FROM:timer<7>.Q:TO:timer<6>.D:1
AUTO_TS_P2F:FROM:sw1:TO:timer<6>.D:1
AUTO_TS_P2F:FROM:clk5hz:TO:timer<6>.D:1
AUTO_TS_F2F:FROM:state<1>.Q:TO:timer<7>.D:1
AUTO_TS_F2F:FROM:state<3>.Q:TO:timer<7>.D:1
AUTO_TS_F2F:FROM:state<0>.Q:TO:timer<7>.D:1
AUTO_TS_F2F:FROM:state<2>.Q:TO:timer<7>.D:1
AUTO_TS_F2F:FROM:timer<0>.Q:TO:timer<7>.D:1
AUTO_TS_F2F:FROM:timer<1>.Q:TO:timer<7>.D:1
AUTO_TS_F2F:FROM:timer<7>.Q:TO:timer<7>.D:1
AUTO_TS_F2F:FROM:timer<3>.Q:TO:timer<7>.D:1
AUTO_TS_F2F:FROM:timer<2>.Q:TO:timer<7>.D:1
AUTO_TS_F2F:FROM:timer<4>.Q:TO:timer<7>.D:1
AUTO_TS_F2F:FROM:timer<5>.Q:TO:timer<7>.D:1
AUTO_TS_F2F:FROM:timer<6>.Q:TO:timer<7>.D:1
AUTO_TS_P2F:FROM:sw1:TO:timer<7>.D:1
AUTO_TS_P2F:FROM:clk5hz:TO:timer<7>.D:1
AUTO_TS_P2F:FROM:clk5hz:TO:FCLK-IO_0:1