📄 traffic.sim.vwf

📁 一个简单的交通灯程序(包括验证,主程序,和译码程序),在ALTER DE2板上实现
💻 VWF
📖 第 1 页 / 共 3 页
字号:
		NODE
		{
			REPEAT = 2;
			LEVEL 1 FOR 2.0;
			LEVEL 0 FOR 3.0;
		}
		NODE
		{
			REPEAT = 8;
			LEVEL 1 FOR 2.0;
			LEVEL 0 FOR 4.0;
			LEVEL 1 FOR 2.0;
			LEVEL 0 FOR 2.0;
		}
		NODE
		{
			REPEAT = 2;
			LEVEL 1 FOR 2.0;
			LEVEL 0 FOR 3.0;
		}
		LEVEL 1 FOR 2.0;
		LEVEL 0 FOR 0.5;
	}
}

TRANSITION_LIST("east_west[0]")
{
	NODE
	{
		REPEAT = 1;
		LEVEL 0 FOR 0.5;
		NODE
		{
			REPEAT = 14;
			LEVEL 1 FOR 1.0;
			LEVEL 0 FOR 1.0;
		}
		LEVEL 1 FOR 1.0;
		LEVEL 0 FOR 16.0;
		NODE
		{
			REPEAT = 27;
			LEVEL 1 FOR 1.0;
			LEVEL 0 FOR 1.0;
		}
		NODE
		{
			REPEAT = 2;
			LEVEL 1 FOR 2.0;
			LEVEL 0 FOR 1.0;
			LEVEL 1 FOR 1.0;
			LEVEL 0 FOR 1.0;
		}
		NODE
		{
			REPEAT = 40;
			LEVEL 1 FOR 1.0;
			LEVEL 0 FOR 1.0;
		}
		NODE
		{
			REPEAT = 2;
			LEVEL 1 FOR 2.0;
			LEVEL 0 FOR 1.0;
			LEVEL 1 FOR 1.0;
			LEVEL 0 FOR 1.0;
		}
		LEVEL 1 FOR 0.5;
	}
}

TRANSITION_LIST("east_westa[3]")
{
	NODE
	{
		REPEAT = 1;
		LEVEL 0 FOR 6.5;
		NODE
		{
			REPEAT = 2;
			LEVEL 1 FOR 2.0;
			LEVEL 0 FOR 8.0;
		}
		LEVEL 1 FOR 2.0;
		LEVEL 0 FOR 23.0;
		NODE
		{
			REPEAT = 4;
			LEVEL 1 FOR 2.0;
			LEVEL 0 FOR 8.0;
		}
		LEVEL 1 FOR 2.0;
		LEVEL 0 FOR 18.0;
		NODE
		{
			REPEAT = 7;
			LEVEL 1 FOR 2.0;
			LEVEL 0 FOR 8.0;
		}
		LEVEL 1 FOR 2.0;
		LEVEL 0 FOR 16.5;
	}
}

TRANSITION_LIST("east_westa[2]")
{
	NODE
	{
		REPEAT = 1;
		LEVEL 0 FOR 0.5;
		LEVEL 1 FOR 2.0;
		NODE
		{
			REPEAT = 2;
			LEVEL 0 FOR 6.0;
			LEVEL 1 FOR 4.0;
		}
		LEVEL 0 FOR 6.0;
		LEVEL 1 FOR 19.0;
		NODE
		{
			REPEAT = 5;
			LEVEL 0 FOR 6.0;
			LEVEL 1 FOR 4.0;
		}
		NODE
		{
			REPEAT = 2;
			LEVEL 0 FOR 3.0;
			LEVEL 1 FOR 2.0;
		}
		NODE
		{
			REPEAT = 8;
			LEVEL 0 FOR 6.0;
			LEVEL 1 FOR 4.0;
		}
		NODE
		{
			REPEAT = 2;
			LEVEL 0 FOR 3.0;
			LEVEL 1 FOR 2.0;
		}
		LEVEL 0 FOR 2.5;
	}
}

TRANSITION_LIST("east_westa[1]")
{
	NODE
	{
		REPEAT = 1;
		LEVEL 0 FOR 2.5;
		NODE
		{
			REPEAT = 2;
			LEVEL 1 FOR 2.0;
			LEVEL 0 FOR 4.0;
			LEVEL 1 FOR 2.0;
			LEVEL 0 FOR 2.0;
		}
		LEVEL 1 FOR 2.0;
		LEVEL 0 FOR 4.0;
		LEVEL 1 FOR 17.0;
		NODE
		{
			REPEAT = 5;
			LEVEL 0 FOR 2.0;
			LEVEL 1 FOR 2.0;
			LEVEL 0 FOR 4.0;
			LEVEL 1 FOR 2.0;
		}
		LEVEL 0 FOR 2.0;
		NODE
		{
			REPEAT = 2;
			LEVEL 1 FOR 2.0;
			LEVEL 0 FOR 3.0;
		}
		NODE
		{
			REPEAT = 8;
			LEVEL 1 FOR 2.0;
			LEVEL 0 FOR 4.0;
			LEVEL 1 FOR 2.0;
			LEVEL 0 FOR 2.0;
		}
		NODE
		{
			REPEAT = 2;
			LEVEL 1 FOR 2.0;
			LEVEL 0 FOR 3.0;
		}
		LEVEL 1 FOR 2.0;
		LEVEL 0 FOR 0.5;
	}
}

