Verilog HDL高级数字设计 从零学习(一)

2024-03-09 02:48

本文主要是介绍Verilog HDL高级数字设计 从零学习(一),希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

Verilog HDL高级数字设计 从零学习(一)

    • 3.4 时序机设计
    • 3.5 状态转移图
    • 利用D触发器实现FSM的步骤

🔈声明:
🔑未经作者允许,禁止转载
🚩推荐一个IC、FPGA新手入门的好网站:👉快 点 击 进 入 学 习 吧👈



标题由于年初刚决定转做FPGA开发,虽然开发板的很多例程都做过,但感觉做的都是接口和一些简单的协议,最近真的开始自己设计时才发现无从下手,还是基础太薄弱,所以决定从头学习一遍Verilog HDL高级数字设计这本书,并且将其中的设计,自行通过Verilog实现一遍。

后续也会记录完成的一些自认为重要的FPGA设计。

书的前两章是数电基础,就不赘述了,从第三章开始记录学习过程。

3.4 时序机设计

建立时间

时序约束是指输入信号在时钟触发沿前的适当时间内保持稳定,以此可以确定通过电路中最长的路径的时延上限,限制数据到达的最迟时间。

保持时间

是指信号在时钟触发沿后的适当时间内保持稳定,限制前一周期数据改变的最短时间。

3.5 状态转移图

状态机定义

根据在时钟到来之前的状态和当前的输入值,在时钟的有效沿处,实现同步时序机的STG表示的状态转移。

对一个同步时序机给定的状态转移图,设计任务是确定下一状态和输出逻辑。
设计需要根据当前状态和外部的输入信号,得到作为触发器的输入逻辑信号
,该逻辑电路是组合逻辑电路。(也就是说,描述次态 和 输出逻辑 是组合逻辑电路)

STG每次状态的的转移必须唯一,并且整个次态控制条件要包含全部条件。

利用D触发器实现FSM的步骤

1) 构建状态机的STG
2) 消去等价状态 (此处指弧线指向同一次态的情况,在BCD转余3码这个例子中次态即为下一位的值)
3) 选取状态码
4) 对状态编码
5) 求解描述D触发器的输入的布尔方程
6) 利用卡诺图化简布尔方程

  • 接下来就是有限状态机的设计分析了,以BCD到余3码的串行转换为例。

余3码是对9的自补码,即 0的余3码为0011.各位取反后为1100,正好是9的余3码。

用Mealy型FSM实现的BCD码到余3码串行转换器
一开始看书的时候一直没懂状态为什么是这样设置的,看了好久终于明白了。
这个例子中的现态为已串行输入的BCD码,而次态是下一位的值,输出逻辑是本次要输出的值,所以每一层只有0和1两种状态。

  • 下面是我用Verilog写的BCD码转余3码的串行转换器(仅考虑4bit),可能有考虑不周全的情况。
  • 用二段状态机来完成,状态编码方式没有特别设定,增加了一个转换器的使能端,以此保证只有4bit的转换
//
// Create Date: 2020/05/14 15:42:31
// Design Name: wang
// Module Name: bcd_to_3
////串行输入的BCD码低位先进        串行输入的余3码  低位先出module bcd_to_3(
input clk,
input rst_n,
input data_in,
input en, output reg data_out);parameter   idle=   3'b000;
parameter   S_0 =   3'b001;
parameter   S_1 =   3'b010;
parameter   S_2 =   3'b011;
parameter   S_3 =   3'b100;
parameter   S_4 =   3'b101;
parameter   S_5 =   3'b110;
parameter   S_6 =   3'b111;reg [2:0]cur_state,next_state;//两段式状态机 其中一个always模块采用同步时序描述状态转移;另一个模块采用组合逻辑判断状态转移条件,描述状态转移规律以及输出;
//状态转移描述
always@(posedge clk or negedge rst_n)beginif(!rst_n)  cur_state <= idle;else        cur_state <= next_state;
endalways@(*)beginif(!en) beginnext_state = idle;data_out = 1'b0;endelse begincase(cur_state)idle:   beginnext_state = en ? S_0 : idle;data_out   = 4'd0; endS_0:    beginnext_state  = data_in ? S_2 : S_1;data_out    = ~data_in;         endS_1:    beginnext_state  = data_in ? S_4 : S_3;data_out    = ~data_in;endS_2:    beginnext_state  = S_4;data_out    = data_in;endS_3:    beginnext_state  = S_5;data_out    = data_in;endS_4:    beginnext_state  = data_in ? S_6 : S_5;data_out    = ~data_in;endS_5:    beginnext_state  = idle;data_out    = data_in;endS_6:    beginnext_state  = idle;data_out    = ~data_in;enddefault: beginnext_state  = idle;data_out    = 1'b0;  endendcase
end
end endmodule
  • 下面是以BCD码0111,转换余3码1010的仿真,低位先进

