前言
2024年芯时代青年原创推送的最后一篇啦,在交付总结的系列里插入一篇脚本的推送作为今年发文的收尾。在工具页里把它放在了第二把交椅上,确实这是一直想做但迟迟没有下笔的一个脚本。
我一直有三个比较大的auto系列工具需求,分别是auto_testbench、auto_dc_run和auto_fm_check,用以解决三个问题:
auto_testbench:dut的快速编译、仿真和出波形,能够在初期完成代码质量和功能的初步收敛,避免简单问题拖到后面影响整体进度;
auto_dc_run:dut的快速简单综合,用以确认一些代码和结构的可综合性以及初步评估面积和时序逻辑深度;
auto_fm_check:进行两个dut(非网表)的一致性检查,主要在后期有rtl级的代码微调(比如lint修正)时快速对比下修改前后fm结果是否一致,避免问题扩散;
auto_dc_run的最原始需求,是之前在社区里写的一篇文章,里面放了一个Quartus II跑出来的网表,然后有朋友问“怎么能快速的得到这样的网表呢”?回答当然很简单,如果有FPGA工具那就在里面直接syn然后查看网表,如果有dc综合环境就在把需要的代码搞进去然后跑一下综合看网表。而后在开发auto_testbench的过程中,受其思路影响我觉得如果能有类似形式的脚本,直接针对dut生成一个简单的综合环境就好了,于是开始着手写auto_dc_run。
但是跑综合和仿真不一样,综合一般需要有库来支持。可是如果手里一穷二白啥也没有就想跑综合怎么办呢?也有办法就是使用synopsis自带的GTECH库gtech.db,它是dc的一个通用技术库,包含了一套理想化的、非工艺特定的基本逻辑门和单元。但是基于这套库没有办法跑全套综合流程(因为没有实际的工艺库嘛),所以跑出来的结果一定是有很多信息空缺的。如果手头有可以用的工艺库,那么可以在生成的综合环境下进一步的拓展,脚本也支持这种情况。
脚本链接
请见“阅读原文”。
功能列表
1.支持生成dc综合环境,进行综合;
2.支持综合后直接打开逻辑互连图;
3.支持使用工艺库进行综合;
使用说明
下载脚本于linux环境中,并修改其属性为可执行文件,之后键入:
${script_path}/auto_dc_run -f ${rtl_path}/${rtl_name}.v
使用示例
脚本auto_dc_run同级目录下有mul_test.v,其代码如下:
module mul_test #(
parameter WD = 16
)( /*AUTOARG*/
// Outputs
oup,
// Inputs
clk, rst_n, inp0, inp1
);
// ----------------------------------------------------------------
// Interface declare
// ----------------------------------------------------------------
input clk;
input rst_n;
input [WD -1:0]inp0;
input [WD -1:0]inp1;
output [WD -1:0]oup;
// ----------------------------------------------------------------
// Wire declare
// ----------------------------------------------------------------
// ----------------------------------------------------------------
// AUTO declare
// ----------------------------------------------------------------
/*AUTOOUTPUT*/
/*AUTOINPUT*/
/*AUTOWIRE*/
assign oup = inp0 * inp1;
endmodule
GTECH综合
在当前目录键入:
auto_dc_run -f mul_test.v
生成环境:
/home/ICer/gitee_path/auto_dc_run/src/auto_dc_run is work
||================================================================
|| Please:
|| cd /home/ICer/mul_test_dc_demo
|| make syn [gui=off/on] [db=off/130fast/130slow]
||================================================================
然后对着出来的结构图放大并双击感兴趣区域就可以了,能看看互连简单分析分析逻辑关系和级数:
退出并在dc_shell里键入exit后会退回工作界面,而后环境会自动打开qor.rpt以供查看初步综合的结果:
显然,面积呀或者时序信息就不要指望了,cell count倒是可以简单看下。或者进一步在log/result/report文件夹里查看更多的信息:
├── log
│ ├── command.log
│ ├── dc_syn.log
│ ├── default.svf
│ ├── MUL_TEST.mr
│ ├── mul_test-verilog.pvl
│ └── mul_test-verilog.syn
├── Makefile
├── report
│ ├── mul_test_area.rpt
│ ├── mul_test_power.rpt
│ ├── mul_test_qor.rpt
│ ├── mul_test_reference.rpt
│ └── mul_test_timing.rpt
├── result
│ ├── mul_test.db
│ ├── mul_test.sdc
│ ├── mul_test.sdf
│ └── mul_test.v
└── run.tcl
真实库综合
那么如果你自己有db库就能有更多的信息可以看,如果手里没有也没关系,在生成综合环境时脚本往里放了两个130nm的库文件:130fast.db和130slow.db,这是我在网上找到的可学习使用的综合库(请勿商用,使用本脚本时默认接受该要求)。如果你用了同款的虚拟机,那在根目录也能找到其他的库文件,在此不细说了。这种情况下在/home/ICer/mul_test_dc_demo执行综合时可以键入:
make syn db=130slow
Timing Path Group 'clk'
-----------------------------------
Levels of Logic: 19.00
Critical Path Length: 4.02
Critical Path Slack: -3.02
Critical Path Clk Period: 1.00
Total Negative Slack: -21.46
No. of Violating Paths: 14.00
Worst Hold Violation: 0.00
Total Hold Violation: 0.00
No. of Hold Violations: 0.00
-----------------------------------
Cell Count
-----------------------------------
Hierarchical Cell Count: 1
Hierarchical Port Count: 65
Leaf Cell Count: 471
Buf/Inv Cell Count: 53
Buf Cell Count: 5
Inv Cell Count: 48
CT Buf/Inv Cell Count: 0
Combinational Cell Count: 471
Sequential Cell Count: 0
Macro Count: 0
-----------------------------------
Area
-----------------------------------
Combinational Area: 11803.719683
Noncombinational Area: 0.000000
Buf/Inv Area: 653.499006
Total Buffer Area: 174.83
Total Inverter Area: 478.67
Macro/Black Box Area: 0.000000
Net Area: 0.000000
-----------------------------------
Cell Area: 11803.719683
Design Area: 11803.719683
系列文章入口——
【芯片验证】sva_assertion: 15道助力飞升的断言练习 |
【芯片验证】可能是RTL定向验证的巅峰之作 |
【芯片验证】RTL仿真中X态行为的传播 —— 从xprop说起 |
【芯片验证】年轻人的第一个systemVerilog验证环境全工程与解析 |
【芯片设计】verilog中有符号数和无符号数的本质探究 |
【芯片设计】论RTL中always语法的消失术 |
【芯片设计】代码即注释,注释即代码 |
【芯片设计】700行代码的risc处理器你确实不能要求太多了 |
入职芯片开发部门后,每天摸鱼之外的时间我们要做些什么呢 |
如何计算系统的outstanding 和 burst length? |
芯片搬砖日常·逼死强迫症的关键词不对齐事件 |
熟人社会里,一群没有社会价值的局外人 |