用verilog语言编写的交通灯FSM

非常详细的，能够被ISE14版本编译，包括代码以及测试代码

/**********************************************************************/
/*   ____  ____                                                       */
/*  /   /\/   /                                                       */
/* /___/  \  /                                                        */
/* \   \   \/                                                       */
/*  \   \        Copyright （c） 2003-2009 Xilinx Inc.                */
/*  /   /          All Right Reserved.                                 */
/* /---/   /\                                                         */
/* \   \  /  \                                                      */
/*  \___\/\___\                                                    */
/***********************************************************************/

/* This file is designed for use with ISim build 0x1048c146 */

#define XSI_HIDE_SYMBOL_SPEC true
#include “xsi.h“
#include 
#ifdef __GNUC__
#include 
#else
#include 
#define alloca _alloca
#endif
static const char *ng0 = “E:/FPGA/traffic_FSM/test.v“;
static int ng1[] = {0 0};
static unsigned int ng2[] = {0U 0U};
static unsigned int ng3[] = {1U 0U};



static void Initial_43_0（char *t0）
{
    char *t1;
    char *t2;

LAB0:    xsi_set_current_line（43 ng0）;

LAB2:    xsi_set_current_line（45 ng0）;
    t1 = （（char*）（（ng1）））;
    t2 = （t0 + 920）;
    xsi_vlogvar_assign_value（t2 t1 0 0 1）;
    xsi_set_current_line（46 ng0）;
    t1 = （（char*）（（ng1）））;
    t2 = （t0 + 1104）;
    xsi_vlogvar_assign_value（t2 t1 0 0 3）;

LAB1:    return;
}

static void Always_52_1（char *t0）
{
    char t3[8];
    char *t1;
    char *t2;
    char *t4;
    char *t5;
    char *t6;
    char *t7;
    unsigned int t8;
    unsigned int t9;
    unsigned int t10;
    unsigned int t11;
    unsigned int t12;
    char *t13;
    char *t14;
    char *t15;
    unsigned int t16;
    unsigned int t17;
    unsigned int t18;
    unsigned int t19;
    unsigned int t20;
    unsigned int t21;
    unsigned int t22;
    unsigned int t23;
    char *t24;

LAB0:    t1 = （t0 + 1772U）;
    t2 = *（（char **）t1）;
    if （t2 == 0）
        goto LAB2;

LAB3:    goto *t2;

LAB2:    xsi_set_current_line（52 ng0）;
    t2 = （t0 + 1672）;
    xsi_process_wait（t2 10000LL）;
    *（（char **）t1） = &&LAB4;

LAB1:    return;
LAB4:    xsi_set_current_line（52 ng0）;
    t4 = （t0 + 920）;
    t5 = （t4 + 36U）;
    t6 = *（（char **）t5）;
    memset（t3 0 8）;
    t7 = （t6 + 4）;
    t8 = *（（unsigned int *）t7）;
    t9 = （~（t8））;
    t10 = *（（unsigned int *）t6）;
    t11 = （t10 & t9）;
    t12 = （t11 & 1U）;
    if （t12 != 0）
        goto LAB8;

LAB6:    if （*（（unsigned int *）t7） == 0）
        goto LAB5;

LAB7:    t13 = （t3 + 4）;
    *（（unsigned int *）t3） = 1;
    *（（unsigned int *）t13） = 1;

LAB8:    t14 = （t3 + 4）;
    t15 = （t6 + 4）;
    t16 = *（（unsigned int *）t6）;
    t17 = （~（t16））;
    *（（uns

 属性            大小     日期    时间   名称
----------- ---------  ---------- -----  ----

     文件          0  2012-12-15 11:48  traffic_FSM\feipin.bmm

     文件        802  2012-12-15 15:06  traffic_FSM\feipin.v

     文件       1567  2012-12-15 17:16  traffic_FSM\fuse.log

     文件        957  2012-12-15 17:16  traffic_FSM\fuse.xmsgs

     文件        218  2012-12-15 17:16  traffic_FSM\fuseRelaunch.cmd

     文件       8105  2012-12-15 17:28  traffic_FSM\iseconfig\traffic_FSM.projectmgr

     文件      20682  2012-12-15 17:28  traffic_FSM\iseconfig\traffic_FSM.xreport

     文件       1673  2012-12-15 17:28  traffic_FSM\isim\isim_usage_statistics.html

     文件          6  2012-12-15 17:16  traffic_FSM\isim\pn_info

     文件          0  2012-12-15 17:16  traffic_FSM\isim\test_isim_beh.exe.sim\isimcrash.log

     文件       5362  2012-12-15 17:16  traffic_FSM\isim\test_isim_beh.exe.sim\ISimEngine-DesignHierarchy.dbg

     文件        561  2012-12-15 17:28  traffic_FSM\isim\test_isim_beh.exe.sim\isimkernel.log

     文件         92  2012-12-15 17:28  traffic_FSM\isim\test_isim_beh.exe.sim\netId.dat

     文件      29689  2012-12-15 17:16  traffic_FSM\isim\test_isim_beh.exe.sim\test_isim_beh.exe

     文件       2595  2012-12-15 17:16  traffic_FSM\isim\test_isim_beh.exe.sim\tmp_save\_1

     文件       4704  2012-12-15 17:16  traffic_FSM\isim\test_isim_beh.exe.sim\work\m_00000000000540518291_1985558087.c

     文件       3216  2012-12-15 17:16  traffic_FSM\isim\test_isim_beh.exe.sim\work\m_00000000000540518291_1985558087.didat

     文件       2239  2012-12-15 17:16  traffic_FSM\isim\test_isim_beh.exe.sim\work\m_00000000000540518291_1985558087.nt.obj

     文件       5544  2012-12-15 17:16  traffic_FSM\isim\test_isim_beh.exe.sim\work\m_00000000001606811068_1439480591.c

     文件       2484  2012-12-15 17:16  traffic_FSM\isim\test_isim_beh.exe.sim\work\m_00000000001606811068_1439480591.didat

     文件       2505  2012-12-15 17:16  traffic_FSM\isim\test_isim_beh.exe.sim\work\m_00000000001606811068_1439480591.nt.obj

     文件      19924  2012-12-15 17:16  traffic_FSM\isim\test_isim_beh.exe.sim\work\m_00000000002730176820_2776053927.c

     文件       3788  2012-12-15 17:16  traffic_FSM\isim\test_isim_beh.exe.sim\work\m_00000000002730176820_2776053927.didat

     文件       8052  2012-12-15 17:16  traffic_FSM\isim\test_isim_beh.exe.sim\work\m_00000000002730176820_2776053927.nt.obj

     文件       7958  2012-12-15 17:16  traffic_FSM\isim\test_isim_beh.exe.sim\work\m_00000000004134447467_2073120511.c

     文件       5496  2012-12-15 17:16  traffic_FSM\isim\test_isim_beh.exe.sim\work\m_00000000004134447467_2073120511.didat

     文件       3118  2012-12-15 17:16  traffic_FSM\isim\test_isim_beh.exe.sim\work\m_00000000004134447467_2073120511.nt.obj

     文件       1405  2012-12-15 17:16  traffic_FSM\isim\test_isim_beh.exe.sim\work\test_isim_beh.exe_main.c

     文件       1338  2012-12-15 17:16  traffic_FSM\isim\test_isim_beh.exe.sim\work\test_isim_beh.exe_main.nt.obj

     文件       1807  2012-12-15 17:16  traffic_FSM\isim\work\feipin.sdb

............此处省略80个文件信息