前往小程序,Get更优阅读体验!
立即前往
首页
学习
活动
专区
工具
TVP
发布
社区首页 >专栏 >ASIC数字设计:前端设计、验证、后端实现

ASIC数字设计:前端设计、验证、后端实现

作者头像
AsicWonder
发布2023-09-01 20:27:51
7060
发布2023-09-01 20:27:51
举报
文章被收录于专栏:数字芯片实验室

前端设计

数字系统设计中有三个重要的设计级别概念:行为级(Behavior Level)、寄存器传输级(Register Transfer Level)和门级(Gate level)。其中,

  • 行为级通过行为级算法描述数字系统;
  • 寄存器传输级通过寄存器之间的数据传输进行电路功能设计,例如有限状态机;
  • 门级按AND、OR、NOT、NAND等等描述,通常不会进行门级设计,门级网表一般是通过逻辑综合的输出。

RTL可以用Verilog或VHDL描述。Verilog是一种用于描述数字系统的硬件描述语言(HDL),例如Latches、Flip-Flops、组合逻辑、时序逻辑等。基本上,你可以使用Verilog来描述任何类型的数字系统。设计通常以自顶向下的方式编写,系统具有层次结构,使得设计和调试更容易。verilog模块的基本框架如下:

代码语言:javascript
复制
module top_module(
    input clk,
    input rst,
    input [7:0] in_data,
    output [7:0] out_data
);

// Instantiate submodules here

// Your code here

endmodule

模块实例化(module instance)时,需要指定被实例化的模块名称(例如NAND或INV)、实例名称(在当前模块中唯一标识该实例)和端口连接列表。模块端口连接可以按照位置顺序(位置映射)或者名称对应(命名映射)给出。一般推荐使用命名映射,因为可以避免一些错误。

1.按名称进行端口映射:

代码语言:javascript
复制
 INV V2(.in(a), .out(abar));

2.按顺序进行端口映射,这种情况下,端口列表的顺序要和被实例化的模块一致:

代码语言:javascript
复制
AND A1(a, b, d);

下面是一个简单的D触发器 Verilog示例代码:

代码语言:javascript
复制
module dff (q, d, clk, rst);
  output q;
  input d, clk, rst;
  reg q;

  always @(posedge clk or posedge rst)
    if (rst)
      q <= 0;
    else
      q <= d;
endmodule

数字电路设计分为组合逻辑和时序逻辑两种。

  • 用Verilog编写的代码并不一定都能综合成电路。我们需要保证我们的代码能综合出我们想要的电路。在Verilog中,有些与时间相关的语句是不能综合的。比如,wait, initial, delay等。
  • 在Verilog中,可以用always语句块来建模电平敏感和边沿敏感的电路行为。
  • 用always语句块建模组合电路时,要注意每个输出都要依赖于敏感列表。如果没有完全指定组合电路,可能会综合出锁存器(latch)。

验证

在数字系统设计完成后,要用仿真来验证逻辑功能是否正确。在Verilog中,可以用testbench(测试平台)来检验代码。编写testbench的一些基本原则如下: 1、Testbench要实例化设计的顶层模块,并给它提供输入激励(stimulus)。 2、设计(DUT)的输入激励要用'reg'类型声明。'reg'类型的数据可以在always或initial语句块中改变。 3、设计(DUT)的输出要用'wire'类型声明。'wire'类型的数据不能在always或initial语句块中赋值。 4、always和initial语句块是两种时序控制块,它们是并行执行的。initial语句块的一个例子如下:

代码语言:javascript
复制
module testbench;
  // 定义clk和reset信号
  reg clk, reset;
  
  // 定义被测模块的实例
  dut dut_inst(
    .clk(clk),
    .reset(reset),
    // 其他端口
  );
  
  // 在initial块中生成clk和reset激励
  initial begin
    // 初始化clk和reset为0
    clk = 0;
    reset = 0;
    
    // 等待一段时间后释放reset
    #10 reset = 1;
    
    // 每隔5个时间单位切换clk的值
    forever #5 clk = ~clk;
  end
  
endmodule

initial语句块在仿真开始时(时间为0)按照“begin end”之间的语句顺序执行。遇到延迟时,该语句块暂停执行,等待延迟结束后继续执行。上面的代码是一个比较典型的复位和时钟激励生成的代码。

5、系统任务。这些系统任务不会被综合工具识别,所以可以在设计代码中使用它们。系统任务以符号开头。一些常用的系统任务如下:display:在仿真过程中,在屏幕上显示文本信息stop:暂停仿真。finish:结束仿真dumpvar,dumpfile:生成波形文件,保存到指定的文件中。