在这里插入图片描述




这篇关于Verilog HDL高级数字设计 从零学习(一)的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/789315

相关文章

Java中的for循环高级用法

《Java中的for循环高级用法》本文系统解析Java中传统、增强型for循环、StreamAPI及并行流的实现原理与性能差异,并通过大量代码示例展示实际开发中的最佳实践,感兴趣的朋友一起看看吧... 目录前言一、基础篇:传统for循环1.1 标准语法结构1.2 典型应用场景二、进阶篇:增强型for循环2.

使用Python进行GRPC和Dubbo协议的高级测试

《使用Python进行GRPC和Dubbo协议的高级测试》GRPC(GoogleRemoteProcedureCall)是一种高性能、开源的远程过程调用(RPC)框架,Dubbo是一种高性能的分布式服... 目录01 GRPC测试安装gRPC编写.proto文件实现服务02 Dubbo测试1. 安装Dubb

Go学习记录之runtime包深入解析

《Go学习记录之runtime包深入解析》Go语言runtime包管理运行时环境,涵盖goroutine调度、内存分配、垃圾回收、类型信息等核心功能,:本文主要介绍Go学习记录之runtime包的... 目录前言:一、runtime包内容学习1、作用:① Goroutine和并发控制:② 垃圾回收:③ 栈和

MyBatis设计SQL返回布尔值(Boolean)的常见方法

《MyBatis设计SQL返回布尔值(Boolean)的常见方法》这篇文章主要为大家详细介绍了MyBatis设计SQL返回布尔值(Boolean)的几种常见方法,文中的示例代码讲解详细,感兴趣的小伙伴... 目录方案一:使用COUNT查询存在性(推荐)方案二:条件表达式直接返回布尔方案三:存在性检查(EXI

Android学习总结之Java和kotlin区别超详细分析

《Android学习总结之Java和kotlin区别超详细分析》Java和Kotlin都是用于Android开发的编程语言,它们各自具有独特的特点和优势,:本文主要介绍Android学习总结之Ja... 目录一、空安全机制真题 1:Kotlin 如何解决 Java 的 NullPointerExceptio

Apache 高级配置实战之从连接保持到日志分析的完整指南

《Apache高级配置实战之从连接保持到日志分析的完整指南》本文带你从连接保持优化开始,一路走到访问控制和日志管理,最后用AWStats来分析网站数据,对Apache配置日志分析相关知识感兴趣的朋友... 目录Apache 高级配置实战:从连接保持到日志分析的完整指南前言 一、Apache 连接保持 - 性

mysql中的group by高级用法详解

《mysql中的groupby高级用法详解》MySQL中的GROUPBY是数据聚合分析的核心功能,主要用于将结果集按指定列分组,并结合聚合函数进行统计计算,本文给大家介绍mysql中的groupby... 目录一、基本语法与核心功能二、基础用法示例1. 单列分组统计2. 多列组合分组3. 与WHERE结合使

PyTorch高级特性与性能优化方式

《PyTorch高级特性与性能优化方式》:本文主要介绍PyTorch高级特性与性能优化方式,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录一、自动化机制1.自动微分机制2.动态计算图二、性能优化1.内存管理2.GPU加速3.多GPU训练三、分布式训练1.分布式数据

Spring Boot集成SLF4j从基础到高级实践(最新推荐)

《SpringBoot集成SLF4j从基础到高级实践(最新推荐)》SLF4j(SimpleLoggingFacadeforJava)是一个日志门面(Facade),不是具体的日志实现,这篇文章主要介... 目录一、日志框架概述与SLF4j简介1.1 为什么需要日志框架1.2 主流日志框架对比1.3 SLF4

Spring Boot集成Logback终极指南之从基础到高级配置实战指南

《SpringBoot集成Logback终极指南之从基础到高级配置实战指南》Logback是一个可靠、通用且快速的Java日志框架,作为Log4j的继承者,由Log4j创始人设计,:本文主要介绍... 目录一、Logback简介与Spring Boot集成基础1.1 Logback是什么?1.2 Sprin