System-Verilog 实现DE2-115 流水灯

文章目录

  • 一、什么是SystemVerilog
  • 二、代码实现
  • 实现结果

一、什么是SystemVerilog

SystemVerilog是一种硬件描述语言(HDL),它用于设计和验证电子系统,特别是在集成电路(IC)和系统级芯片(SoC)的设计过程中。SystemVerilog是Verilog语言的一个超集,它添加了许多新的特性和增强功能,使得设计者可以更高效地进行工作。

应用领域:

  • 集成电路设计:SystemVerilog用于设计从简单的门电路到复杂的SoC(System on Chip)。
  • 仿真和原型设计:用于快速原型设计和仿真,以验证设计的功能和性能。
  • 形式验证:与形式验证工具结合使用,以数学方式证明设计的属性。
  • 硬件-软件协同设计:支持硬件和软件的并行开发,确保两者的兼容性。

SystemVerilog的一些关键特性:

  • 面向对象编程(OOP):SystemVerilog支持类(class)和对象(object)的概念,允许设计者以面向对象的方式进行设计,提高代码的可重用性和模块化。

  • 接口(Interfaces):接口是SystemVerilog中用于模块间通信的一种机制,它允许设计者定义一组信号和协议,使得模块间的连接更加灵活和标准化。

  • 序列(sequence):序列是SystemVerilog中用于定义特定事件模式的语法结构,它在验证设计行为时非常有用。

  • 属性(property):属性用于定义设计中必须满足的条件或行为,它们可以用于断言(assertion)来检查设计是否符合预期。

  • 随机化(Rand):SystemVerilog支持随机化测试,可以自动生成测试向量,提高测试的覆盖率和效率。

  • 约束(Constraints):约束用于定义变量的取值范围或条件,它们在随机化测试中非常有用,可以确保生成的测试向量满足特定的要求。

  • 覆盖率(Coverage):SystemVerilog提供了覆盖率分析工具,可以评估测试的完整性,帮助设计者发现可能遗漏的测试场景。

  • 系统任务和函数(System Tasks and Functions):SystemVerilog扩展了系统任务和函数,提供了更多的内置功能,如文件操作、随机数生成等。

  • 多维数组(Multidimensional Arrays):SystemVerilog支持多维数组,使得设计者可以更方便地处理复杂的数据结构。

  • 包(Packages):包是SystemVerilog中用于组织代码的一种方式,它允许设计者定义一组相关的类型、常量、变量和子程序,这些可以在多个模块中共享。

SystemVerilog的这些特性使得它成为现代集成电路设计和验证的强大工具,特别是在处理复杂的系统级设计和高级验证任务时。

二、代码实现

led_chaser.sv

module led_chaser (input logic CLOCK_50,  // 50MHz时钟输入input logic reset_n,   // 复位信号,低电平有效output logic [9:0] LED // 10个LED灯输出
);// 定义一个计数器,用于产生慢速时钟logic [23:0] counter;always_ff @(posedge CLOCK_50 or negedge reset_n) beginif (!reset_n) begincounter <= 24'd0;end else begincounter <= counter + 24'd1;endend// 用慢速时钟控制LED的变化logic slow_clk;assign slow_clk = counter[23]; // 选择较高位做为慢速时钟// LED流水灯的状态logic [9:0] led_state;always_ff @(posedge slow_clk or negedge reset_n) beginif (!reset_n) beginled_state <= 10'b0000000001; // 初始状态,第一个LED点亮end else beginled_state <= {led_state[8:0], led_state[9]}; // 左移,循环点亮endend// 将led_state连接到LED输出assign LED = led_state;endmodule

测试文件
led_chaser_tb.vt