6、tasks用于实现常用的验证功能。tasks可以有输入,输出,并且可以包含时序控制。下面是一个task的例子:

代码语言:javascript
复制
// 定义一个带有时序延迟的task
task delay_task;
  input [7:0] data; // 输入数据
  input [3:0] delay; // 输入延迟时间
  output [7:0] result; // 输出结果
  reg [7:0] result; // 定义寄存器存储结果
  begin
    #delay result = data; // 延迟赋值
    $display("data = %b, delay = %d, result = %b", data, delay, result); // 打印结果
  end
endtask

// 定义一个模块调用task
module test;
  reg [7:0] data; // 定义数据信号
  reg [3:0] delay; // 定义延迟信号
  wire [7:0] result; // 定义结果信号
  
  initial begin
    data = 8'b10101010; // 初始化数据
    delay = 4'd10; // 初始化延迟
    delay_task(data, delay, result); // 调用task
    #20 $finish; // 结束仿真
  end
  
endmodule

上面的代码的功能是定义一个带有时序延迟的task,然后在一个模块中调用它。

7、编译指令`timescale设置时间单位和时间精度

代码语言:javascript
复制
`timescale 10ns/1 ns     // 单位 10 ns,精度 1 ns

8、 Verilog测试平台可以使用包含C语言描述的编程语言接口(PLI)。

9、 在编写testbench之前,了解设计规范(spec),并且创建所有可能的测试用例列表非常重要。

10、 可以根据波形检查信号值是否正确。

11、 在编写testbench时,可以设置断点,也可以单步执行。

12、 进行功能仿真时,最好进行受约束的随机仿真。受约束的随机仿真可以提供有效输入的随机组合。当随机仿真运行很长时间时,它可以覆盖大部分的corner cases。在verilog中,可以使用$random在testbench中创建随机变量。

13、覆盖率统计:观察存在多少种可能性以及有多少种可能性已经通过仿真。

13.1、行覆盖率:代码中的行仿真覆盖百分比,由仿真工具统计。

13.2、条件覆盖:它检查代码中的各种条件语句覆盖百分比。

13.3、状态机覆盖率:检查状态转换覆盖百分比。

14、 回归测试(Regression):将新的模块添加到已验证的代码中。回归测试是一种验证方法,用于确保修改或更新后的代码不会影响原有的功能和性能。

仿真目标

  1. 功能正确:通过验证来验证设计的功能,主要的test cases(主要功能)和corner cases(特殊条件下)。功能正确是仿真的基本要求,确保设计符合规范和预期。例如,可以使用assertions来检查设计的输出是否与预期相符。
  2. 设计的错误处理:通过验证来检测设计中可能存在的错误或异常情况,并测试设计如何应对或恢复。设计的错误处理是仿真的重要目标,提高了设计的可靠性和安全性。例如,可以使用fault injection来模拟设计中可能发生的故障,并观察设计的反应和行为。
  3. 性能:通过验证来评估设计的性能指标,如时延,吞吐量,功耗等,并与设计目标进行比较。性能是仿真的重要目标,影响了设计的效率和优化。例如,可以使用profiling tools来分析设计中各个部分的资源占用和执行时间,并找出性能瓶颈和改进点。

真实世界仿真

在软件的功能仿真之后,如何在真实世界中仿真你的设计呢?

  1. FPGA原型:加快验证速度。
  2. 硬件加速器:将一些可综合的代码映射到FPGA上。其他不可综合的部分,如testbench用仿真工具驱动。当设计非常大时,这种硬件加速验证方法能大幅度提高验证效率。

后端实现

在数字物理设计流程中需要对多个目标进行优化,包括面积,走线长度和功耗,以及需要确保物理实现之后的网表满足设计的时序要求。以下将概述芯片数字后端的基本步骤:

物理设计的第一步是floor planning,定义芯片(die&core)的宽度和高度,也就是芯片的面积。

“core”是芯片的核心区域,用于放置(place)设计的基本逻辑单元。芯片是从晶圆(wafer)上切割出来的,晶圆是一种圆形的硅片,上面可以制造多个芯片(die)。

在布局布线(P&R)阶段,工具会根据约束条件来放置逻辑单元。在正式进行P&R之前,需要先确定一些关键模块的位置,例如RAM,ROM等。这些模块被称为“预放置单元(preplaced cells)”。

将关键模块摆放之后,围绕关键模块摆放Decap(decoupling capacitors),提高了芯片的可靠性和效率。

