⭐ 欢迎来到虫虫下载站！ | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站
📤 上传资源

📄 main_ctrl.mfd

📁 利用XC9572－PQ44（Xilinx CPLD）制作的一款家用防盗报警器的Verilog源代码及原理图
💻 MFD
📖 第 1 页 / 共 4 页
字号:
🔍
1234 
	# !state<1> & !state<3> & !state<2> & timer<0> & 
	!timer<1> & !timer<2> & !timer<3> & timer<4> & timer<5> & 
	timer<6> & !timer<7>;
   !timer<5>.CLK = clk5hz;	// GCK
GLOBALS | 1 | 2 | clk5hz

MACROCELL | 0 | 2 | timer<6>
ATTRIBUTES | 4358912 | 0
OUTPUTMC | 28 | 3 | 3 | 0 | 5 | 1 | 11 | 1 | 9 | 3 | 1 | 3 | 12 | 3 | 10 | 0 | 7 | 3 | 13 | 2 | 15 | 0 | 10 | 3 | 7 | 0 | 9 | 3 | 16 | 0 | 14 | 0 | 2 | 0 | 13 | 0 | 0 | 0 | 1 | 0 | 3 | 0 | 17 | 1 | 14 | 2 | 17 | 3 | 0 | 3 | 5 | 3 | 9 | 3 | 11 | 3 | 15
INPUTS | 13 | sw1  | state<1>  | state<3>  | state<0>  | state<2>  | timer<0>  | timer<2>  | timer<6>  | timer<1>  | timer<3>  | timer<4>  | EXP7_.EXP  | EXP8_.EXP
INPUTMC | 12 | 3 | 1 | 3 | 12 | 3 | 10 | 0 | 17 | 3 | 14 | 3 | 7 | 0 | 2 | 0 | 10 | 0 | 9 | 3 | 17 | 0 | 1 | 0 | 3
INPUTP | 1 | 52
IMPORTS | 2 | 0 | 1 | 0 | 3
EQ | 35 | 
   timer<6>.T = sw1 & state<1> & state<3> & !state<0> & 
	!state<2> & timer<0> & !timer<2> & timer<6>
	# sw1 & state<1> & state<3> & !state<0> & 
	!state<2> & !timer<1> & timer<2> & timer<6>
	# sw1 & state<1> & state<3> & !state<0> & 
	!state<2> & !timer<1> & !timer<3> & timer<6>
	# sw1 & state<1> & state<3> & !state<0> & 
	!state<2> & !timer<3> & timer<4> & timer<6>
	# sw1 & state<1> & state<3> & !state<0> & 
	!state<2> & !timer<0> & timer<2> & timer<3> & timer<6>
;Imported pterms FB1_2
	# sw1 & !state<1> & !state<3> & !state<2> & 
	timer<6>
	# state<1> & timer<0> & timer<1> & timer<2> & 
	timer<3> & timer<4> & timer<5>
	# state<3> & timer<0> & timer<1> & timer<2> & 
	timer<3> & timer<4> & timer<5>
	# sw1 & state<1> & state<3> & !state<0> & 
	!state<2> & timer<1> & !timer<2> & timer<6>
	# sw1 & state<1> & state<3> & !state<0> & 
	!state<2> & !timer<1> & timer<4> & timer<6>
;Imported pterms FB1_4
	# !sw1 & timer<0> & timer<1> & timer<2> & 
	timer<3> & timer<4> & timer<5>
	# state<2> & timer<0> & timer<1> & timer<2> & 
	timer<3> & timer<4> & timer<5>
	# sw1 & state<1> & state<3> & !state<0> & 
	!state<2> & timer<0> & !timer<3> & timer<6>
	# state<1> & state<3> & !state<0> & !state<2> & 
	timer<1> & timer<2> & timer<3> & timer<4> & timer<5> & 
	timer<6> & timer<7>
	# !state<1> & !state<3> & !state<2> & timer<0> & 
	!timer<1> & !timer<2> & !timer<3> & timer<4> & timer<5> & 
	timer<6> & !timer<7>;
   !timer<6>.CLK = clk5hz;	// GCK
