Palladium 事务级实战 · 02 定义批事务、完成和复位协议

module tb_host;
 integer n=64,batch=16,seq=0,j,len,calls=0,cycles=0,fd,meta,unused;
 reg [15:0] id=0,returned_id;
 reg [5:0] returned_len;
 reg [1:0] status;
 reg [255:0] request,result;
 reg [31:0] active_cycles;
 reg [7:0] expected;
 initial begin
  unused=$value$plusargs("N=%d",n);unused=$value$plusargs("BATCH=%d",batch);
  if(n<8||n>100000||batch<1||batch>32)$fatal(1,"TBA_CONFIG");
  fd=$fopen("transactions.csv","w");if(!fd)$fatal(1,"TBA_IO");
  $fdisplay(fd,"seq,data");
  hw_top.link.reset_hw();
  while(seq<n)begin
   len=(n-seq<batch)?n-seq:batch;request=0;
   for(j=0;j<len;j=j+1)request[8*j+:8]=((seq+j)*17+3)%256;
   if($test$plusargs("BAD_REQUEST")&&seq==0)len=0;
   hw_top.link.exchange(id,len,request,returned_id,returned_len,status,result,active_cycles);
   if(status!==2'b00)$fatal(1,"TBA_STATUS status=%0d id=%0d (2=length,3=timeout)",status,id);
   if(returned_id!==id)$fatal(1,"TBA_TAG expected=%0d actual=%0d",id,returned_id);
   if(returned_len!==len)$fatal(1,"TBA_LENGTH");
   for(j=0;j<len;j=j+1)begin
    expected=((seq+j)*17+3)%256;
    if(result[8*j+:8]!==expected)$fatal(1,"TBA_DATA seq=%0d expected=%0d actual=%0d",seq+j,expected,result[8*j+:8]);
    $fdisplay(fd,"%0d,%0d",seq+j,result[8*j+:8]);
   end
   calls=calls+1;cycles=cycles+active_cycles;id=id+1'b1;seq=seq+len;
   if($test$plusargs("RESET_BETWEEN"))hw_top.link.reset_hw();
  end
  $fclose(fd);meta=$fopen("result.json","w");if(!meta)$fatal(1,"TBA_IO");
  $fwrite(meta,"{\"status\":\"PASS\",\"transactions\":%0d,\"batch\":%0d,\"calls\":%0d,\"engine_cycles\":%0d}\n",n,batch,calls,cycles);
  $fclose(meta);$display("TBA_PASS transactions=%0d batch=%0d calls=%0d engine_cycles=%0d",n,batch,calls,cycles);$finish;
 end
`ifndef PALLADIUM_HOST
 // Local-only monitor. Excluded from the hardware migration reference TB.
 reg was_stalled=0;reg [279:0] held;
 always @(posedge hw_top.clk)begin
  if(hw_top.link.rst)was_stalled=0;
  else begin
   if(was_stalled && (!hw_top.link.rsp_valid || {hw_top.link.rsp_id,hw_top.link.rsp_len,hw_top.link.rsp_status,hw_top.link.rsp_data}!==held))$fatal(1,"TBA_RESPONSE_UNSTABLE");
   was_stalled=hw_top.link.rsp_valid&&!hw_top.link.rsp_ready;
   held={hw_top.link.rsp_id,hw_top.link.rsp_len,hw_top.link.rsp_status,hw_top.link.rsp_data};
  end
 end
 initial begin #10000000;$fatal(1,"TBA_GLOBAL_TIMEOUT");end
`endif
endmodule

// Fixed packed arguments; single caller only. Reference blocking TBA interface.
interface fifo_link #(parameter HOLD=0)(input wire clk);
 reg rst=1,req_valid=0,rsp_ready=0;
 reg [15:0] req_id=0;reg [5:0] req_len=0;reg [255:0] req_data=0;
 wire req_ready,rsp_valid;wire [15:0] rsp_id;wire [5:0] rsp_len;
 wire [1:0] rsp_status;wire [255:0] rsp_data;wire [31:0] rsp_cycles;
`ifdef IXCOM_UXE
 initial begin
  $ixc_ctrl("tb_export", "reset_hw");
  $ixc_ctrl("tb_export", "exchange");
 end
`endif
 task reset_hw;
  begin
   @(posedge clk);rst<=1;
   repeat(4)@(posedge clk);
   rst<=0;
   repeat(2)@(posedge clk);
  end
 endtask
 task exchange(input [15:0] id,input [5:0] len,input [255:0] payload,
  output [15:0] returned_id,output [5:0] returned_len,
  output [1:0] status,output [255:0] result,output [31:0] active_cycles);
  integer guard;reg accepted,completed;
  begin
   accepted=0;completed=0;status=3;result=0;returned_id=0;returned_len=0;active_cycles=0;
   @(posedge clk);req_id<=id;req_len<=len;req_data<=payload;req_valid<=1;
   for(guard=0;guard<2048&&!accepted;guard=guard+1)begin
    @(posedge clk);if(req_ready)accepted=1;
   end
   req_valid<=0;
   if(accepted)begin
    for(guard=0;guard<2048&&!completed;guard=guard+1)begin
     @(posedge clk);if(rsp_valid)completed=1;
    end
    if(completed)begin
     repeat(HOLD)@(posedge clk);
     returned_id=rsp_id;returned_len=rsp_len;status=rsp_status;result=rsp_data;active_cycles=rsp_cycles;
     rsp_ready<=1;@(posedge clk);rsp_ready<=0;
    end
   end
  end
 endtask
endinterface