在电路原理图中,我们通常只看到一个“Vdd”和一个’Vss’,表示电源和地。但是,在芯片上,我们需要构建一个电源网络,将电源和地分布到各个模块。在floorplan阶段,我们还需要放置引脚(pin)或焊盘(pad),用于与外部设备连接。引脚是模块级别的接口,焊盘是芯片级别的接口。

在floorplan确定(freeze)后,就可以开始布局布线(P&R)了。P&R工具的输入包括综合后的门级网表,时序库,物理库和设计约束。P&R工具根据设计约束(constraints),例如时钟频率,时序裕度(margin),最大电容等,用算法来确定标准单元(Flipflops,AND,OR,BUFFER等)的位置,并把它们放在core里。

假设时钟网络的最大电容限制是2F。看看上面的图,时钟节点’B’连着4个触发器的’clk’脚。假设每个触发器的’clk’脚的电容是1F。那么,PNR工具就会算出节点’B’的总电容是4F。然后它会把这个电容和约束文件里的最大电容2F比较。

因为节点’B’的电容超过了2F,工具就会用2个buffer把节点’B’的负载分开,就像图上那样。它从库里选buffer(假设每个buffer的输入电容是1F),并建一个树(时钟树),来满足设计的最大电容约束。这个过程叫做’时钟树综合(Clock tree synthesis)'。

最后,物理设计完成后,PNR工具会对原来的网表做一些修改。比如:加buffer,调整单元大小(size)等。然后,可以提取电阻和电容的值RC(resistances、capacitance),把它们保存在一个文件里,一般叫做SPEF(Standard Parasitic Extraction Format)文件。

最后,要用静态时序分析(STA)工具做timing sign off。静态时序分析(STA)工具会检查设计的各条路径是否符合约束文件里的时序要求,包括建立时间检查,保持时间检查,最大电容检查和过渡时间检查等(Setup check,Hold check, Max Capacitance check 和 Transition Check)。

设计约束

3、指定设计约束

SDC(Synopsys Design Constraints)是一种基于Tcl的格式。SDC文件里的所有命令都遵循Tcl的语法规则。SDC文件用来告诉EDA工具设计的意图,包括时序、面积和功耗等。SDC文件包含以下信息:

•版本(可选)

•单位(可选)

•约束值

•约束对象

•注释(可选)

SDC文件里不包含加载或链接设计的命令。所以,在读取SDC文件之前必须先读取你的设计。

1、指定SDC版本

如果没有指定SDC版本,那么版本就取决于读取SDC文件的EDA工具。为了保证SDC文件在不同工具之间的兼容性,可以在文件开头用以下命令指定SDC版本:

代码语言:javascript
复制
set sdc_version value

2、指定SDC单位

set_units命令指定SDC文件里的电容,电阻,时间,电压,电流和功耗等单位。

3、指定设计约束

用约束命令来指定设计约束。如果命令太长,可以用反斜杠字符(\)把命令分成多行。SDC约束命令有下表这些。

4、指定约束对象

大多数约束命令都需要设计对象作为命令参数。

如果当前设计中有一个名为U1的单元,可以通过命令

代码语言:javascript
复制
[get_cells U1]

找到。下表SDC格式中寻找设计对象的命令。

同时,可以使用Tcl列表或通配符(?、*)指定多个对象。默认情况下,当前设计约束的参考点是顶级设计。我们可以使用分隔符(/)来约束层次结构化设计。

5、添加注释

可以使用#将注释添加到SDC文件中。

例如,

# This is an SDC comment line. create_clock -period 10 [get_ports CLK] ; #comment fragment

6、管理大型项目SDC文件

当设计非常大时,SDC文件可能会得很大。减少SDC文件大小的一种方法是压缩文件

read_sdc命令自动检测gzip压缩文件并解压缩,然后读取它们的文件。例如,

read_sdc design.sdc.gz

本文参与 腾讯云自媒体同步曝光计划,分享自微信公众号。
原始发表:2023-07-02,如有侵权请联系 cloudcommunity@tencent.com 删除

本文分享自 数字芯片实验室 微信公众号,前往查看

如有侵权,请联系 cloudcommunity@tencent.com 删除。

本文参与 腾讯云自媒体同步曝光计划  ,欢迎热爱写作的你一起参与!

评论
登录后参与评论
0 条评论
热度
最新
推荐阅读
目录
  • 前端设计
  • 验证
    • 仿真目标
      • 真实世界仿真
      • 后端实现
      • 设计约束
      领券
      问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档