GLOBALS | 1 | 2 | clk5hz

MACROCELL | 0 | 13 | timer<7>
ATTRIBUTES | 4358912 | 0
OUTPUTMC | 27 | 3 | 3 | 0 | 5 | 1 | 11 | 1 | 9 | 3 | 1 | 3 | 12 | 3 | 10 | 0 | 12 | 3 | 13 | 2 | 15 | 0 | 10 | 3 | 7 | 0 | 9 | 3 | 16 | 0 | 14 | 0 | 0 | 0 | 13 | 0 | 3 | 0 | 7 | 0 | 17 | 1 | 14 | 2 | 17 | 3 | 0 | 3 | 5 | 3 | 9 | 3 | 11 | 3 | 15
INPUTS | 14 | sw1  | state<1>  | state<3>  | state<2>  | timer<7>  | timer<0>  | timer<1>  | timer<2>  | timer<3>  | timer<4>  | timer<5>  | timer<6>  | EXP13_.EXP  | EXP14_.EXP
INPUTMC | 13 | 3 | 1 | 3 | 12 | 0 | 17 | 0 | 13 | 3 | 14 | 0 | 10 | 3 | 7 | 0 | 9 | 3 | 17 | 0 | 16 | 0 | 2 | 0 | 12 | 0 | 14
INPUTP | 1 | 52
IMPORTS | 2 | 0 | 12 | 0 | 14
EQ | 32 | 
   timer<7>.T = sw1 & !state<1> & !state<3> & !state<2> & 
	timer<7>
	# !sw1 & timer<0> & timer<1> & timer<2> & 
	timer<3> & timer<4> & timer<5> & timer<6>
	# state<1> & timer<0> & timer<1> & timer<2> & 
	timer<3> & timer<4> & timer<5> & timer<6>
	# state<3> & timer<0> & timer<1> & timer<2> & 
	timer<3> & timer<4> & timer<5> & timer<6>
	# state<2> & timer<0> & timer<1> & timer<2> & 
	timer<3> & timer<4> & timer<5> & timer<6>
;Imported pterms FB1_13
	# sw1 & state<1> & state<3> & !state<0> & 
	!state<2> & timer<0> & !timer<1> & timer<7>
	# sw1 & state<1> & state<3> & !state<0> & 
	!state<2> & timer<0> & !timer<3> & timer<7>
	# sw1 & state<1> & state<3> & !state<0> & 
	!state<2> & timer<1> & !timer<2> & timer<7>
	# sw1 & state<1> & state<3> & !state<0> & 
	!state<2> & !timer<1> & timer<2> & timer<7>
;Imported pterms FB1_15
	# sw1 & state<1> & state<3> & !state<0> & 
	!state<2> & !timer<1> & !timer<3> & timer<7>
	# sw1 & state<1> & state<3> & !state<0> & 
	!state<2> & !timer<1> & timer<4> & timer<7>
	# sw1 & state<1> & state<3> & !state<0> & 
	!state<2> & !timer<3> & timer<4> & timer<7>
	# sw1 & state<1> & state<3> & !state<0> & 
	!state<2> & !timer<0> & timer<1> & timer<3> & timer<7>
	# state<1> & state<3> & !state<0> & !state<2> & 
	timer<1> & timer<2> & timer<3> & timer<4> & timer<5> & 
	timer<6> & timer<7>;
   !timer<7>.CLK = clk5hz;	// GCK
GLOBALS | 1 | 2 | clk5hz