`timescale 1ns / 1psmodule led_chaser_tb;// 输入信号logic CLOCK_50;logic reset_n;// 输出信号logic [9:0] LED;// 实例化被测模块led_chaser uut (.CLOCK_50(CLOCK_50),.reset_n(reset_n),.LED(LED));// 时钟产生器,模拟50MHz时钟initial beginCLOCK_50 = 0;forever #10 CLOCK_50 = ~CLOCK_50; // 50MHz时钟周期为20nsend// 复位信号生成initial begin// 初始化信号reset_n = 1'b0;// 等待100ns,然后释放复位信号#100 reset_n = 1'b1;end// 监视信号initial begin$monitor("Time = %0t | reset_n = %b | LED = %b", $time, reset_n, LED);end// 结束仿真initial begin// 运行足够长时间以观察多个LED灯的变化#2000 $stop;endendmodule

实现结果

成功实现了流水灯。
在这里插入图片描述

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/bicheng/28467.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

大模型生成的常见Top-k、Top-p、Temperature参数

参考&#xff1a; https://zhuanlan.zhihu.com/p/669661536 topK&#xff0c;topP https://www.douyin.com/video/7380126984573127945 主要是softmax产生的词表每个词的概率分布后&#xff0c; topK&#xff0c;比如K3&#xff0c;表示采样概率最大的前3个&#xff0c;其他全…

【Perl】与【Excel】

引言 perl脚本语言对于文本的处理、转换很强大。对于一些信息量庞大的文本文件&#xff0c;看起来不直观&#xff0c;可以将信息提取至excel表格中&#xff0c;增加数据分析的可视化。perl语言的cpan提供了大量模块。对于excel文件的操作主要用到模块&#xff1a; Spreadshee…

【C++】类相关知识

C 类相关内容 1 默认构造 在C中&#xff0c;如果你遇到了错误信息“the default constructor of ‘B’ cannot be referenced – it is a deleted function”&#xff0c;这通常意味着类B的默认构造函数&#xff08;即不带参数的构造函数&#xff09;被声明为 delete了&#…

C 运算符优先级

在 C 语言中&#xff0c;运算符的优先级决定了在表达式中运算符的计算顺序。以下是 C 语言中运算符优先级表&#xff0c;按从高到低的顺序排列&#xff1a; 1. **括号**: () 2. **后缀运算符**: [] (数组下标), () (函数调用), . (成员访问), -> (指向成员访问), (后缀自…

详解 HBase 的安装部署及命令行操作

一、下载安装 进入 HBase 下载地址&#xff1a;https://archive.apache.org/dist/hbase/ 下载对应版本的 HBase 安装包并上传到虚拟机&#xff0c;并确保安装了 jdk 环境 将 HBase 安装包解压 #在 /opt/software 目录下解压安装包 tar -zxvf hbase-1.3.1-bin.tar.gz -C /opt/…

Android的自启动

最近要用到这个&#xff0c;所以也花时间看看。 从分层来说&#xff0c;安卓的自启动也分成三种&#xff0c;app的自启动&#xff0c;framework服务的自启动&#xff0c;HAL服务的自启动。现在简单说说这三种吧。当然&#xff0c;我主要关注的还是最后一种。。。 一 App的自启…

【论文速读,找找启发点】2024/6/16

ICME 2023 End-To-End Part-Level Action Parsing With Transformer 类似 DETR&#xff0c;通过 加 query的方式实现 端到端 ELAN: Enhancing Temporal Action Detection with Location Awareness 如何实现位置感知&#xff1f; > 重叠的卷积核&#xff1f; Do we really …

大数据开发流程解析

大数据开发是一个复杂且系统的过程&#xff0c;涉及需求分析、数据探查、指标管理、模型设计、ETL开发、数据验证、任务调度以及上线管理等多个阶段。本文将详细介绍每个阶段的内容&#xff0c;并提供相关示例和代码示例&#xff0c;帮助理解和实施大数据开发流程。 本文中的示…

基于WPF技术的换热站智能监控系统02--标题栏实现

1、布局划分 2、准备图片资源 3、界面UI控件 4、窗体拖动和关闭 5、运行效果 走过路过不要错过&#xff0c;点赞关注收藏又圈粉&#xff0c;共同致富&#xff0c;为财务自由作出贡献

CodeQL从入门到入土

为什么在现在写这文章 CodeQL传闻找到了Log4j的漏洞&#xff0c;这段时间上边要求&#xff0c;把公司系统内部常见的问题用CodeQL写检测脚本&#xff0c;用于系统长期检测。主要是记录这段时间的学习&#xff0c;以及自己总结的常用写法。 一个需求&#xff0c;不同人写出来的…

【Go语言】Gin 框架教程

Gin 框架教程 1.第一个 Gin 程序 1.1 Gin 安装 # 执行执行如下操作即可&#xff0c;安装Gin前需要安装Go环境 go get -u -v github.com/gin-gonic/gin # -v&#xff1a;打印出被构建的代码包的名字 # -u&#xff1a;已存在相关的代码包&#xff0c;强行更新代码包及其依赖包…

写点什么吧,作为STM32系列的开篇……

自从本科毕业后&#xff0c;就再也没碰过单片机…… 自从研究生毕业后&#xff0c;就再也没碰过硬件…… 自以为以前单片机玩的熟得很&#xff0c;特别是ATMEGA系列的AVR单片机&#xff0c;由于老师的推荐&#xff0c;本科时花了好多精力在这个系列单片机上面…… 本科时STM…

框架的使用

什么是框架&#xff1f; 盖房子&#xff0c;框架结构 框架结构就是房子主体&#xff0c;基本功能 把很多基础功能已经实现&#xff08;封装了&#xff09; 框架&#xff1a;在基础语言之上&#xff0c;对各种基础功能进行封装&#xff0c;方便开发者&#xff0c;提高开发效…

JavaFX 图像视图

JavaFX ImageView 控件可以在 JavaFX GUI 中显示图像。ImageView 控件必须添加到场景图中才能可见。JavaFX ImageView 控件由类表示 javafx.scene.image.ImageView。 创建一个 ImageView 通过创建类的实例来创建 ImageView 控件实例ImageView。类的构造函数ImageView需要一个…

02 设计过程概述

02 设计过程概述 2-1 设计需求2-2 飞机设计的各个阶段2-2-1 概念设计2-2-2 初步设计2-2-3 详细设计 2-3 飞机概念设计的流程2-4 集成产品开发和飞机设计2-5 补充2-5-1 布局设计&#xff08;Configuration Design&#xff09;关键任务&#xff1a;作用和重要性&#xff1a;使用领…

设置systemctl 启动PostgreSQL

1、在/etc/systemd/system目录下&#xff0c;新建配置文件 postgresql.service vi /etc/systemd/system/postgresql.service [Unit] # 简短描述 Descriptionpostgresql.service # 在network.target服务之后运行&#xff0c;这里可以不要 Afternetwork.target [Service] Type…

ARIMA模型与ARIMA-GARCH模型预测时间序列

上世纪 70 年代初&#xff0c;Ljung 等人提出 ARIMA 模型&#xff0c;又称求和自回归移动平均模型。其思想 是针对于非平稳时间序列进行数学建模&#xff0c;将其通过差分运算后 进行相关数据刻画 &#xff0c;变为一个平稳的新序列&#xff0c;进而进行相关数据的刻画。 自 1…

Sping源码(九)—— Bean的初始化(非懒加载)— Bean的创建方式(自定义BeanPostProcessor)

序言 之前文章有介绍采用FactoryBean的方式创建对象&#xff0c;以及使用反射创建对象。 这篇文章继续介绍Spring中创建Bean的形式之一——自定义BeanPostProcessor。 之前在介绍BeanPostProcessor的文章中有提到&#xff0c;BeanPostProcessor接口的实现中有一个Instantiatio…

[文献解读]:斯坦福最新研究-HumanPlus:人形机器人跟踪和模仿人类

摘要 制造具有与人类相似外形的机器人的关键论点之一是&#xff0c;我们可以利用大量人类数据进行训练。然而&#xff0c;由于人形机器人感知和控制的复杂性、人形机器人与人类在形态和驱动方面仍然存在的物理差距&#xff0c;以及人形机器人缺乏从自我中心视觉学习自主技能的…

马克·雷伯特访谈:机器人的未来及波士顿动力的创新之路

引言 机器人技术作为现代科技的前沿领域&#xff0c;始终吸引着大量的关注与研究。波士顿动力公司作为这一领域的领军者&#xff0c;其创始人兼前CEO马克雷伯特&#xff08;Marc Raibert&#xff09;近日在主持人莱克斯弗里德曼&#xff08;Lex Fridman&#xff09;的播客节目…