TRANSITION_LIST("east_westa[0]")
{
	NODE
	{
		REPEAT = 1;
		LEVEL 0 FOR 0.5;
		NODE
		{
			REPEAT = 14;
			LEVEL 1 FOR 1.0;
			LEVEL 0 FOR 1.0;
		}
		LEVEL 1 FOR 1.0;
		LEVEL 0 FOR 16.0;
		NODE
		{
			REPEAT = 27;
			LEVEL 1 FOR 1.0;
			LEVEL 0 FOR 1.0;
		}
		NODE
		{
			REPEAT = 2;
			LEVEL 1 FOR 2.0;
			LEVEL 0 FOR 1.0;
			LEVEL 1 FOR 1.0;
			LEVEL 0 FOR 1.0;
		}
		NODE
		{
			REPEAT = 40;
			LEVEL 1 FOR 1.0;
			LEVEL 0 FOR 1.0;
		}
		NODE
		{
			REPEAT = 2;
			LEVEL 1 FOR 2.0;
			LEVEL 0 FOR 1.0;
			LEVEL 1 FOR 1.0;
			LEVEL 0 FOR 1.0;
		}
		LEVEL 1 FOR 0.5;
	}
}

TRANSITION_LIST("east_westb[3]")
{
	NODE
	{
		REPEAT = 1;
		LEVEL 0 FOR 200.0;
	}
}

TRANSITION_LIST("east_westb[2]")
{
	NODE
	{
		REPEAT = 1;
		LEVEL 0 FOR 0.5;
		LEVEL 1 FOR 6.0;
		LEVEL 0 FOR 54.0;
		LEVEL 1 FOR 1.0;
		LEVEL 0 FOR 44.0;
		LEVEL 1 FOR 6.0;
		LEVEL 0 FOR 39.0;
		LEVEL 1 FOR 1.0;
		LEVEL 0 FOR 44.0;
		LEVEL 1 FOR 4.5;
	}
}

TRANSITION_LIST("east_westb[1]")
{
	NODE
	{
		REPEAT = 1;
		LEVEL 0 FOR 6.5;
		LEVEL 1 FOR 20.0;
		LEVEL 0 FOR 35.0;
		LEVEL 1 FOR 20.0;
		LEVEL 0 FOR 30.0;
		LEVEL 1 FOR 20.0;
		LEVEL 0 FOR 20.0;
		LEVEL 1 FOR 20.0;
		LEVEL 0 FOR 28.5;
	}
}

TRANSITION_LIST("east_westb[0]")
{
	NODE
	{
		REPEAT = 1;
		LEVEL 0 FOR 6.5;
		LEVEL 1 FOR 10.0;
		LEVEL 0 FOR 10.0;
		LEVEL 1 FOR 25.0;
		NODE
		{
			REPEAT = 2;
			LEVEL 0 FOR 10.0;
			LEVEL 1 FOR 10.0;
		}
		LEVEL 0 FOR 20.0;
		NODE
		{
			REPEAT = 3;
			LEVEL 1 FOR 10.0;
			LEVEL 0 FOR 10.0;
		}
		LEVEL 1 FOR 10.0;
		LEVEL 0 FOR 18.5;
	}
}

TRANSITION_LIST("led[5]")
{
	NODE
	{
		REPEAT = 1;
		LEVEL 0 FOR 0.5;
		LEVEL 1 FOR 60.0;
		LEVEL 0 FOR 45.0;
		LEVEL 1 FOR 45.0;
		LEVEL 0 FOR 45.0;
		LEVEL 1 FOR 4.5;
	}
}

TRANSITION_LIST("led[4]")
{
	NODE
	{
		REPEAT = 1;
		LEVEL 0 FOR 100.5;
		LEVEL 1 FOR 5.0;
		LEVEL 0 FOR 85.0;
		LEVEL 1 FOR 5.0;
		LEVEL 0 FOR 4.5;
	}
}

TRANSITION_LIST("led[3]")
{
	NODE
	{
		REPEAT = 1;
		LEVEL 0 FOR 60.5;
		LEVEL 1 FOR 40.0;
		LEVEL 0 FOR 50.0;
		LEVEL 1 FOR 40.0;
		LEVEL 0 FOR 9.5;
	}
}