MACROCELL | 0 | 0 | EXP6_
ATTRIBUTES | 2048 | 0
OUTPUTMC | 1 | 0 | 17
INPUTS | 12 | state<3>  | state<0>  | state<2>  | timer<0>  | timer<1>  | timer<2>  | timer<3>  | timer<4>  | timer<5>  | timer<6>  | timer<7>  | state<1>
INPUTMC | 12 | 3 | 12 | 3 | 10 | 0 | 17 | 3 | 14 | 0 | 10 | 3 | 7 | 0 | 9 | 3 | 17 | 0 | 16 | 0 | 2 | 0 | 13 | 3 | 1
EXPORTS | 1 | 0 | 17
EQ | 13 | 
       EXP6_.EXP  =  state<3> & state<0> & state<2>
	# state<3> & state<2> & !timer<0> & !timer<1> & 
	!timer<2> & timer<3> & timer<4> & !timer<5> & !timer<6> & 
	!timer<7>
	# state<1> & state<3> & state<0> & timer<0> & 
	!timer<1> & !timer<2> & !timer<3> & !timer<4> & !timer<5> & 
	!timer<6> & !timer<7>
	# state<1> & state<0> & state<2> & !timer<0> & 
	timer<1> & !timer<2> & !timer<3> & !timer<4> & !timer<5> & 
	!timer<6> & !timer<7>
	# state<1> & !state<3> & state<0> & !state<2> & 
	timer<0> & !timer<1> & timer<2> & timer<3> & !timer<4> & 
	!timer<5> & !timer<6> & !timer<7>

MACROCELL | 0 | 1 | EXP7_
ATTRIBUTES | 2048 | 0
OUTPUTMC | 1 | 0 | 2
INPUTS | 12 | sw1  | state<1>  | state<3>  | state<2>  | timer<6>  | timer<0>  | timer<1>  | timer<2>  | timer<3>  | timer<4>  | timer<5>  | state<0>
INPUTMC | 11 | 3 | 1 | 3 | 12 | 0 | 17 | 0 | 2 | 3 | 14 | 0 | 10 | 3 | 7 | 0 | 9 | 3 | 17 | 0 | 16 | 3 | 10
INPUTP | 1 | 52
EXPORTS | 1 | 0 | 2
EQ | 10 | 
       EXP7_.EXP  =  sw1 & !state<1> & !state<3> & !state<2> & 
	timer<6>
	# state<1> & timer<0> & timer<1> & timer<2> & 
	timer<3> & timer<4> & timer<5>
	# state<3> & timer<0> & timer<1> & timer<2> & 
	timer<3> & timer<4> & timer<5>
	# sw1 & state<1> & state<3> & !state<0> & 
	!state<2> & timer<1> & !timer<2> & timer<6>
	# sw1 & state<1> & state<3> & !state<0> & 
	!state<2> & !timer<1> & timer<4> & timer<6>

MACROCELL | 0 | 3 | EXP8_
ATTRIBUTES | 2048 | 0
OUTPUTMC | 1 | 0 | 2
INPUTS | 13 | sw1  | timer<0>  | timer<1>  | timer<2>  | timer<3>  | timer<4>  | timer<5>  | state<2>  | state<1>  | state<3>  | state<0>  | timer<6>  | timer<7>
INPUTMC | 12 | 3 | 14 | 0 | 10 | 3 | 7 | 0 | 9 | 3 | 17 | 0 | 16 | 0 | 17 | 3 | 1 | 3 | 12 | 3 | 10 | 0 | 2 | 0 | 13
INPUTP | 1 | 52
EXPORTS | 1 | 0 | 2
EQ | 12 | 
       EXP8_.EXP  =  !sw1 & timer<0> & timer<1> & timer<2> & 
	timer<3> & timer<4> & timer<5>
	# state<2> & timer<0> & timer<1> & timer<2> & 
	timer<3> & timer<4> & timer<5>
	# sw1 & state<1> & state<3> & !state<0> & 
	!state<2> & timer<0> & !timer<3> & timer<6>
	# state<1> & state<3> & !state<0> & !state<2> & 
	timer<1> & timer<2> & timer<3> & timer<4> & timer<5> & 
	timer<6> & timer<7>
	# !state<1> & !state<3> & !state<2> & timer<0> & 
	!timer<1> & !timer<2> & !timer<3> & timer<4> & timer<5> & 
	timer<6> & !timer<7>

