电子产业一站式赋能平台

PCB联盟网

搜索
查看: 65|回复: 0
收起左侧

【芯片设计】异步电路碎碎念(六)手撕打拍同步器

[复制链接]
匿名  发表于 2024-9-11 12:06:00 |阅读模式
从这篇开始和知乎专栏里的文章顺序有所差异,在专栏里第六到第十篇是关于异步随机验证的内容,而在推送里为了内容的前后衔接就放到最后再说。在前面的文章里,我们熟悉了异步逻辑的处理方法:
【芯片设计】异步电路碎碎念(四) 异步逻辑的处理方法
而后一个顺理成章的事情就是练习写写代码啦。再次汇总下之前提到的异步逻辑同步器结构:
1.单比特电平打拍同步器;
2.单比特脉冲打拍同步器;
3.多比特数据打拍同步器;
4.多比特电平使能DMUX同步器;
5.多比特脉冲使能握手同步器;
6.异步FIFO;
其中异步FIFO已经在前面的专栏中详细的写过代码了,因此就不在这里重复。这部分涉及到的代码位于:
【芯片设计】FIFO漫谈(七)异步FIFO从格雷码说起
单比特电平打拍同步器单比特打拍同步器的代码很简单,不过其中有两点需要注意:
1.可配置性,主要包括打拍级数和在源时钟域是否需要打拍后输出;
2.专用同步打拍寄存器,实际交付的工程中同步器中的打拍寄存器可能会例化专用的模块,这是避免被工具优化或者做multi-bit,以及在设置sdc/cdc时方便统一匹配。

不过因为我们只是手撕代码练习,就不考虑专用打拍寄存器的事了。那么基于上述,手撕代码如下:
module async_1bit_delay #(
  parameter DL = 2,
  parameter FF = 1
)( /*AUTOARG*/
   // Inputs
   i_clk, i_rst_n, i_data, o_clk, o_rst_n, o_data
   );
// ----------------------------------------------------------------
// Interface declare
// ----------------------------------------------------------------
input  i_clk;
input  i_rst_n;
input  i_data;
input  o_clk;
input  o_rst_n;
output o_data;
// ----------------------------------------------------------------
// i_clk pipe
// ----------------------------------------------------------------
wire i_data_in;
generate
  if(FF == 0)begin: NO_IN_DFF
    assign i_data_in = i_data;
  end //if(FF == 0)begin: NO_IN_DFF
  else begin: IN_DFF
    reg i_data_ff;
    always @(posedge i_clk or negedge i_rst_n) begin
      if(!i_rst_n)
        i_data_ff endgenerate

// ----------------------------------------------------------------
// o_clk pipe
// ----------------------------------------------------------------
reg [DL -1:0]o_data_ff;
integer i;
always @(posedge o_clk or negedge o_rst_n) begin
  if(!o_rst_n) begin
    o_data_ff 代码比较简单所以就不仿真了,反正后面还会反复调用这个模块的。
单比特脉冲打拍同步器
单比特脉冲打拍,核心的功能点就是脉冲展宽,一般需要覆盖接收域两拍时钟(或者三沿原则)。

所以就把时钟展宽的代码写一写好啦,下面是一种相对比较简单的脉冲拓展方式:
module async_pulse_widen #(
  parameter TIMES = 2
)( /*AUTOARG*/
   // Outputs
   o_data,
   // Inputs
   clk, rst_n, i_data
   );
// ----------------------------------------------------------------
// Interface declare
// ----------------------------------------------------------------
input  clk;
input  rst_n;
input  i_data;
output o_data;
// ----------------------------------------------------------------
// Wire declare
// ----------------------------------------------------------------
localparam TIMES_W = 8;
// ----------------------------------------------------------------
// AUTO declare
// ----------------------------------------------------------------
/*AUTOOUTPUT*/
/*AUTOINPUT*/
/*AUTOWIRE*/
reg  [TIMES_W -1:0]widen_cnt;
wire [TIMES_W -1:0]widen_cnt_d;
wire               widen_cnt_en;
assign widen_cnt_en = (i_data && widen_cnt == {TIMES_W{1'b0}}) ||
                      (widen_cnt == TIMES) ||
                      (widen_cnt != {TIMES_W{1'b0}}) ;
assign widen_cnt_d  = (i_data && widen_cnt == {TIMES_W{1'b0}}) ? widen_cnt + 1'b1 :
                      (widen_cnt == TIMES)                   ? 1'b0 :
                                                               widen_cnt + 1'b1;

always @(posedge clk or negedge rst_n) begin
  if(!rst_n) begin
    widen_cnt 这里面的TIMES就是要展宽的倍数,这个代码的展宽结果输出是在脉冲使能的下一拍开始的,如展宽5倍:

同时如果在展宽过程中有下一个脉冲到达,那么是不响应的:

多比特数据打拍同步器如果多比特数据没有使能信号,也就是说不关心正确数值同步过去的时间,只要同步过去就行,或者格雷码跨异步这种场景,那么可以选择多比特数据打拍同步器。多比特数据打拍同步器只需要例化若干单比特打拍同步器就可以了:
module async_nbit_delay #(
  parameter DL = 2,
  parameter WD = 1,
  parameter FF = 1
)( /*AUTOARG*/
   // Outputs
   o_data,
   // Inputs
   i_clk, i_rst_n, i_data, o_clk, o_rst_n
   );
// ----------------------------------------------------------------
// Interface declare
// ----------------------------------------------------------------
input          i_clk;
input          i_rst_n;
input [WD -1:0]i_data;
input          o_clk;
input          o_rst_n;
output[WD -1:0]o_data;
genvar i;
generate
  for(i=0; i

系列文章入口——
【芯片设计】SoC 101(一):绪论
【芯片设计】FIFO漫谈(零)从无处不在的FIFO开始说起
【芯片设计】计算机体系结构(一)虚拟内存
【芯片设计】深入理解AMBA总线(零)绪论
【芯片设计】握手协议的介绍与时序说明
【芯片设计】复位那些小事 —— 复位消抖
【芯片设计】快速入门数字芯片设计(一)Introduction
【芯片验证】UVM源码计划(零)下定决心读源码前的自测环节
【芯片设计】异步电路碎碎念(一) 到底什么是异步电路
【芯片设计】从RTL到GDS(一):Introduction
其他文章链接——
【芯片验证】sva_assertion: 15道助力飞升的断言练习
【芯片验证】可能是RTL定向验证的巅峰之作
【芯片验证】RTL仿真中X态行为的传播 —— 从xprop说起
【芯片验证】年轻人的第一个systemVerilog验证环境全工程与解析
【芯片设计】verilog中有符号数和无符号数的本质探究
【芯片设计】论RTL中always语法的消失术
【芯片设计】代码即注释,注释即代码
【芯片设计】700行代码的risc处理器你确实不能要求太多了
入职芯片开发部门后,每天摸鱼之外的时间我们要做些什么呢
如何计算系统的outstanding 和 burst length?
芯片搬砖日常·逼死强迫症的关键词不对齐事件
熟人社会里,一群没有社会价值的局外人

本帖子中包含更多资源

您需要 登录 才可以下载或查看,没有账号?立即注册

x
回复

使用道具

发表回复

您需要登录后才可以回帖 登录 | 立即注册

本版积分规则


联系客服 关注微信 下载APP 返回顶部 返回列表