【从零构建】~ 加法器的数字逻辑与Verilog实现

程序员道道

1. 从开关到加法器:数字逻辑的奇妙旅程

记得我第一次接触数字电路时,看着那些密密麻麻的门电路图就头疼。直到有一天导师拿着两个开关和一个灯泡对我说:"这就是最基础的数字逻辑"。确实,计算机世界里最复杂的运算,本质上都是由与、或、非这些基本门电路组合而成的。今天我们就从最基础的加法器开始,用Verilog这把"钥匙"打开数字电路设计的大门。

加法器是CPU算术逻辑单元(ALU)的核心组件,从8位单片机到64位服务器CPU都离不开它。理解加法器的工作原理,不仅能帮我们掌握组合逻辑设计方法,更是学习FPGA开发的绝佳起点。我会带着大家用"真值表→逻辑表达式→门电路→Verilog代码"的标准设计流程,完整实现半加器和全加器。过程中你还会看到,如何用两个半加器"拼"出一个全加器——这种模块化思想在复杂IC设计中至关重要。

2. 半加器:加法器的"细胞单元"

2.1 真值表:逻辑设计的罗塞塔石碑

半加器(Half Adder)之所以叫"半",是因为它只能处理单比特加法而不考虑进位输入。就像小学生刚学加法时还不会处理"进位到十位"的情况。我们先列出它的真值表:

A (输入) B (输入) Sum (和) Cout (进位)
0 0 0 0
0 1 1 0
1 0 1 0
1 1 0 1

观察Sum列,是不是很像"相同为0,不同为1"的异或(XOR)逻辑?而Cout列则是标准的与(AND)操作。这引出了半加器的核心表达式:

  • Sum = A ⊕ B (异或)
  • Cout = A · B (与)

2.2 门电路实现:用乐高积木搭数字世界

根据上述表达式,我们可以用基本门电路搭建硬件实现:

code复制A ────┐
      XOR ─── Sum
B ────┘

A ────┐
      AND ─── Cout
B ────┘

在面包板上实际搭建这个电路时,建议使用74系列芯片:74LS86(四路异或)和74LS08(四路与门)。连接电源和地线后,用拨码开关作为输入A/B,LED灯显示Sum/Cout,你会直观看到1+1=10(二进制)的运算过程。

2.3 Verilog实现:硬件描述的艺术

用Verilog描述这个电路简直像写伪代码一样简单:

verilog复制module add_half(
    input  A,
    input  B,
    output S,
    output C
);
    assign S = A ^ B;  // 异或运算
    assign C = A & B;  // 与运算
endmodule

测试时可以用以下testbench代码:

verilog复制initial begin
    A=0; B=0; #10;
    A=0; B=1; #10;
    A=1; B=0; #10;
    A=1; B=1; #10;
    $finish;
end

在ModelSim中运行后,你会看到波形图完美复现真值表。这就是硬件描述语言的魅力——用代码"画"出电路。

3. 全加器:考虑进位的完整加法单元

3.1 引入第三输入:进位链的形成

半加器的局限在于无法处理进位输入,就像不会做竖式加法。全加器(Full Adder)通过增加进位输入Cin解决了这个问题,其真值表如下:

A B Cin Sum Cout
0 0 0 0 0
0 0 1 1 0
0 1 0 1 0
0 1 1 0 1
1 0 0 1 0
1 0 1 0 1
1 1 0 0 1
1 1 1 1 1

观察Sum列,发现当三个输入中1的个数为奇数时Sum=1,这提示我们可以用三级异或实现:
Sum = A ⊕ B ⊕ Cin

而Cout的逻辑是:当至少两个输入为1时产生进位。用与或表达式表示为:
Cout = (A&B) | (A&Cin) | (B&Cin)

3.2 门电路实现:复杂度显著提升

全加器的门级实现需要更多元件:

code复制A ────┐
      XOR ───┬── XOR ─── Sum
B ────┘     │
            Cin

A ────┐
      AND ───┐
B ────┘     │
             OR ─── Cout
A ────┐     │
      AND ───┘
Cin ──┘

B ────┐
      AND ───┘
Cin ──┘

实际布线时会发现需要3个与门和1个或门。在FPGA中,这些逻辑会被映射到查找表(LUT)资源上。

3.3 Verilog实现:简洁的硬件描述

verilog复制module add_full(
    input  A,
    input  B,
    input  Cin,
    output S,
    output Cout
);
    assign S = A ^ B ^ Cin;
    assign Cout = (A&B) | (A&Cin) | (B&Cin);
endmodule

进阶技巧:可以用位拼接运算符优化Cout逻辑:

verilog复制assign Cout = (A+B+Cin) > 1;  // 当和大于1时产生进位

4. 模块化设计:用半加器构建全加器

4.1 电路设计:乐高式的组合逻辑

全加器可以分解为两个半加器和一个或门:

  1. 第一个半加器处理A和B,得到部分和S1及进位C1
  2. 第二个半加器处理S1和Cin,得到最终和Sum及进位C2
  3. 用或门合并C1和C2得到最终进位Cout

这种设计展示了数字电路的重要思想——层次化设计。就像用基础积木搭建复杂结构,在芯片设计中这种思想被广泛应用。

4.2 Verilog实现:实例化与互连

verilog复制module add_full_using_half(
    input  A,
    input  B,
    input  Cin,
    output S,
    output Cout
);
    wire S1, C1, C2;
    
    add_half HA1(.A(A), .B(B), .S(S1), .C(C1));
    add_half HA2(.A(S1), .B(Cin), .S(S), .C(C2));
    
    assign Cout = C1 | C2;
endmodule

这里我们实例化了两个半加器模块,通过内部连线(wire)将它们连接起来。注意实例化时的端口映射方式:.A(A)表示将模块的A端口连接到当前模块的A信号。

5. 从1位到多位:加法器的扩展应用

5.1 行波进位加法器:最直观的扩展方式

将多个全加器串联,前一级的Cout连接下一级的Cin,就构成了n位行波进位加法器(Ripple Carry Adder)。虽然结构简单,但进位信号需要逐级传递,导致延迟随位数线性增加。

verilog复制module adder_4bit(
    input  [3:0] A,
    input  [3:0] B,
    output [3:0] Sum,
    output Cout
);
    wire [2:0] carry;
    
    add_full FA0(.A(A[0]), .B(B[0]), .Cin(1'b0), .S(Sum[0]), .Cout(carry[0]));
    add_full FA1(.A(A[1]), .B(B[1]), .Cin(carry[0]), .S(Sum[1]), .Cout(carry[1]));
    add_full FA2(.A(A[2]), .B(B[2]), .Cin(carry[1]), .S(Sum[2]), .Cout(carry[2]));
    add_full FA3(.A(A[3]), .B(B[3]), .Cin(carry[2]), .S(Sum[3]), .Cout(Cout));
endmodule

5.2 超前进位加法器:性能优化的经典方案

工业级CPU中使用的是超前进位加法器(Carry Lookahead Adder),通过并行计算进位信号显著提升速度。其核心思想是提前计算所有位的进位,而不是等待前一级的进位结果。

verilog复制// 简化版的4位CLA实现
module cla_4bit(
    input  [3:0] A,
    input  [3:0] B,
    output [3:0] Sum,
    output Cout
);
    wire [3:0] G = A & B;  // 生成信号
    wire [3:0] P = A | B;  // 传播信号
    
    wire [3:0] C;
    assign C[0] = G[0] | (P[0] & 1'b0);
    assign C[1] = G[1] | (P[1] & G[0]);
    assign C[2] = G[2] | (P[2] & G[1]) | (P[2] & P[1] & G[0]);
    assign C[3] = G[3] | (P[3] & G[2]) | (P[3] & P[2] & G[1]) | (P[3] & P[2] & P[1] & G[0]);
    assign Cout = C[3];
    
    assign Sum = A ^ B ^ {C[2:0], 1'b0};
endmodule

6. 实战技巧与常见问题

6.1 时序约束与关键路径分析

在FPGA实现时,需要用时序约束指导工具优化。例如在Vivado中:

tcl复制create_clock -period 10 [get_ports clk]
set_input_delay 2 -clock clk [all_inputs]
set_output_delay 1 -clock clk [all_outputs]

对于行波进位加法器,关键路径是进位链。可以通过寄存器打拍或流水线设计提高时钟频率。

6.2 验证策略:从仿真到硬件测试

完善的验证流程包括:

  1. 功能仿真:用testbench验证所有输入组合
  2. 时序仿真:加入器件延迟模型
  3. 板级测试:用逻辑分析仪抓取真实信号

推荐使用SystemVerilog编写更强大的测试用例:

systemverilog复制initial begin
    for (int i=0; i<8; i++) begin
        {A,B,Cin} = i;
        #10;
        assert ({Cout,Sum} === A+B+Cin) else $error("Test failed");
    end
end

6.3 面积与速度的权衡

在资源受限的FPGA设计中,需要根据需求选择加法器实现方式:

  • 面积优先:行波进位加法器
  • 速度优先:超前进位加法器
  • 折中方案:分组超前进位(如4位CLA组间行波进位)

在Xilinx FPGA中,一个有趣的现象是:综合工具可能把加法运算符(+)自动优化为DSP48模块,这有时比LUT实现更高效。可以通过以下方式控制:

verilog复制(* use_dsp48 = "no" *) wire [7:0] sum = a + b;

内容推荐

从零搭建AFM数据处理流水线:基于Bruker MATLAB工具箱与MinGW-w64的自动化方案
本文详细介绍了如何从零搭建AFM数据处理流水线,基于Bruker MATLAB工具箱与MinGW-w64实现自动化方案。通过环境配置、批量处理框架设计和性能优化技巧,帮助研究人员高效处理大量.spm数据文件,提取粘附力、杨氏模量等特征参数,显著提升AFM数据分析效率。
R语言PCA实战:从数据降维到结果解读全流程解析
本文详细解析了R语言中PCA(主成分分析)的全流程实战,从数据降维到结果解读。通过基因表达矩阵的案例,介绍了PCA在生物信息学中的应用,包括样本差异可视化、异常值检测和维度灾难缓解。文章还提供了R语言代码示例和可视化技巧,帮助读者快速掌握PCA的核心计算步骤和深度解读方法。
NX二次开发 Qt界面集成实战:从环境配置到DLL部署的避坑指南
本文详细介绍了NX二次开发中Qt界面集成的实战经验,从环境配置到DLL部署的全流程避坑指南。重点解析了版本兼容性、项目创建模板选择、关键代码实现及DLL部署技巧,帮助开发者高效完成NX与Qt的界面集成,提升开发效率。
【QtScrcpy】开源投屏利器:从零搭建安卓设备高效管理平台
本文详细介绍了开源投屏工具QtScrcpy的功能与使用方法,帮助用户高效管理安卓设备。从环境搭建到多设备控制,再到高阶功能如键鼠映射和文件传输,QtScrcpy为开发者、测试人员和普通用户提供了全面的解决方案。文章还涵盖了性能调优和常见问题排查,确保流畅体验。
保姆级避坑指南:在Ubuntu 21.04上搞定USRP X410与Gnuradio 3.9的完整开发环境
本文提供了一份详细的Ubuntu 21.04下配置USRP X410与Gnuradio 3.9开发环境的指南,涵盖UHD驱动编译、网络配置、Gnuradio安装及故障排查等关键步骤,帮助开发者高效搭建软件无线电开发平台。
科研党必看:用Zotfile+ZoteroQuickLook打造丝滑的文献管理体验(附Windows 11配置避坑指南)
本文为科研人员详细介绍了如何利用Zotfile和ZoteroQuickLook插件优化Zotero文献管理流程,特别针对Windows 11环境提供配置指南和避坑建议。通过自动重命名PDF、快速预览文献等功能,帮助用户高效处理海量科研文献,提升研究效率。
从零到一:KEPServerEX OPC Server的部署与工业数据连接实战
本文详细介绍了KEPServerEX OPC Server的部署与工业数据连接实战,包括安装指南、仿真环境搭建、PLC通讯配置及高级数据路由技巧。通过实际案例分享,帮助工程师快速掌握这一工业数据连接桥梁的使用方法,提升工业自动化系统的数据采集与处理效率。
STM32CubeIDE实战:用HAL库驱动24位ADS1256,搞定高精度电压测量(附完整代码)
本文详细介绍了如何使用STM32CubeIDE和HAL库驱动24位ADS1256模数转换器实现高精度电压测量。从硬件准备、CubeMX配置到SPI通信实现,提供了完整的代码示例和调试技巧,帮助工程师快速解决工业测量中的实际问题。
告别UNKNOWN!为你的App获取Android设备序列号的三种实战方案(含非Root思路)
本文详细介绍了在Android 11及以上版本中获取设备序列号的三种实战方案,包括系统级源码修改、应用层替代方案和企业级MDM解决方案。针对隐私合规要求,特别提供了非Root环境下的组合标识策略和中国区特色OAID方案,帮助开发者解决设备标识获取难题。
牧场物语矿石镇的伙伴们:从零开始的四季高效农场经营指南
本文详细介绍了《牧场物语矿石镇的伙伴们》四季高效农场经营策略,从春季开局到冬季规划,涵盖作物选择、动物饲养、节日活动和工具升级等核心内容。特别推荐夏季种植菠萝作为利润爆发点,并提供了诅咒工具获取和解除的实用技巧,帮助玩家在第一年实现收益最大化。
假数据仓库-高频数据枚举实战(日期格式化、时间切片、Excel列号生成)
本文详细介绍了假数据仓库在高频数据枚举中的实战应用,包括日期格式化、时间切片和Excel列号生成等核心技巧。通过JavaScript代码示例展示了如何高效生成带前导零的日期、按分钟间隔划分的时间点以及Excel风格的列号,帮助开发者快速构建测试数据,提升开发效率。特别强调了数据缓存和按需生成等性能优化策略。
OpenGL/OpenGLES错误排查实战:glGetError的循环调用与常见错误码解析
本文深入解析OpenGL/OpenGLES开发中glGetError的循环调用机制与常见错误码,帮助开发者高效排查渲染问题。通过实战案例详细讲解GL_INVALID_ENUM、GL_INVALID_VALUE等错误码的成因与解决方案,并分享帧缓冲配置、着色器编译等关键环节的调试技巧,提升图形编程的排错效率。
英伟达技术面试核心考点与实战解析
本文深入解析英伟达技术面试的核心考点与实战技巧,涵盖C/C++、Python编程语言、算法与数据结构、操作系统等关键领域。通过典型面试题示例,如内存对齐、多线程同步、Python装饰器等,帮助求职者掌握英伟达面试的考察重点与解题思路,提升技术面试通过率。
LibTorch + TorchVision编译踩坑全记录:从‘Python3::Python not found’到‘channel_shuffle ambiguous’的解决方案
本文详细记录了LibTorch与TorchVision编译过程中的常见问题及解决方案,从环境配置到疑难解析。涵盖Python开发环境设置、版本匹配、CMake配置优化,以及解决'Python3::Python not found'和'channel_shuffle ambiguous'等典型错误,帮助开发者高效完成深度学习模型的C++部署。
告别计算瓶颈:用EAA注意力机制在移动端部署Transformer模型(附SwiftFormer代码)
本文详细介绍了ICCV 2023提出的EAA注意力机制及其在移动端部署Transformer模型中的应用,特别是与SwiftFormer架构的结合。EAA通过降低计算复杂度至O(n),显著提升了移动设备的推理效率和内存利用率,同时保持模型精度。文章还提供了实战部署技巧和性能对比分析,帮助开发者克服移动端Transformer部署的挑战。
别再傻傻查Web of Science了!我整理了这份超全的SCI期刊缩写对照表(附Excel下载)
本文提供了科研期刊缩写管理的全面解决方案,帮助研究者告别手工查询的低效方式。通过智能爬虫系统、动态缩写库构建和科研工作流整合,大幅提升文献处理效率,特别适合需要频繁核对SCI期刊缩写的研究者。附赠超全的SCI期刊缩写对照表Excel下载,助您科研无忧。
Android屏幕旋转数据不丢失?ViewModel + LiveData实战避坑指南
本文深入解析Android开发中ViewModel与LiveData的组合使用,解决屏幕旋转等配置变更导致的数据丢失问题。通过对比传统方案,详细讲解ViewModel的生命周期管理、LiveData的高级技巧及复杂场景下的最佳实践,帮助开发者构建更健壮的Android应用。
保姆级教程:用SNAP搞定RadarSat-2极化SAR数据预处理(附完整流程与参数设置)
本文提供了一份详细的RadarSat-2极化SAR数据预处理教程,使用SNAP软件完成从数据导入到地形校正的全流程操作。涵盖轨道校正、辐射定标、多视处理等关键步骤,特别适合遥感专业学生和工程师快速上手。教程包含完整参数设置和常见问题解决方案,帮助用户高效处理极化SAR数据。
避开Cadence STB分析里的那些“坑”:基于环路 vs. 基于器件,你的选择对了吗?
本文深入探讨Cadence STB稳定性分析中基于环路与基于器件两种方法的本质差异与应用场景。通过对比算法原理、典型案例分析和决策流程,帮助工程师避免常见误判,正确选择分析方法以确保电路设计稳定性。特别针对复杂反馈系统,提供了实用的交叉验证策略和混合分析技巧。
别再傻傻分不清!OBW、IBW、RBW、VBW,5分钟搞懂频谱仪和5G基站里的那些‘带宽’
本文深入解析射频工程中OBW、IBW、RBW、VBW四大带宽概念,帮助工程师快速掌握频谱仪和5G基站测试中的关键参数设置。通过实战案例和典型场景分析,详细说明各带宽的定义、应用及协同关系,避免常见误区,提升测试效率与准确性。
已经到底了哦
精选内容
热门内容
最新内容
从网格到无网格:原子范数最小化如何重塑压缩感知
本文探讨了原子范数最小化在压缩感知领域的革命性应用,突破了传统网格方法的精度限制。通过对比OMP算法与原子范数在DOA估计中的表现,展示了后者在连续参数空间处理上的优势,以及在实际工程中的显著性能提升。文章还分享了正则化参数选择和计算加速的实用技巧,并展望了原子范数在医学成像、量子传感等新兴领域的应用前景。
PyTorch模型参数不更新?检查一下你是不是没用nn.ModuleList
本文探讨了PyTorch模型参数不更新的常见问题,指出使用普通Python列表存储nn.Linear层会导致参数无法正确注册和更新。通过对比错误示范和正确使用nn.ModuleList的方法,详细解释了PyTorch的模块注册机制,并提供了诊断工具和解决方案,帮助开发者避免这一常见陷阱。
从攻击者视角看防御:一次Metasploit对Win10的“模拟攻击”教会我的安全配置
本文通过Kali Linux和Metasploit对Windows 10的模拟攻击,揭示了系统安全防御的常见盲区。从攻击者视角拆解攻击链,提供了包括AppLocker配置、网络加固、UAC优化等实用防御方案,帮助用户构建更安全的Windows 10环境。
Frida 脚本开发效率倍增器:配置与实战自动补全
本文详细介绍了如何通过配置Frida脚本开发环境实现代码自动补全,大幅提升逆向工程效率。从基础环境搭建到实战应用,涵盖类型定义安装、VS Code配置技巧,以及如何利用自动补全快速定位和Hook目标方法,帮助开发者避免常见错误并优化工作流程。
H264码流SEI字段实战:从零封装自定义数据到精准插入
本文深入解析H264码流中SEI字段的实战应用,从基础认知到二进制结构剖析,详细指导如何封装自定义数据并精准插入视频流。通过C++代码示例演示SEI封装实现,分享帧类型识别、插入时机选择等关键技巧,确保解码兼容性。适用于视频监控、传感器数据同步等需要嵌入元数据的场景。
STM32启动文件移植避坑指南:从MDK换到GCC(VSCode+STM32CubeIDE),你的startup.s和.ld文件该怎么改?
本文详细解析了STM32项目从MDK迁移到GCC工具链时启动文件移植的关键步骤和常见问题。重点对比了MDK的`.s`文件与GCC的`.ld`链接脚本和`.S`汇编文件的差异,提供了堆栈配置、向量表处理和数据初始化的具体实现方法,并分享了调试技巧和性能优化建议,帮助开发者高效完成移植工作。
从LevelDB到RocksDB:一个存储引擎的进化史与LSM-Tree的实战选择
本文深入探讨了从LevelDB到RocksDB的存储引擎演进历程,重点分析了LSM-Tree架构的实战应用与优化策略。RocksDB通过多线程Compaction、动态内存管理和多样化Compaction策略等架构突破,显著提升了大规模生产环境中的性能与适应性,成为现代分布式系统的核心存储引擎。
从VS Code终端到一键编译:打造你的Windows版ESP-IDF高效开发工作流
本文详细介绍了如何在Windows平台上使用VS Code与ESP-IDF工具链打造高效的ESP32开发工作流。从自动化环境配置、多芯片项目管理到一键编译调试,提供了完整的解决方案和优化技巧,帮助开发者显著提升嵌入式开发效率。特别针对ESP32、ESP32-S2等芯片的配置管理进行了深入讲解。
System Verilog进阶指南:虚接口(virtual interface)在验证平台中的核心作用
本文深入探讨System Verilog中虚接口(virtual interface)在验证平台中的核心作用,解析其作为硬件与软件桥梁的工作原理。通过实际案例展示虚接口如何实现验证组件与具体接口的解耦,提升验证环境的灵活性和可重用性,并分享高级应用技巧与常见陷阱的解决方案。
从零到一:手把手教你用TensorFlow 2复现BiseNetv2,并在Cityscapes数据集上实现语义分割
本文详细介绍了如何使用TensorFlow 2从零开始复现轻量级网络BiseNetv2,并在Cityscapes数据集上实现高效的语义分割。通过解析BiseNetv2的双边结构设计、特征融合技术以及实战训练策略,帮助开发者掌握轻量级语义分割模型的实现与优化技巧,适用于移动设备和边缘计算场景。