MACROCELL | 0 | 5 | EXP9_
ATTRIBUTES | 2048 | 0
OUTPUTMC | 1 | 0 | 6
INPUTS | 12 | state<1>  | state<3>  | state<0>  | state<2>  | timer<0>  | timer<1>  | timer<2>  | timer<3>  | timer<4>  | timer<5>  | timer<6>  | timer<7>
INPUTMC | 12 | 3 | 1 | 3 | 12 | 3 | 10 | 0 | 17 | 3 | 14 | 0 | 10 | 3 | 7 | 0 | 9 | 3 | 17 | 0 | 16 | 0 | 2 | 0 | 13
EXPORTS | 1 | 0 | 6
EQ | 4 | 
       EXP9_.EXP  =  !state<1> & state<3> & state<0> & !state<2>
	# !state<1> & !state<3> & !state<0> & !state<2> & 
	timer<0> & !timer<1> & !timer<2> & !timer<3> & timer<4> & 
	timer<5> & timer<6> & !timer<7>

MACROCELL | 0 | 6 | EXP10_
ATTRIBUTES | 2048 | 0
OUTPUTMC | 1 | 0 | 7
INPUTS | 7 | sw1  | led1  | state<1>  | state<3>  | state<0>  | state<2>  | EXP9_.EXP
INPUTMC | 6 | 0 | 7 | 3 | 1 | 3 | 12 | 3 | 10 | 0 | 17 | 0 | 5
INPUTP | 1 | 52
EXPORTS | 1 | 0 | 7
IMPORTS | 1 | 0 | 5
EQ | 10 | 
       EXP10_.EXP  =  sw1 & led1
	# led1 & state<1>
	# led1 & state<3>
	# led1 & state<0>
	# led1 & state<2>
;Imported pterms FB1_6
	# !state<1> & state<3> & state<0> & !state<2>
	# !state<1> & !state<3> & !state<0> & !state<2> & 
	timer<0> & !timer<1> & !timer<2> & !timer<3> & timer<4> & 
	timer<5> & timer<6> & !timer<7>

MACROCELL | 0 | 8 | EXP11_
ATTRIBUTES | 2048 | 0
OUTPUTMC | 1 | 0 | 9
INPUTS | 11 | timer<0>  | timer<3>  | sw1  | state<1>  | state<3>  | state<0>  | state<2>  | timer<1>  | timer<2>  | timer<4>  | led1_OBUF.EXP
INPUTMC | 10 | 3 | 14 | 0 | 9 | 3 | 1 | 3 | 12 | 3 | 10 | 0 | 17 | 0 | 10 | 3 | 7 | 3 | 17 | 0 | 7
INPUTP | 1 | 52
EXPORTS | 1 | 0 | 9
IMPORTS | 1 | 0 | 7
EQ | 17 | 
       EXP11_.EXP  =  !timer<0> & !timer<3>
	# sw1 & state<1> & state<3> & !state<0> & 
	!state<2> & timer<0>
	# sw1 & state<1> & state<3> & !state<0> & 
	!state<2> & timer<1>
	# sw1 & state<1> & state<3> & !state<0> & 
	!state<2> & timer<2>
	# sw1 & state<1> & state<3> & !state<0> & 
	!state<2> & timer<4>
;Imported pterms FB1_8
	# !timer<1> & !timer<3>
	# !timer<2> & !timer<3>
	# sw1 & !state<1> & !state<3> & !state<2>
	# timer<0> & timer<1> & timer<2> & timer<3>
	# !state<1> & state<3> & !state<0> & !timer<0> & 
	!timer<1> & !timer<2> & timer<4> & !timer<5> & !timer<6> & 
	!timer<7>

