在使用Vivado 2015和Basys3开发板时，如何编写Verilog语言实现跑马灯效果？请涉及项目创建、RTL设计和计数器编写。

当你打算使用Vivado 2015和Basys3开发板进行跑马灯实验时，首先需要确保你对Vivado环境有基本的认识，以及对Basys3开发板的特性和引脚分配有所了解。以下是一系列步骤，详细指导你如何实现跑马灯效果的Verilog源代码编写和实验操作。

参考资源链接：[Vivado入门指南：Basys3板跑马灯实验详解](https://wenku.csdn.net/doc/2x82yrgcre?spm=1055.2569.3001.10343)

首先，根据《Vivado入门指南：Basys3板跑马灯实验详解》，创建一个名为'led_8lights'的新项目，并确保目标器件选择为xc7a35tcpg236-1，这对应于Basys3开发板使用的FPGA芯片。

在项目中添加一个Verilog源文件，该文件中需要编写一个计数器模块，用于生成跑马灯所需的时钟分频信号。例如，创建一个简单的二进制计数器来实现这个功能。以下是一个简单的计数器模块示例代码：

module counter8(
    input clk, // 时钟输入
    input reset, // 同步复位信号
    output reg [7:0] led // 8个LED灯的输出
);
    reg [23:0] count; // 24位计数器，根据时钟频率和需要的LED闪烁速度确定位数

    always @(posedge clk or posedge reset) begin
        if (reset) begin
            count <= 0;
            led <= 0;
        end else begin
            count <= count + 1;
            if (count == 24'd0) begin // 当计数器溢出时翻转LED状态
                led <= ~led;
            end
        end
    end
endmodule

在上述代码中，`clk` 是从Basys3板上的时钟引脚输入的时钟信号，`reset` 是同步复位信号，`led` 是连接到板上LED灯的输出。计数器在每次时钟上升沿增加，当计数器溢出时，LED灯的状态将被翻转，从而实现跑马灯效果。

在Vivado中，还需要配置约束文件，将Verilog代码中定义的LED信号映射到Basys3板上的物理LED引脚。

完成上述步骤后，通过综合、实现、生成比特流并下载到Basys3开发板上，就可以看到跑马灯实验的效果了。具体的约束文件编写和下载操作，请参照《Vivado入门指南：Basys3板跑马灯实验详解》中的详细步骤。

在这个过程中，你将学习到如何在Vivado环境中创建项目、编写RTL代码、进行代码仿真、综合、实现以及下载至FPGA板。对于想要深入学习Vivado和FPGA开发的人来说，这份指南提供了宝贵的入门经验，并为后续更高级的学习打下基础。

参考资源链接：[Vivado入门指南：Basys3板跑马灯实验详解](https://wenku.csdn.net/doc/2x82yrgcre?spm=1055.2569.3001.10343)