Verilog实战:从零构建四种关键触发器

news2026/3/15 16:15:08
1. 触发器数字世界的记忆细胞如果你刚开始接触FPGA和数字电路设计可能会觉得“触发器”这个词听起来有点抽象甚至有点吓人。别担心让我用一个最简单的比喻来解释触发器就是数字电路里的“记忆细胞”。就像我们的大脑能记住上一秒在想什么一样触发器能记住上一个时钟周期时它的数据输入D端是什么值并在下一个时钟边沿把这个值“锁存”并输出。为什么这如此重要因为所有的时序逻辑都建立在“记忆”之上。计数器需要记住当前数到了几状态机需要记住自己处在哪个状态甚至一个简单的流水线也需要记住前一级送来的数据。没有触发器数字电路就失去了“时间”的概念只能做即时的组合逻辑运算。在Vivado这样的FPGA开发工具里当你编写Verilog代码时工具最终会把你的设计“翻译”成由这些基本的触发器以及查找表、布线资源等构成的真实电路。所以透彻理解触发器尤其是FPGA里最常用、可综合的那几种是你从理论迈向实战的基石。原始文章提到了四种Vivado可综合的触发器FDCE, FDPE, FDSE, FDRE。名字看起来像密码其实拆解开来很简单。以FDCE为例F代表Flip-flop触发器D代表D类型C代表Clock Enable时钟使能E代表Asynchronous Clear异步清零。所以这四种触发器本质都是带时钟使能的D触发器核心区别在于它们的置位Set和复位Reset/Clear信号是同步还是异步的。所谓同步就是控制信号必须等到时钟边沿到来时才生效而异步则意味着控制信号一旦有效立即生效完全不用等时钟优先级最高。这个区别直接关系到你电路的上电状态、复位响应速度和设计可靠性是实战中必须搞清楚的第一个关键点。2. 动手之前理解控制信号的“江湖规矩”在撸起袖子写代码之前咱们得先聊聊数字电路设计里的一些“江湖规矩”或者说最佳实践。这些经验之谈能帮你避开很多初学者容易踩的坑写出更稳健、更高效的设计。原始文章里提了几点我结合自己踩过的雷再给你展开说说。第一关于异步与同步的选择。原始文章建议“不要使用异步置位/复位寄存器”。这话说得比较绝对但出发点是对的。异步复位/置位虽然响应快但有个致命问题容易产生“复位毛刺”或“复位移除”问题。想象一下你的异步复位信号在时钟边沿附近释放触发器到底该采样到复位还是正常数据这可能导致触发器输出亚稳态进而导致整个系统行为异常。因此在大多数对可靠性要求高的同步数字系统中全局的同步复位是更推荐的做法。它和时钟同步避免了时序上的冒险。当然异步复位在芯片上电初始化等特定场景仍有其价值但使用时必须非常小心通常会配合“复位同步器”来处理。第二避免同时使用置位和复位。这个很好理解如果置位让输出为1和复位让输出为0同时有效电路该听谁的这会造成逻辑冲突综合工具可能无法推断出你想要的电路或者产生多余的逻辑。一个清晰的电路控制信号应该职责单一。第三控制信号的极性尽量统一为高电平有效。原始文章提到如果使用低电平有效需要额外反相器影响性能。这只是一方面。更关键的是统一为高有效能让代码更易读、团队协作更顺畅。FPGA内部全局复位网络通常也是高有效直接使用可以节省逻辑资源。当然如果外接的物理按键是低有效我们可以在顶层模块做一个取反的适配但在内部核心逻辑里尽量保持高有效。第四也是我特别想补充的一点理解“时钟使能CE”的妙用。时钟使能是高性能、低功耗设计的神器。它不像复位那样粗暴地清零而是优雅地让触发器“保持”当前值。当CE无效时无论D端输入怎么变触发器都维持原状。这可以用来做数据有效标志、模块节电关闭部分电路时钟域时用CE锁住状态等。在接下来的代码里你会看到CE是如何与其他控制信号协同工作的。3. 从零开始构建一个完整的四合一触发器模块好了理论铺垫得差不多了咱们直接上干货。我将带你手把手写一个Verilog模块把FDCE、FDPE、FDSE、FDRE这四种触发器都实现出来并且封装在一起方便你观察和对比。我会先给出完整的代码然后逐段拆解告诉你每一行为什么这么写。timescale 1ns / 1ps module four_flip_flops ( input wire clk, // 全局时钟 input wire rst_n, // 全局低有效复位用于生成测试信号 input wire [3:0] d_in, // 4位数据输入分别给四个触发器 input wire ce, // 全局时钟使能 input wire async_clr,// 异步清零信号用于FDCE input wire async_set,// 异步置位信号用于FDPE input wire sync_set, // 同步置位信号用于FDSE input wire sync_rst, // 同步复位信号用于FDRE output reg [3:0] q_out // 4位输出对应四个触发器的状态 ); // 内部信号声明每个触发器对应一个寄存器 reg q_fdce, q_fdpe, q_fdse, q_fdre; // ------------------------------------------------------------ // 1. FDCE: 带时钟使能和异步清零的D触发器 // ------------------------------------------------------------ always (posedge clk or posedge async_clr) begin if (async_clr) begin // 异步清零只要async_clr为高立即清零无视时钟和CE q_fdce 1b0; end else if (ce) begin // 时钟使能有效时在时钟上升沿采样d_in[0] q_fdce d_in[0]; end // 如果CE无效且异步清零也无效则q_fdce保持原值隐式描述 end // ------------------------------------------------------------ // 2. FDPE: 带时钟使能和异步置位的D触发器 // ------------------------------------------------------------ always (posedge clk or posedge async_set) begin if (async_set) begin // 异步置位只要async_set为高立即置位为1 q_fdpe 1b1; end else if (ce) begin // 时钟使能有效时在时钟上升沿采样d_in[1] q_fdpe d_in[1]; end end // ------------------------------------------------------------ // 3. FDSE: 带时钟使能和同步置位的D触发器 // ------------------------------------------------------------ always (posedge clk) begin if (sync_set) begin // 同步置位仅在时钟上升沿检查如果sync_set为高则置位 q_fdse 1b1; end else if (ce) begin // 时钟使能有效时采样d_in[2] q_fdse d_in[2]; end end // ------------------------------------------------------------ // 4. FDRE: 带时钟使能和同步复位的D触发器 // ------------------------------------------------------------ always (posedge clk) begin if (sync_rst) begin // 同步复位仅在时钟上升沿检查如果sync_rst为高则清零 q_fdre 1b0; end else if (ce) begin // 时钟使能有效时采样d_in[3] q_fdre d_in[3]; end end // 将内部四个触发器的输出组合到输出端口 always (*) begin q_out {q_fdre, q_fdse, q_fdpe, q_fdce}; end endmodule现在我们来拆解关键点。首先看敏感列表这是区分同步异步的关键。FDCE和FDPE的always块敏感列表里除了posedge clk还有posedge async_clr或posedge async_set。这告诉综合工具这些信号是异步的它们的边沿会立即触发块内的逻辑。而FDSE和FDRE的敏感列表只有posedge clk意味着所有操作都严格与时钟同步。再看条件判断的顺序这体现了优先级。对于FDCEif (async_clr)排在第一因为异步清零优先级最高。只有当它为假时才去判断else if (ce)。如果CE为真则执行正常的D端数据采样。如果CE也为假那么这个always块实际上没有给q_fdce赋值根据Verilog的规则寄存器将保持原值这就实现了“CE无效时保持”的功能。这个逻辑顺序非常精妙且重要你不能把ce的判断放在async_clr前面。4. 关键差异深度剖析同步与异步的实战影响写完代码你可能觉得同步和异步不就是always块里多写一个信号的事吗但在真实的硬件行为和电路性能上差别可大了去了。咱们来深入聊聊。首先是行为上的根本区别。我画个简单的思维实验假设时钟在t0时刻有一个上升沿你的异步置位信号async_set在t0之前一点点比如0.1ns从0变1。对于FDPE异步这个置位会立刻生效输出q_fdpe几乎在t0时刻就变成了1。而对于FDSE同步sync_set同样在t0前变高但触发器会等到t0这个时钟边沿才检查它并在t0之后输出才变为1。如果async_set是在t0之后才变高的那么FDPE会在信号变高的瞬间立即置位完全不等下一个时钟而FDSE则会等到t1时刻的时钟边沿。异步控制是“即刻响应”同步控制是“排队等待”。其次是对时序分析的影响。这是工程上的一个关键。同步信号如sync_rst和普通数据信号一样它与时钟之间有建立时间和保持时间的约束。工具可以分析这条路径是否满足时序如果sync_rst来得太晚工具会报时序违规。而异步信号如async_clr则不同它不属于任何时钟域或者说它自己就是一个“域”它到触发器的路径是“虚假路径”。工具默认不检查它的时序因为它一旦有效触发器立即动作理论上没有延迟要求。但这带来了风险如果异步复位信号在时钟边沿附近释放即从有效变无效就可能引发我前面说的亚稳态。因此好的设计需要对异步复位信号进行“同步释放”处理这通常需要额外的电路。最后是资源与可靠性权衡。在FPGA中基本的触发器单元FDCE等是硬核直接支持异步复位/置位。所以使用异步控制并不会消耗额外逻辑资源。但是由于异步信号带来的潜在亚稳态和毛刺问题在复杂的同步系统中人们更倾向于使用同步复位并通过全局时钟网络来驱动复位信号以获得更好的稳定性和可测试性。同步复位在代码描述上可能需要更多的逻辑因为复位条件要写在时钟敏感的always块里但综合工具通常能将其优化映射到触发器的同步控制端实际资源开销并不大。5. 仿真与综合眼见为实的验证环节代码写好了但它到底对不对能不能变成电路我们必须通过仿真和综合来验证。这里我给出一个简单的测试平台Testbench代码你可以用它来观察四种触发器的行为差异。timescale 1ns / 1ps module tb_four_flip_flops(); reg clk; reg rst_n; reg [3:0] d_in; reg ce; reg async_clr, async_set, sync_set, sync_rst; wire [3:0] q_out; // 实例化被测模块 four_flip_flops uut ( .clk(clk), .rst_n(rst_n), .d_in(d_in), .ce(ce), .async_clr(async_clr), .async_set(async_set), .sync_set(sync_set), .sync_rst(sync_rst), .q_out(q_out) ); // 生成时钟周期10ns initial begin clk 0; forever #5 clk ~clk; end // 主测试逻辑 initial begin // 初始化所有信号 rst_n 0; d_in 4b0000; ce 0; async_clr 0; async_set 0; sync_set 0; sync_rst 0; #20; // 等待一段时间 rst_n 1; // 释放复位 // 测试1正常时钟使能下的数据采样 #10; ce 1; d_in 4b1010; // 给四个触发器分别输入1,0,1,0 #10; // 等待一个时钟沿 d_in 4b0101; // 改变输入 #10; // 测试2测试异步清零(FDCE)和异步置位(FDPE) async_clr 1; // 异步清零有效 async_set 1; // 异步置位有效 #3; // 注意这里只过了3ns远小于时钟周期观察异步行为 async_clr 0; async_set 0; #12; // 等到下一个时钟沿 // 测试3测试同步置位(FDSE)和同步复位(FDRE) sync_set 1; sync_rst 1; #7; // 在时钟边沿之前改变同步信号 // 同步信号会在下一个时钟上升沿生效 #10; // 经过一个时钟周期 sync_set 0; sync_rst 0; #10; // 测试4时钟使能CE无效时数据不应被采样 ce 0; d_in 4b1111; // 改变输入但CE0 #20; // 经过两个时钟周期输出应保持不变 $finish; end // 将信号变化记录到VCD文件便于用波形查看器观察 initial begin $dumpfile(wave.vcd); $dumpvars(0, tb_four_flip_flops); end endmodule跑完仿真打开波形图你会看到非常直观的结果。重点关注async_clr/set和sync_set/rst生效的时刻。异步信号几乎是在你给它的瞬间输出q_out的相应位就改变了完全独立于时钟边沿。而同步信号则“规规矩矩”地等到下一个时钟上升沿输出才变化。同时你也能验证当ce0时无论d_in怎么跳输出都保持不变。接下来是综合。在Vivado里创建工程把我们的four_flip_flops模块设为顶层然后直接点击“综合”。综合完成后打开综合后的原理图或者查看“Utilization Report”资源利用率报告。你大概率会看到四个独立的FD*E触发器被实例化出来。更进阶一点你可以打开“Schematic”视图看看工具具体把它们映射成了哪个原语Primitive。你还可以尝试修改代码比如把某个异步信号的条件判断顺序弄错看看综合工具会不会给出警告或推断出不一样的结构。通过这种“代码-行为-电路”的三角验证你对触发器的理解就从书本概念真正落地为工程实践了。6. 避坑指南与进阶思考根据我多年的项目经验新手在用Verilog描述触发器时最容易出问题的地方不是语法而是对硬件行为的理解偏差。这里集中列几个“坑点”和应对策略。坑点一不完整的敏感列表。这是老生常谈但永不过时的问题。描述组合逻辑用always (*)描述时序逻辑用always (posedge clk)或always (posedge clk or posedge rst)。千万不要在时序逻辑的敏感列表里漏掉异步控制信号否则综合前的仿真行为级仿真可能看起来对但综合后的仿真门级仿真或实际硬件行为会出错因为仿真器不会在异步信号变化时触发该always块。坑点二对“保持”行为的误解。很多初学者会问“我想让触发器在CE无效时保持是不是要写else q q;” 答案是不要写就像我们代码里展示的只需要用if-else if结构确保在CE无效时没有给寄存器赋值的语句即可。Verilog会推断出“保持”的硬件行为。多写一句else q q;虽然仿真结果一样但可能会让综合工具困惑甚至推断出一个带反馈的多路选择器而不是触发器本身的保持功能这既不直观也浪费资源。坑点三复位值与上电初始值。在FPGA中触发器的初始值上电后的值可以通过在声明寄存器时初始化来设定例如reg q_fdce 1‘b0;。但请注意这只是仿真时的初始值并且部分FPGA在配置时也能将其写入。然而可靠的硬件设计绝不能依赖于此。一个健壮的系统必须有一个明确的复位信号无论是同步还是异步将电路带入一个确定的初始状态。你的复位逻辑所设置的值才是电路在正常工作后每次复位生效时所进入的状态。进阶思考时钟使能的高阶用法。时钟使能不仅仅是开关。在低功耗设计中我们经常用CE来“门控”时钟。当一大组触发器暂时不需要工作时可以关闭它们的CE这样这些触发器的D端变化就不会被采样其输出保持恒定从而减少了后面组合逻辑的开关活动降低了动态功耗。在一些高性能设计中CE还可以用来实现“脉冲吞食”进行时钟分频。例如一个每4个时钟周期有效一次的CE相当于实现了4分频但比直接用分频后的时钟去驱动触发器能获得更好的时钟质量和时序特性。最后再提一点关于代码风格。我们的示例模块为了教学清晰把四种触发器写在了同一个模块里。在实际项目中一个模块通常只实现一种特定的功能。例如一个需要异步复位的计数器你会专门用一个带异步复位的触发器模块。保持模块功能的单一性有利于复用、调试和团队协作。希望这个从理论到代码再从仿真到硬件的完整旅程能帮你牢牢掌握这四种关键触发器。真正的熟练始于动手。打开Vivado把代码敲进去运行一遍观察波形你会收获更多。

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

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

相关文章

SpringBoot-17-MyBatis动态SQL标签之常用标签

文章目录 1 代码1.1 实体User.java1.2 接口UserMapper.java1.3 映射UserMapper.xml1.3.1 标签if1.3.2 标签if和where1.3.3 标签choose和when和otherwise1.4 UserController.java2 常用动态SQL标签2.1 标签set2.1.1 UserMapper.java2.1.2 UserMapper.xml2.1.3 UserController.ja…

wordpress后台更新后 前端没变化的解决方法

使用siteground主机的wordpress网站,会出现更新了网站内容和修改了php模板文件、js文件、css文件、图片文件后,网站没有变化的情况。 不熟悉siteground主机的新手,遇到这个问题,就很抓狂,明明是哪都没操作错误&#x…

网络编程(Modbus进阶)

思维导图 Modbus RTU(先学一点理论) 概念 Modbus RTU 是工业自动化领域 最广泛应用的串行通信协议,由 Modicon 公司(现施耐德电气)于 1979 年推出。它以 高效率、强健性、易实现的特点成为工业控制系统的通信标准。 包…

UE5 学习系列(二)用户操作界面及介绍

这篇博客是 UE5 学习系列博客的第二篇,在第一篇的基础上展开这篇内容。博客参考的 B 站视频资料和第一篇的链接如下: 【Note】:如果你已经完成安装等操作,可以只执行第一篇博客中 2. 新建一个空白游戏项目 章节操作,重…

IDEA运行Tomcat出现乱码问题解决汇总

最近正值期末周,有很多同学在写期末Java web作业时,运行tomcat出现乱码问题,经过多次解决与研究,我做了如下整理: 原因: IDEA本身编码与tomcat的编码与Windows编码不同导致,Windows 系统控制台…

利用最小二乘法找圆心和半径

#include <iostream> #include <vector> #include <cmath> #include <Eigen/Dense> // 需安装Eigen库用于矩阵运算 // 定义点结构 struct Point { double x, y; Point(double x_, double y_) : x(x_), y(y_) {} }; // 最小二乘法求圆心和半径 …

使用docker在3台服务器上搭建基于redis 6.x的一主两从三台均是哨兵模式

一、环境及版本说明 如果服务器已经安装了docker,则忽略此步骤,如果没有安装,则可以按照一下方式安装: 1. 在线安装(有互联网环境): 请看我这篇文章 传送阵>> 点我查看 2. 离线安装(内网环境):请看我这篇文章 传送阵>> 点我查看 说明&#xff1a;假设每台服务器已…

XML Group端口详解

在XML数据映射过程中&#xff0c;经常需要对数据进行分组聚合操作。例如&#xff0c;当处理包含多个物料明细的XML文件时&#xff0c;可能需要将相同物料号的明细归为一组&#xff0c;或对相同物料号的数量进行求和计算。传统实现方式通常需要编写脚本代码&#xff0c;增加了开…

LBE-LEX系列工业语音播放器|预警播报器|喇叭蜂鸣器的上位机配置操作说明

LBE-LEX系列工业语音播放器|预警播报器|喇叭蜂鸣器专为工业环境精心打造&#xff0c;完美适配AGV和无人叉车。同时&#xff0c;集成以太网与语音合成技术&#xff0c;为各类高级系统&#xff08;如MES、调度系统、库位管理、立库等&#xff09;提供高效便捷的语音交互体验。 L…

(LeetCode 每日一题) 3442. 奇偶频次间的最大差值 I (哈希、字符串)

题目&#xff1a;3442. 奇偶频次间的最大差值 I 思路 &#xff1a;哈希&#xff0c;时间复杂度0(n)。 用哈希表来记录每个字符串中字符的分布情况&#xff0c;哈希表这里用数组即可实现。 C版本&#xff1a; class Solution { public:int maxDifference(string s) {int a[26]…

【大模型RAG】拍照搜题技术架构速览:三层管道、两级检索、兜底大模型

摘要 拍照搜题系统采用“三层管道&#xff08;多模态 OCR → 语义检索 → 答案渲染&#xff09;、两级检索&#xff08;倒排 BM25 向量 HNSW&#xff09;并以大语言模型兜底”的整体框架&#xff1a; 多模态 OCR 层 将题目图片经过超分、去噪、倾斜校正后&#xff0c;分别用…

【Axure高保真原型】引导弹窗

今天和大家中分享引导弹窗的原型模板&#xff0c;载入页面后&#xff0c;会显示引导弹窗&#xff0c;适用于引导用户使用页面&#xff0c;点击完成后&#xff0c;会显示下一个引导弹窗&#xff0c;直至最后一个引导弹窗完成后进入首页。具体效果可以点击下方视频观看或打开下方…

接口测试中缓存处理策略

在接口测试中&#xff0c;缓存处理策略是一个关键环节&#xff0c;直接影响测试结果的准确性和可靠性。合理的缓存处理策略能够确保测试环境的一致性&#xff0c;避免因缓存数据导致的测试偏差。以下是接口测试中常见的缓存处理策略及其详细说明&#xff1a; 一、缓存处理的核…

龙虎榜——20250610

上证指数放量收阴线&#xff0c;个股多数下跌&#xff0c;盘中受消息影响大幅波动。 深证指数放量收阴线形成顶分型&#xff0c;指数短线有调整的需求&#xff0c;大概需要一两天。 2025年6月10日龙虎榜行业方向分析 1. 金融科技 代表标的&#xff1a;御银股份、雄帝科技 驱动…

观成科技:隐蔽隧道工具Ligolo-ng加密流量分析

1.工具介绍 Ligolo-ng是一款由go编写的高效隧道工具&#xff0c;该工具基于TUN接口实现其功能&#xff0c;利用反向TCP/TLS连接建立一条隐蔽的通信信道&#xff0c;支持使用Let’s Encrypt自动生成证书。Ligolo-ng的通信隐蔽性体现在其支持多种连接方式&#xff0c;适应复杂网…

铭豹扩展坞 USB转网口 突然无法识别解决方法

当 USB 转网口扩展坞在一台笔记本上无法识别,但在其他电脑上正常工作时,问题通常出在笔记本自身或其与扩展坞的兼容性上。以下是系统化的定位思路和排查步骤,帮助你快速找到故障原因: 背景: 一个M-pard(铭豹)扩展坞的网卡突然无法识别了,扩展出来的三个USB接口正常。…

未来机器人的大脑:如何用神经网络模拟器实现更智能的决策?

编辑&#xff1a;陈萍萍的公主一点人工一点智能 未来机器人的大脑&#xff1a;如何用神经网络模拟器实现更智能的决策&#xff1f;RWM通过双自回归机制有效解决了复合误差、部分可观测性和随机动力学等关键挑战&#xff0c;在不依赖领域特定归纳偏见的条件下实现了卓越的预测准…

Linux应用开发之网络套接字编程(实例篇)

服务端与客户端单连接 服务端代码 #include <sys/socket.h> #include <sys/types.h> #include <netinet/in.h> #include <stdio.h> #include <stdlib.h> #include <string.h> #include <arpa/inet.h> #include <pthread.h> …

华为云AI开发平台ModelArts

华为云ModelArts&#xff1a;重塑AI开发流程的“智能引擎”与“创新加速器”&#xff01; 在人工智能浪潮席卷全球的2025年&#xff0c;企业拥抱AI的意愿空前高涨&#xff0c;但技术门槛高、流程复杂、资源投入巨大的现实&#xff0c;却让许多创新构想止步于实验室。数据科学家…

深度学习在微纳光子学中的应用

深度学习在微纳光子学中的主要应用方向 深度学习与微纳光子学的结合主要集中在以下几个方向&#xff1a; 逆向设计 通过神经网络快速预测微纳结构的光学响应&#xff0c;替代传统耗时的数值模拟方法。例如设计超表面、光子晶体等结构。 特征提取与优化 从复杂的光学数据中自…