基于verilog的交通灯设计

该代码是基于basys2的开发板，可以直接下载运行，其他开发板只需修改管脚即可使用。

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

#include “xsi.h“

struct XSI_INFO xsi_info;



int main（int argc char **argv）
{
    xsi_init_design（argc argv）;
    xsi_register_info（&xsi_info）;

    xsi_register_min_prec_unit（-12）;
    work_m_00000000003309102822_2582214024_init（）;
    work_m_00000000004134447467_2073120511_init（）;


    xsi_register_tops（“work_m_00000000003309102822_2582214024“）;
    xsi_register_tops（“work_m_00000000004134447467_2073120511“）;


    return xsi_run_simulation（argc argv）;

}

 属性            大小     日期    时间   名称
----------- ---------  ---------- -----  ----
     目录           0  2017-11-07 17:22  traffic_light1\
     目录           0  2017-11-06 21:59  traffic_light1\_ngo\
     文件          50  2017-11-06 21:59  traffic_light1\_ngo\netlist.lst
     目录           0  2017-11-06 21:59  traffic_light1\_xmsgs\
     文件         639  2017-11-06 21:59  traffic_light1\_xmsgs\bitgen.xmsgs
     文件        1013  2017-11-06 21:59  traffic_light1\_xmsgs\map.xmsgs
     文件         367  2017-11-06 21:59  traffic_light1\_xmsgs\ngdbuild.xmsgs
     文件        2005  2017-11-06 21:59  traffic_light1\_xmsgs\par.xmsgs
     文件        1814  2017-11-07 17:22  traffic_light1\_xmsgs\pn_parser.xmsgs
     文件        1720  2017-11-06 21:59  traffic_light1\_xmsgs\trce.xmsgs
     文件        7276  2017-11-06 21:59  traffic_light1\_xmsgs\xst.xmsgs
     文件         973  2017-11-06 19:48  traffic_light1\clkdiv.v
     文件       16090  2017-11-05 10:24  traffic_light1\clkdiv_guide.ncd
     文件         887  2017-11-05 12:12  traffic_light1\clklv.v
     文件         220  2017-11-06 21:37  traffic_light1\counter.cmd_log
     文件           6  2017-11-06 21:37  traffic_light1\counter.lso
     文件       12722  2017-11-06 21:37  traffic_light1\counter.ngc
     文件       14574  2017-11-06 21:37  traffic_light1\counter.ngr
     文件          26  2017-11-06 21:37  traffic_light1\counter.prj
     文件       14759  2017-11-06 21:37  traffic_light1\counter.syr
     文件        1783  2017-11-07 16:45  traffic_light1\counter.v
     文件        1143  2017-11-06 21:37  traffic_light1\counter.xst
     文件       10718  2017-11-05 10:23  traffic_light1\counter_guide.ncd
     文件       94720  2017-11-06 21:20  traffic_light1\counter_isim_beh.exe
     文件       12326  2017-11-06 21:37  traffic_light1\counter_xst.xrpt
     文件        1298  2017-11-07 16:49  traffic_light1\fuse.log
     文件         709  2017-11-07 16:49  traffic_light1\fuse.xmsgs
     文件         229  2017-11-07 16:49  traffic_light1\fuseRelaunch.cmd
     目录           0  2017-11-08 15:08  traffic_light1\ipcore_dir\
     目录           0  2017-11-06 09:37  traffic_light1\iseconfig\
     文件       20462  2017-11-04 23:29  traffic_light1\iseconfig\clkdiv.xreport
............此处省略169个文件信息