DMUX同步器完成之后继续完成多比特握手同步器,异步时钟域的握手同步器典型结构不只一种,还区分全握手和半握手,这里面的门道我也不是很专业,所以就只把熟悉的结构拿出来大家一起看下就好了。握手同步器的结构简图是这样的:
这个结构简图里还可以补充两个信号,分别是目的时钟域的输出数据有效信号和源始终与的ready信号,一会在代码中我们尝试加一下。这个结构的核心是一句话,当in_enable信号为高时开始进行数据同步,当数据同步没有完成前,tx_sel信号是不会落下去。
代码实现
那么通过代码来看,先来明确顶层:
module async_nbit_hand #(
parameter DL = 2,
parameter WD = 1,
parameter FF = 1
)( /*AUTOARG*/
// Outputs
i_ready, o_data, o_en,
// Inputs
i_clk, i_rst_n, i_data, i_en, o_clk, o_rst_n
);
// ----------------------------------------------------------------
// Interface declare
// ----------------------------------------------------------------
input i_clk;
input i_rst_n;
input [WD -1:0]i_data;
input i_en;
output i_ready;
input o_clk;
input o_rst_n;
output[WD -1:0]o_data;
output o_en;
// ----------------------------------------------------------------
// i_data dff
// ----------------------------------------------------------------
wire [WD -1:0]i_data_in;
wire i_en_in;
generate
if(FF == 0)begin: NO_IN_DFF
assign i_data_in = i_data;
assign i_en_in = i_en;
end //if(FF == 0)begin: NO_IN_DFF
else begin: IN_DFF
reg [WD -1:0]i_data_ff;
reg i_en_ff;
always @(posedge i_clk or negedge i_rst_n) begin
if(!i_rst_n)begin
i_data_ff <= {WD{1'b0}};
i_en_ff <= 1'b0;
end
else begin
i_data_ff <= i_data;
i_en_ff <= i_en;
end
end
assign i_data_in = i_data_ff;
assign i_en_in = i_en_ff;
end //else begin: IN_DFF
endgenerate
// ----------------------------------------------------------------
// tx enable logic
// ----------------------------------------------------------------
wire tx_en, tx_sel;
wire rx_sel, rx_sel_sync;
reg tx_en_ff;
assign tx_en = (i_en_in || tx_sel) && (!rx_sel_sync);
assign tx_sel = tx_en_ff;
always @(posedge i_clk or negedge i_rst_n) begin
if(!i_rst_n)
tx_en_ff <= 1'b0;
else
tx_en_ff <= tx_en;
end
// ----------------------------------------------------------------
// tx_sel rx_sel async
// ----------------------------------------------------------------
async_1bit_delay #(.DL(DL), .FF(0))
u_tx_sel_sync(
.i_clk (i_clk),
.i_rst_n (i_rst_n),
.i_data (tx_sel),
.o_clk (o_clk),
.o_rst_n (o_rst_n),
.o_data (rx_sel)
);
async_1bit_delay #(.DL(DL), .FF(0))
u_rx_sel_sync(
.i_clk (o_clk),
.i_rst_n (o_rst_n),
.i_data (rx_sel),
.o_clk (i_clk),
.o_rst_n (i_rst_n),
.o_data (rx_sel_sync)
);
// ----------------------------------------------------------------
// rx_sel_pulse
// ----------------------------------------------------------------
reg rx_sel_ff, rx_sel_pulse_ff;
wire rx_sel_pulse;
always @(posedge o_clk or negedge o_rst_n) begin
if(!o_rst_n)
rx_sel_ff <= 1'b0;
else
rx_sel_ff <= rx_sel;
end
assign rx_sel_pulse = (rx_sel_ff == 1'b0) && (rx_sel == 1'b1);
always @(posedge o_clk or negedge o_rst_n) begin
if(!o_rst_n)
rx_sel_pulse_ff <= 1'b0;
else
rx_sel_pulse_ff <= rx_sel_pulse;
end
// ----------------------------------------------------------------
// i_data sample
// ----------------------------------------------------------------
reg [WD -1:0]i_data_lock;
always @(posedge i_clk or negedge i_rst_n) begin
if(!i_rst_n)
i_data_lock <= {WD{1'b0}};
else if(i_en_in && !tx_sel)
i_data_lock <= i_data_in;
end
reg [WD -1:0]i_data_sync;
always @(posedge o_clk or negedge o_rst_n) begin
if(!o_rst_n)
i_data_sync <= {WD{1'b0}};
else if(rx_sel)
i_data_sync <= i_data_lock;
end
// ----------------------------------------------------------------
// out logic
// ----------------------------------------------------------------
assign o_en = rx_sel_pulse_ff;
assign o_data = i_data_sync;
generate
if(FF == 0)begin: NO_IN_DFF_RD
assign i_ready = (tx_sel == 1'b0) && (rx_sel_sync == 1'b0);
end
else begin: IN_DFF_RD
assign i_ready = (tx_sel == 1'b0) && (rx_sel_sync == 1'b0) && (i_en_in == 1'b0);
end
endgenerate
endmodule
波形分析
握手同步器面对的主场景是脉冲使能的多比特数据,在脉冲信号有效时,输入数据被锁存:
而因为在锁存时的逻辑包含了i_ready,所以即使连续脉冲到来,也只会锁存i_ready有效时的数:
而后看TX->RX控制逻辑链i_en_in -> tx_sel -> rx_sel:
于是在目的时钟域,rx_sel_pulse时就可以采样在源始终域被寄存的数据i_data_lock了:
同时将rx_sel_pulse打一拍作为输出信号的使能:
同时,rx_sel信号要同步回去,因为在rx_sel上升沿时就已经把数据采样,因此rx_sel同步回去并取反告诉源时钟域已经同步完成了可以处理下一个值。rx_sel_sync会将tx_en置0,而后tx_sel也被置0,同步后rx_sel也归0,完成一次握手反馈的传输:
当rx_sel_sync也为0后,一次完整的握手同步宣告完成,那么i_ready就可以置1:
i_ready为1后可以进行下一次传输:
需要注意的是,如果入口进行了打拍操作,i_ready的逻辑需要适当调整:
generate
if(FF == 0)begin: NO_IN_DFF_RD
assign i_ready = (tx_sel == 1'b0) && (rx_sel_sync == 1'b0);
end
else begin: IN_DFF_RD
assign i_ready = (tx_sel == 1'b0) && (rx_sel_sync == 1'b0) && (i_en_in == 1'b0);
end
endgenerate
此时i_ready会看i_en_in信号即i_en_ff,不会和i_en信号产生逻辑环。
系列文章入口——
【芯片验证】sva_assertion: 15道助力飞升的断言练习 |
【芯片验证】可能是RTL定向验证的巅峰之作 |
【芯片验证】RTL仿真中X态行为的传播 —— 从xprop说起 |
【芯片验证】年轻人的第一个systemVerilog验证环境全工程与解析 |
【芯片设计】verilog中有符号数和无符号数的本质探究 |
【芯片设计】论RTL中always语法的消失术 |
【芯片设计】代码即注释,注释即代码 |
【芯片设计】700行代码的risc处理器你确实不能要求太多了 |
入职芯片开发部门后,每天摸鱼之外的时间我们要做些什么呢 |
如何计算系统的outstanding 和 burst length? |
芯片搬砖日常·逼死强迫症的关键词不对齐事件 |
熟人社会里,一群没有社会价值的局外人 |