TRANSITION_LIST("led[2]")
{
	NODE
	{
		REPEAT = 1;
		LEVEL 0 FOR 0.5;
		LEVEL 1 FOR 29.5;
		LEVEL 0 FOR 75.5;
		LEVEL 1 FOR 40.0;
		LEVEL 0 FOR 50.0;
		LEVEL 1 FOR 4.5;
	}
}

TRANSITION_LIST("led[1]")
{
	NODE
	{
		REPEAT = 1;
		LEVEL 0 FOR 55.5;
		LEVEL 1 FOR 5.0;
		LEVEL 0 FOR 85.0;
		LEVEL 1 FOR 5.0;
		LEVEL 0 FOR 49.5;
	}
}

TRANSITION_LIST("led[0]")
{
	NODE
	{
		REPEAT = 1;
		LEVEL 0 FOR 30.0;
		LEVEL 1 FOR 25.5;
		LEVEL 0 FOR 5.0;
		LEVEL 1 FOR 45.0;
		LEVEL 0 FOR 45.0;
		LEVEL 1 FOR 45.0;
		LEVEL 0 FOR 4.5;
	}
}

TRANSITION_LIST("south_north[7]")
{
	NODE
	{
		REPEAT = 1;
		LEVEL 0 FOR 200.0;
	}
}

TRANSITION_LIST("south_north[6]")
{
	NODE
	{
		REPEAT = 1;
		LEVEL 0 FOR 0.5;
		LEVEL 1 FOR 1.0;
		LEVEL 0 FOR 59.0;
		LEVEL 1 FOR 6.0;
		LEVEL 0 FOR 39.0;
		LEVEL 1 FOR 1.0;
		LEVEL 0 FOR 44.0;
		LEVEL 1 FOR 6.0;
		LEVEL 0 FOR 39.0;
		LEVEL 1 FOR 1.0;
		LEVEL 0 FOR 3.5;
	}
}

TRANSITION_LIST("south_north[5]")
{
	NODE
	{
		REPEAT = 1;
		LEVEL 0 FOR 1.5;
		LEVEL 1 FOR 20.0;
		LEVEL 0 FOR 45.0;
		LEVEL 1 FOR 20.0;
		LEVEL 0 FOR 20.0;
		LEVEL 1 FOR 20.0;
		LEVEL 0 FOR 30.0;
		LEVEL 1 FOR 20.0;
		LEVEL 0 FOR 20.0;
		LEVEL 1 FOR 3.5;
	}
}

TRANSITION_LIST("south_north[4]")
{
	NODE
	{
		REPEAT = 1;
		LEVEL 0 FOR 1.5;
		LEVEL 1 FOR 10.0;
		LEVEL 0 FOR 10.0;
		LEVEL 1 FOR 25.0;
		LEVEL 0 FOR 20.0;
		NODE
		{
			REPEAT = 3;
			LEVEL 1 FOR 10.0;
			LEVEL 0 FOR 10.0;
		}
		LEVEL 1 FOR 10.0;
		LEVEL 0 FOR 20.0;
		NODE
		{
			REPEAT = 2;
			LEVEL 1 FOR 10.0;
			LEVEL 0 FOR 10.0;
		}
		LEVEL 1 FOR 3.5;
	}
}

TRANSITION_LIST("south_north[3]")
{
	NODE
	{
		REPEAT = 1;
		LEVEL 0 FOR 1.5;
		NODE
		{
			REPEAT = 2;
			LEVEL 1 FOR 2.0;
			LEVEL 0 FOR 8.0;
		}
		LEVEL 1 FOR 2.0;
		LEVEL 0 FOR 23.0;
		LEVEL 1 FOR 2.0;
		LEVEL 0 FOR 18.0;
		NODE
		{
			REPEAT = 7;
			LEVEL 1 FOR 2.0;
			LEVEL 0 FOR 8.0;
		}
		LEVEL 1 FOR 2.0;
		LEVEL 0 FOR 18.0;
		NODE
		{
			REPEAT = 4;
			LEVEL 1 FOR 2.0;
			LEVEL 0 FOR 8.0;
		}
		LEVEL 1 FOR 2.0;
		LEVEL 0 FOR 1.5;
	}
}