MACROCELL | 0 | 11 | EXP12_
ATTRIBUTES | 2048 | 0
OUTPUTMC | 1 | 0 | 10
INPUTS | 8 | timer<0>  | timer<1>  | sw1  | state<1>  | state<3>  | state<2>  | state<0>  | timer<3>
INPUTMC | 7 | 3 | 14 | 0 | 10 | 3 | 1 | 3 | 12 | 0 | 17 | 3 | 10 | 0 | 9
INPUTP | 1 | 52
EXPORTS | 1 | 0 | 10
EQ | 7 | 
       EXP12_.EXP  =  timer<0> & timer<1>
	# !timer<0> & !timer<1>
	# sw1 & !state<1> & !state<3> & !state<2>
	# sw1 & state<1> & state<3> & !state<0> & 
	!state<2> & !timer<1>
	# sw1 & state<1> & state<3> & !state<0> & 
	!state<2> & timer<3>

MACROCELL | 0 | 12 | EXP13_
ATTRIBUTES | 2048 | 0
OUTPUTMC | 1 | 0 | 13
INPUTS | 10 | sw1  | state<1>  | state<3>  | state<0>  | state<2>  | timer<0>  | timer<1>  | timer<7>  | timer<3>  | timer<2>
INPUTMC | 9 | 3 | 1 | 3 | 12 | 3 | 10 | 0 | 17 | 3 | 14 | 0 | 10 | 0 | 13 | 0 | 9 | 3 | 7
INPUTP | 1 | 52
EXPORTS | 1 | 0 | 13
EQ | 8 | 
       EXP13_.EXP  =  sw1 & state<1> & state<3> & !state<0> & 
	!state<2> & timer<0> & !timer<1> & timer<7>
	# sw1 & state<1> & state<3> & !state<0> & 
	!state<2> & timer<0> & !timer<3> & timer<7>
	# sw1 & state<1> & state<3> & !state<0> & 
	!state<2> & timer<1> & !timer<2> & timer<7>
	# sw1 & state<1> & state<3> & !state<0> & 
	!state<2> & !timer<1> & timer<2> & timer<7>

MACROCELL | 0 | 14 | EXP14_
ATTRIBUTES | 2048 | 0
OUTPUTMC | 1 | 0 | 13
INPUTS | 13 | sw1  | state<1>  | state<3>  | state<0>  | state<2>  | timer<1>  | timer<3>  | timer<7>  | timer<4>  | timer<0>  | timer<2>  | timer<5>  | timer<6>
INPUTMC | 12 | 3 | 1 | 3 | 12 | 3 | 10 | 0 | 17 | 0 | 10 | 0 | 9 | 0 | 13 | 3 | 17 | 3 | 14 | 3 | 7 | 0 | 16 | 0 | 2
INPUTP | 1 | 52
EXPORTS | 1 | 0 | 13
EQ | 11 | 
       EXP14_.EXP  =  sw1 & state<1> & state<3> & !state<0> & 
	!state<2> & !timer<1> & !timer<3> & timer<7>
	# sw1 & state<1> & state<3> & !state<0> & 
	!state<2> & !timer<1> & timer<4> & timer<7>
	# sw1 & state<1> & state<3> & !state<0> & 
	!state<2> & !timer<3> & timer<4> & timer<7>
	# sw1 & state<1> & state<3> & !state<0> & 
	!state<2> & !timer<0> & timer<1> & timer<3> & timer<7>
	# state<1> & state<3> & !state<0> & !state<2> & 
	timer<1> & timer<2> & timer<3> & timer<4> & timer<5> & 
	timer<6> & timer<7>

MACROCELL | 0 | 15 | EXP15_
ATTRIBUTES | 2048 | 0
OUTPUTMC | 1 | 0 | 16
INPUTS | 11 | sw1  | state<1>  | state<3>  | state<2>  | timer<5>  | timer<0>  | timer<1>  | timer<2>  | timer<3>  | timer<4>  | state<0>
INPUTMC | 10 | 3 | 1 | 3 | 12 | 0 | 17 | 0 | 16 | 3 | 14 | 0 | 10 | 3 | 7 | 0 | 9 | 3 | 17 | 3 | 10
INPUTP | 1 | 52
EXPORTS | 1 | 0 | 16
EQ | 10 | 
       EXP15_.EXP  =  sw1 & !state<1> & !state<3> & !state<2> &
1234

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -