1. 项目概述为什么是Yosys如果你在数字电路设计或者FPGA开发的圈子里待过一阵子大概率会听到过Yosys这个名字。它不是一个商业EDA工具没有华丽的图形界面也没有动辄几十万美金的授权费但它却实实在在地在开源硬件和学术研究领域掀起了一场不小的风暴。简单来说Yosys是一个开源的、用于数字逻辑综合的框架。所谓“综合”就是把我们人类工程师用硬件描述语言比如Verilog写的“行为级”或“寄存器传输级”代码转换成由基本逻辑门与门、或门、非门等和触发器构成的“门级网表”。这是芯片和FPGA设计流程中承上启下的关键一步。我第一次接触Yosys是因为一个需要快速验证想法的个人项目。商业工具要么太贵要么流程太笨重一个简单的设计从编写到仿真再到综合环境配置就能耗掉半天。Yosys的出现就像一把瑞士军刀轻巧、直接、完全由命令行驱动让你能清晰地看到代码是如何一步步被“编译”成电路的。它可能没有商业工具那些针对先进工艺的深度优化但对于学习数字电路原理、进行算法硬件加速的原型验证或者为开源项目比如RISC-V CPU构建工具链来说Yosys几乎是目前最成熟、最活跃的选择。它让你能穿透商业工具的“黑箱”真正理解从代码到硬件的转换过程这对于夯实基础、排查诡异的设计问题有不可估量的价值。2. Yosys的核心架构与工作流拆解要高效使用一个工具绝不能把它当黑盒子。Yosys的架构设计非常“Unix哲学”一个核心引擎配合一系列可插拔的“Pass”可以理解为处理步骤或插件。整个综合过程就是一系列Pass按顺序对设计进行处理和转换。2.1 核心概念RTLIL与Pass机制Yosys内部使用一种叫做RTLILRegister Transfer Level Intermediate Language的中间表示来存储和操作电路。当你用read_verilog命令读入一个Verilog文件时Yosys并不是直接处理Verilog文本而是先将其解析、转换成RTLIL这种内部数据结构。之后所有的优化、转换操作都是在RTLIL上进行的。这种设计的好处是不同的前端支持Verilog、SystemVerilog的部分子集和后端输出网表到不同格式可以独立开发而核心的优化算法只需针对RTLIL实现。Pass是Yosys的工作单元。每一个Pass完成一个特定的任务比如proc将Verilog中的always块和initial块转换为RTLIL中的进程表示。opt进行通用的逻辑优化比如合并常数、消除冗余逻辑。fsm提取和优化有限状态机。techmap将抽象的RTLIL单元映射到目标工艺库的具体门电路上。你可以通过Yosys交互式命令行像搭积木一样顺序执行这些Pass构建出完整的综合流程。一个典型的基础综合脚本可能长这样read_verilog - hierarchy -check - proc - opt - fsm - opt - memory - opt - techmap - opt - write_verilog。理解每个Pass的作用是手动调优综合结果的基础。2.2 标准综合流程全景一个完整的、面向通用标准单元库的综合流程在Yosys中可以分为几个清晰的阶段前端读取与展开使用read_verilog读取设计文件hierarchy命令根据顶层模块名确立层次结构并检查模块实例化是否正确。高层次转换procPass将行为级描述转换为RTLIL网络。memoryPass将声明的存储器如reg [31:0] mem [0:1023]推断为具体的寄存器组或RAM宏单元模型。逻辑优化与映射准备反复调用opt进行组合逻辑优化。fsmPass识别状态机并进行编码优化如二进制编码转One-hot编码。这一步还是在与工艺无关的层面进行。工艺映射这是关键一步。techmapPass根据提供的工艺库文件.lib或JSON格式将通用的RTLIL逻辑单元如逻辑与、或、非以及触发器映射到该工艺库中实际存在的、有具体面积、时序、功耗信息的标准单元例如NAND2X1, DFFSRHQX1等。映射后优化映射后电路结构固定了但仍有优化空间比如合并连续的缓冲器、移除未连接的单元可以再次使用opt进行清理。输出结果最后使用write_verilog输出映射后的门级网表或者用show命令生成电路结构图进行可视化。注意Yosys默认不包含任何商业工艺库。你需要从晶圆厂或FPGA厂商那里获取库文件通常是Liberty格式.lib并使用abcPass调用ABC工具或synth系列命令进行映射。对于FPGAYosys通常有直接面向特定FPGA架构如Lattice iCE40, ECP5的综合流程无需单独的.lib文件。3. 从安装到第一个综合实例理论说了不少现在我们来点实际的。Yosys的安装已经比早年方便了很多。3.1 在不同系统上安装YosysLinux (Ubuntu/Debian)是最简单的通常有预编译的包sudo apt update sudo apt install yosys安装后在终端输入yosys即可启动交互环境。macOS可以通过Homebrew安装brew install yosysWindows和从源码编译稍微复杂一点。Windows用户可以去Yosys的GitHub发布页下载预编译的.exe文件。从源码编译则能获得最新特性需要安装构建依赖如gcc, make, bison, flex, libreadline等然后克隆仓库执行make和sudo make install。安装完成后在终端输入yosys你会看到Yosys的版本信息和提示符变成yosys这说明你已经进入了Yosys的交互式命令行环境。3.2 第一个实战综合一个简单的计数器让我们用一个最简单的4位二进制计数器作为例子走通整个流程。首先创建一个名为counter.v的Verilog文件module counter ( input wire clk, input wire rst_n, output reg [3:0] count ); always (posedge clk or negedge rst_n) begin if (!rst_n) begin count 4b0; end else begin count count 1b1; end end endmodule然后我们编写一个Yosys脚本文件synth.ys。虽然可以在交互命令行里一条条输入命令但使用脚本文件更利于复用和版本管理。# synth.ys - 综合计数器脚本 read_verilog counter.v # 读取设计文件 hierarchy -check -top counter # 指定顶层模块为counter并检查层次结构 proc # 处理always块转换成逻辑网络 opt # 执行逻辑优化 show -format png -prefix counter_pre_synth # 生成优化前的电路图 synth -run coarse # 执行粗略综合适用于FPGA流这里仅为演示 abc -g AND,OR,NOT # 使用ABC工具映射到与或非门简单示例 opt # 映射后再优化 show -format png -prefix counter_post_synth # 生成综合后的电路图 write_verilog counter_synth.v # 输出门级网表 stat # 打印设计统计信息在终端中使用以下命令运行这个脚本yosys synth.ysYosys会依次执行脚本中的命令。你会看到终端输出一系列信息包括模块信息、优化报告。最关键的是最后stat命令的输出它会告诉你设计用了多少根信号线、多少个逻辑单元比如几个触发器几个逻辑门。执行后你会得到两个文件counter_synth.v综合后的门级网表。打开看看你会发现原来的always块不见了取而代之的是具体的$_DFF_PN0_一个带异步低电平复位端的D触发器和$add等单元以及由基本门电路构成的加法逻辑。counter_pre_synth.png和counter_post_synth.png分别是综合前和综合后的电路结构图。通过对比你能直观地看到高层次描述被“打平”和优化成了门级电路。实操心得第一次运行时可能会因为show命令报错提示找不到dot命令。这是因为show依赖Graphviz来生成图片。你需要安装Graphvizsudo apt install graphviz或brew install graphviz。如果只是想要网表可以注释掉show命令。4. 核心命令与脚本编写深度解析掌握了基本流程后我们需要更深入地了解那些核心命令以及如何编写更健壮、更复杂的综合脚本。4.1 必须掌握的核心命令集设计读取与管理read_verilog file.v 读取Verilog文件。支持-I 路径指定include文件目录。hierarchy [-check] [-top top_module] 建立设计层次。强烈建议始终使用-check它能提前发现实例化模块未定义等常见错误。用-top明确指定顶层模块避免歧义。design -save name/design -load name 保存和加载当前设计状态。这在探索不同综合策略时非常有用不用每次都从头开始解析。综合与优化synth 这是一个“宏命令”它内部按顺序调用了一系列Pass来完成针对特定目标的综合。例如synth_ice40 针对Lattice iCE40 FPGA的综合。synth_ecp5 针对Lattice ECP5 FPGA的综合。synth_xilinx 针对Xilinx 7系列及以上FPGA的实验性综合功能在完善中。不带参数的synth执行通用综合。opt 通用优化器。它本身包含多个子步骤如opt_clean,opt_const,opt_share等。在综合流程中多次、穿插地使用opt是标准做法因为每个转换步骤都可能产生新的优化机会。memory 推断存储器。对于声明的数组它会尝试推断成单端口/双端口RAM、ROM等并可以用-nomap选项先只推断不映射方便查看推断结果。fsm 有限状态机检测与优化。可以用fsm_info查看识别出的状态机信息用fsm -encoding onehot等命令指定状态编码方式。工艺映射abc 调用外部工具ABC进行逻辑优化和工艺映射。这是面向标准单元库综合的核心。你需要用-liberty file.lib指定工艺库文件用-script script指定ABC内部的优化脚本。例如abc -liberty my_cell.lib -script “strash; ifraig; scorr; dc2; dretime; strash; get -n; dch -f; nf -D; put”这是一串常见的ABC优化序列。techmap 基于规则的技术映射。可以用于将一些特定的抽象单元比如你自己定义的黑盒映射到工艺库单元或者配合techmap规则文件进行定制化映射。分析与输出stat最常用的分析命令。打印面积、触发器数量、逻辑门数量、连线数量等统计信息。使用-top module可以查看指定模块的统计。show 生成电路图。-format svg/png指定格式-prefix name指定文件名前缀。对于大型设计可以用-viewer选项直接调用查看器打开。write_verilog file.v 输出Verilog网表。使用-noattr可以去掉Yosys添加的属性信息让网表更简洁。write_edif/write_json 输出EDIF或JSON格式网表用于对接其他后端工具。4.2 编写可维护的综合脚本对于复杂项目一个好的脚本至关重要。我通常这样组织我的.ys脚本# 1. 参数定义与设计读取 set TOP “my_top_module” set LIB “/path/to/sky130_fd_sc_hd__tt_025C_1v80.lib” # 示例SkyWater 130nm库 read_verilog -I ./rtl ./rtl/*.v hierarchy -check -top $TOP # 2. 高层次综合与优化 proc opt memory -nomap stat -top $TOP # 查看存储器推断前统计 memory opt fsm opt # 3. 工艺映射标准单元流程示例 # 先进行一次通用综合打平设计 synth -run coarse # 使用ABC进行逻辑优化和工艺映射 abc -liberty $LIB \ -script “strash;ifraig;scorr;dc2;dretime;strash; get -n; dch -f; nf -D; put” # 映射后优化 opt clean # 4. 最终检查与输出 stat -top $TOP # 查看最终面积报告 write_verilog -noattr -selected ./syn_output/${TOP}_gate.v show -format svg -prefix ./syn_output/${TOP}_view -selected $TOP这个脚本展示了几个好习惯使用变量 将顶层模块名、库路径定义为变量便于修改和复用。分阶段统计 在关键步骤如memory前后使用stat有助于理解每个优化步骤的效果。输出管理 将生成的网表、图片输出到特定目录如./syn_output保持工作区整洁。-selected选项 在write_verilog和show时使用可以只输出或显示当前选中的模块默认是顶层避免数据量过大。5. 高级技巧与实战问题排查当你能用Yosys完成基本综合后下面这些技巧和常见问题的解决方案能帮你把工具用得更加得心应手。5.1 调试与可视化看清电路每一步Yosys的调试能力是其一大亮点。除了show还有几个强大的命令dump 将当前设计的RTLIL表示以文本形式输出。这对于理解Yosys内部如何看待你的设计非常有帮助尤其是当综合结果不符合预期时。select 这是一个强大的交互式选择命令。你可以根据规则选择一组单元或线网然后对它们进行操作或查看。例如select t:*DFF*选择所有触发器。select a:src“counter.v:12”选择源代码第12行对应的逻辑。选中后再用show或dump查看就能聚焦于特定部分。log 将命令输出重定向到文件。对于长时间运行的综合保存日志便于事后分析log ./synth.log。一个典型的调试流程是发现综合后面积异常大 - 用stat查看哪个模块贡献最多 - 用select选中该模块 - 用show生成该模块的电路图 - 分析电路图是否与预期一致比如是否意外生成了锁存器。5.2 常见综合问题与解决方案以下是我在实战中踩过的一些坑及其解决方法问题现象可能原因排查命令与解决方案综合后网表中出现意料之外的$dlatch锁存器Verilog代码中if或case语句未写完整导致在特定条件下输出无赋值形成隐含锁存器。1. 使用check命令Yosys可能会报告警告。2. 在proc之后用select -list t:*dlatch*查找锁存器。3.解决 回头检查RTL代码确保所有条件分支下输出都有明确的赋值或加上default分支。stat显示触发器数量远多于预期可能将大型数组如reg [7:0] mem [0:1023]错误地推断成了寄存器堆而非存储器。1. 在memory命令前和后分别执行stat对比触发器数量变化。2. 使用memory -list查看Yosys识别出了哪些存储器。3.解决 确保存储器的描述符合综合工具推断RAM的编码风格例如读写操作在时钟边沿且地址、数据、使能信号清晰。对于无法推断的考虑实例化工艺相关的RAM宏单元。使用abc映射时报错提示库单元找不到或属性错误Liberty工艺库文件格式不兼容或路径错误ABC脚本与库不匹配。1. 确认.lib文件路径正确且可读。2. 用read_liberty $LIB命令单独测试读取库文件看是否有语法错误报告。3.解决 尝试简化ABC脚本例如先只用abc -liberty $LIB -script “syn2”进行基础综合。确保库文件是时序库.lib而非物理库.lef。综合后功能仿真失败综合过程中改变了设计的行为常见于异步逻辑、复位策略或初始化值处理。1. 对比综合前后网表的仿真结果。2. 检查Yosys对异步复位/置位的处理。Yosys的proc默认会处理异步逻辑但需要代码风格明确。3.解决 使用write_verilog的-noattr和-norename选项输出更干净的网表。确保测试平台的时钟、复位激励与综合约束一致。对于初始化值注意综合会忽略initial块用于仿真寄存器初值需通过复位信号设置。面向FPGA综合时资源利用率异常高可能因为逻辑未充分优化或FPGA架构相关的映射策略不佳。1. 对于特定FPGA如iCE40务必使用专用的综合命令synth_ice40 -top top -json output.json它会调用针对该架构优化的流程。2. 查看综合报告关注DSP、BRAM等专用资源是否被合理推断和使用。3.解决 尝试在synth_*命令前后加入opt阶段。对于算术运算检查是否可以用移位、查找表等方式优化减少对昂贵乘法器的依赖。5.3 性能调优与面积/时序权衡对于稍大一点的设计你可能需要关注结果的质量。面积优化opt命令本身已包含面积优化。abc工具在映射时可以使用侧重于面积的脚本。例如在ABC脚本中使用if -K lut_size -a进行面积导向的技术映射针对FPGA的LUT。对于标准单元ABC的dch -f命令是面积优化的关键。时序优化 这需要时序约束文件.sdc。Yosys原生对时序约束的支持有限通常需要与下一代布局布线PnR工具如OpenROAD, VPR配合。在Yosys层面你可以通过abc的-D clock_period选项来传递目标时钟周期给ABC使其在映射时进行时序驱动优化。探索不同优化策略 由于Yosys流程是可脚本化的你可以轻松尝试不同的Pass顺序或参数。例如可以保存proc之后的设计状态然后分别尝试不同的fsm编码方式onehot, binary, gray综合后对比stat的结果选择最适合当前设计的那一个。6. 集成到现代开源硬件设计流程Yosys很少单独使用它通常是更大工具链中的一环。了解它如何与其他工具协作能解锁更强大的能力。6.1 与仿真工具配合Icarus Verilog / Verilator综合前你需要确保RTL代码功能正确。Icarus Verilog (iverilog) 是最轻量快速的仿真器之一。用iverilog -o my_design_tb my_design.v testbench.v编译。用vvp my_design_tb运行仿真并可以将波形输出到VCD文件。综合后你可以用同样的测试平台对Yosys输出的门级网表counter_synth.v再进行一次仿真需要包含工艺库的仿真模型通常是*.v文件。这称为“门级仿真”用于验证综合是否引入了功能错误。对于更复杂、性能要求更高的仿真Verilator 是一个将Verilog转换成C模型的工具速度极快。YosysVerilator是许多开源CPU项目如SERV, PicoRV32的验证标配。6.2 与布局布线工具配合nextpnr对于FPGA开发Yosys的最佳搭档是nextpnr。这是一个开源的、跨架构的FPGA布局布线工具。综合 Yosys负责将Verilog综合成该FPGA架构的原语网表。例如对于iCE40 FPGAyosys -p “synth_ice40 -top top_module -json project.json” top_module.v。这里-json输出是nextpnr要求的格式。布局布线 nextpnr读取JSON网表和FPGA的架构描述文件进行布局布线nextpnr-ice40 --hx1k --package tq144 --json project.json --pcf constraints.pcf --asc project.asc。其中--pcf指定物理管脚约束。生成比特流 最后使用厂商工具如icepack将布局布线结果转换成可下载到FPGA的比特流文件icepack project.asc project.bin。这个Yosys nextpnr 厂商工具的链条构成了一个完全开源、免费的FPGA开发工具链尤其受Lattice FPGA爱好者欢迎。6.3 参与开源项目以TinyTapeout为例近年来像TinyTapeout这样的项目让普通人流片成为可能。它的核心流程就重度依赖Yosys。你用Verilog编写一个小的数字设计模块。使用基于Yosys和OpenROAD的开源工具链通常封装成简单的Makefile或在线工作流进行综合、布局布线。将生成的GDSII文件提交你的设计就会被“打包”进一个多项目晶圆与其他数百个设计一起制造。在这个过程中Yosys扮演了将你的RTL代码标准化、优化并映射到目标工艺如SkyWater 130nm的关键角色。深入使用Yosys是参与这些激动人心的开源硬件项目的基础。从我自己的经验来看Yosys的学习曲线前期可能有点陡峭尤其是需要适应命令行和脚本。但一旦跨过这个门槛你会获得对数字逻辑综合无与伦比的掌控感和透明度。它强迫你去理解每一个步骤而这正是成为更好的硬件工程师的必经之路。遇到问题别怕多查它的官方文档help命令、多读社区如1BitSquared, Reddit的/r/yosys, GitHub Issues的讨论大多数坑都已经有人踩过并留下了宝贵的经验。
![[光学原理与应用-521]：对光的错误理解与纠偏](http://pic.xiahunao.cn/yaotu/[光学原理与应用-521]：对光的错误理解与纠偏)