TRANSITION_LIST("south_north[2]")
{
	NODE
	{
		REPEAT = 1;
		LEVEL 0 FOR 3.5;
		NODE
		{
			REPEAT = 2;
			LEVEL 1 FOR 4.0;
			LEVEL 0 FOR 6.0;
		}
		LEVEL 1 FOR 4.0;
		LEVEL 0 FOR 21.0;
		LEVEL 1 FOR 4.0;
		NODE
		{
			REPEAT = 2;
			LEVEL 0 FOR 3.0;
			LEVEL 1 FOR 2.0;
		}
		NODE
		{
			REPEAT = 8;
			LEVEL 0 FOR 6.0;
			LEVEL 1 FOR 4.0;
		}
		NODE
		{
			REPEAT = 2;
			LEVEL 0 FOR 3.0;
			LEVEL 1 FOR 2.0;
		}
		NODE
		{
			REPEAT = 4;
			LEVEL 0 FOR 6.0;
			LEVEL 1 FOR 4.0;
		}
		LEVEL 0 FOR 6.0;
		LEVEL 1 FOR 1.5;
	}
}

TRANSITION_LIST("south_north[1]")
{
	NODE
	{
		REPEAT = 1;
		LEVEL 0 FOR 3.5;
		NODE
		{
			REPEAT = 2;
			LEVEL 1 FOR 2.0;
			LEVEL 0 FOR 2.0;
			LEVEL 1 FOR 2.0;
			LEVEL 0 FOR 4.0;
		}
		LEVEL 1 FOR 2.0;
		LEVEL 0 FOR 2.0;
		LEVEL 1 FOR 2.0;
		LEVEL 0 FOR 19.0;
		LEVEL 1 FOR 2.0;
		LEVEL 0 FOR 2.0;
		NODE
		{
			REPEAT = 2;
			LEVEL 1 FOR 2.0;
			LEVEL 0 FOR 3.0;
		}
		NODE
		{
			REPEAT = 8;
			LEVEL 1 FOR 2.0;
			LEVEL 0 FOR 4.0;
			LEVEL 1 FOR 2.0;
			LEVEL 0 FOR 2.0;
		}
		NODE
		{
			REPEAT = 2;
			LEVEL 1 FOR 2.0;
			LEVEL 0 FOR 3.0;
		}
		NODE
		{
			REPEAT = 4;
			LEVEL 1 FOR 2.0;
			LEVEL 0 FOR 4.0;
			LEVEL 1 FOR 2.0;
			LEVEL 0 FOR 2.0;
		}
		LEVEL 1 FOR 2.0;
		LEVEL 0 FOR 4.0;
		LEVEL 1 FOR 1.5;
	}
}

TRANSITION_LIST("south_north[0]")
{
	NODE
	{
		REPEAT = 1;
		LEVEL 0 FOR 1.5;
		NODE
		{
			REPEAT = 14;
			LEVEL 1 FOR 1.0;
			LEVEL 0 FOR 1.0;
		}
		LEVEL 1 FOR 16.0;
		NODE
		{
			REPEAT = 4;
			LEVEL 0 FOR 1.0;
			LEVEL 1 FOR 1.0;
		}
		NODE
		{
			REPEAT = 2;
			LEVEL 0 FOR 1.0;
			LEVEL 1 FOR 2.0;
			LEVEL 0 FOR 1.0;
			LEVEL 1 FOR 1.0;
		}
		NODE
		{
			REPEAT = 40;
			LEVEL 0 FOR 1.0;
			LEVEL 1 FOR 1.0;
		}
		NODE
		{
			REPEAT = 2;
			LEVEL 0 FOR 1.0;
			LEVEL 1 FOR 2.0;
			LEVEL 0 FOR 1.0;
			LEVEL 1 FOR 1.0;
		}
		NODE
		{
			REPEAT = 23;
			LEVEL 0 FOR 1.0;
			LEVEL 1 FOR 1.0;
		}
		LEVEL 0 FOR 0.5;
	}
}

TRANSITION_LIST("south_northa[3]")
{
	NODE
	{
		REPEAT = 1;
		LEVEL 0 FOR 1.5;
		NODE
		{
			REPEAT = 2;
			LEVEL 1 FOR 2.0;
			LEVEL 0 FOR 8.0;
		}
		LEVEL 1 FOR 2.0;
		LEVEL 0 FOR 23.0;
		LEVEL 1 FOR 2.0;
		LEVEL 0 FOR 18.0;
		NODE
		{
			REPEAT = 7;
			LEVEL 1 FOR 2.0;
			LEVEL 0 FOR 8.0;
		}
		LEVEL 1 FOR 2.0;
		LEVEL 0 FOR 18.0;
		NODE
		{
			REPEAT = 4;
			LEVEL 1 FOR 2.0;
			LEVEL 0 FOR 8.0;
		}
		LEVEL 1 FOR 2.0;
		LEVEL 0 FOR 1.5;
	}
}

TRANSITION_LIST("south_northa[2]")
{
	NODE
	{
		REPEAT = 1;
		LEVEL 0 FOR 3.5;
		NODE
		{
			REPEAT = 2;
			LEVEL 1 FOR 4.0;
⌨️ 快捷键说明

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