axi_tdl 0.2.5 → 0.2.7

data/lib/axi/AXI4/packet_partition/data_inf_partition_A1.rb

@@ -0,0 +1,298 @@
+require_hdl 'common_fifo.sv'
+
+TdlBuild.data_inf_partition_A1(__dir__) do
+    parameter.PLEN          128 
+
+    parameter.IASIZE        32
+    parameter.ILSIZE         8
+    parameter.IIDSIZE        4
+
+    parameter.OASIZE         32
+    parameter.OLSIZE         8
+    parameter.OIDSIZE        4
+
+    parameter.ADDR_STEP     1
+    port.data_inf_c.slaver  - 'data_in'     #[in ID..][ADDR...][LENGTH| LSIZE-1:0] length `0 mean 1
+    port.data_inf_c.master  - 'data_out'    #[out ID][in ID..][LENGTH| LSIZE-1:0]
+
+    port.data_inf_c.master  - 'partition_pulse_inf'
+    port.data_inf_c.master  - 'wait_last_inf'
+
+    Initial do 
+        assert(data_in.DSIZE == (param.IASIZE+param.ILSIZE+param.IIDSIZE),"data_in.DSIZE<%0d> != param.IASIZE<%0d>+param.ILSIZE<%0d>+param.IIDSIZE<%0d>",data_in.DSIZE,param.IASIZE,param.ILSIZE,param.IIDSIZE)
+        assert(data_out.DSIZE == (param.OASIZE+param.OLSIZE+param.OIDSIZE),"data_out.DSIZE<%0d> != param.OASIZE<%0d>+param.OLSIZE<%0d>+param.OIDSIZE<%0d>",data_out.DSIZE,param.OASIZE,param.OLSIZE,param.OIDSIZE)
+    end
+
+    enum('IDLE','LOCK','Px','Pl','HOLD','WAT_PP','DONE','WAIT')    - 'ps'
+
+    data_in.clock_reset_taps('clock','rst_n')
+
+    always_ff(posedge.clock, negedge.rst_n) do 
+        IF ~rst_n do 
+            ps.C    <= ps.IDLE 
+        end 
+        ELSE do 
+            ps.C    <= ps.N 
+        end
+    end
+
+    logic   - 'tail_len'
+    logic   - 'one_long_stream'
+    logic   - 'fifo_wr'
+    logic   - 'fifo_full'
+    logic   - 'fifo_empty'
+
+    always_comb do 
+        CASE ps.C do 
+            WHEN ps.IDLE do 
+                IF data_in.vld_rdy do 
+                    ps.N    <= ps.LOCK 
+                end
+                ELSE do 
+                    ps.N    <= ps.IDLE 
+                end
+            end
+            WHEN ps.LOCK do 
+                # ps.N    <= ps.HOLD
+                IF one_long_stream do 
+                    ps.N    <= ps.Pl   
+                end
+                ELSE do 
+                    ps.N    <= ps.WAT_PP
+                end
+            end
+            WHEN ps.WAT_PP do 
+                IF partition_pulse_inf.vld_rdy do 
+                    ps.N    <= ps.Px 
+                end 
+                ELSE do 
+                    ps.N    <= ps.WAT_PP
+                end
+            end
+            WHEN ps.Px do 
+                IF ~fifo_full do 
+                    ps.N    <= ps.HOLD 
+                end
+                ELSE do 
+                    ps.N    <= ps.Px 
+                end
+            end
+            WHEN ps.HOLD do 
+                IF tail_len do 
+                    ps.N    <= ps.Pl 
+                end
+                ELSE do 
+                    ps.N    <= ps.WAT_PP 
+                end
+            end
+            WHEN ps.Pl do 
+                IF ~fifo_full do 
+                    ps.N    <= ps.DONE 
+                end
+                ELSE do 
+                    ps.N    <= ps.Pl 
+                end
+            end
+            WHEN ps.DONE do 
+                IF fifo_empty do 
+                    ps.N    <= ps.WAIT
+                end
+                ELSE do 
+                    ps.N    <= ps.DONE
+                end
+            end
+            WHEN ps.WAIT do 
+                IF wait_last_inf.vld_rdy do 
+                    ps.N    <= ps.IDLE 
+                end
+                ELSE do 
+                    ps.N    <= ps.WAIT 
+                end
+            end
+            DEFAULT do 
+                ps.N    <= ps.IDLE 
+            end
+        end
+    end
+
+    always_ff(posedge.clock,negedge.rst_n) do 
+        IF ~rst_n do
+            data_in.ready   <= 1.b0 
+        end
+        ELSE do 
+            CASE ps.N do 
+                WHEN ps.IDLE do 
+                    data_in.ready   <= 1.b1 
+                end
+                DEFAULT do 
+                    data_in.ready   <= 1.b0 
+                end
+            end
+        end 
+    end
+
+    logic[param.OIDSIZE]                 - 'curr_id'
+    # logic[param.OLSIZE]                  - 'curr_length'
+    logic[param.OASIZE]                  - 'curr_addr'
+    logic[param.ILSIZE]                   - 'curr_length'
+    # logic[param.IASIZE]                  - 'curr_addr'
+
+    logic[param.OLSIZE]                  - 'wr_length'
+
+    always_ff(posedge.clock,negedge.rst_n) do 
+        IF ~rst_n do
+            curr_addr   <= 0.A 
+            curr_length <= 0.A 
+        end
+        ELSE do 
+            CASE ps.N do 
+                WHEN ps.LOCK do 
+                    one_long_stream <= data_in.data[param.ILSIZE-1,0] < param.PLEN
+                    curr_id  <= 0.A 
+                    curr_length     <= data_in.data[param.ILSIZE-1,0]
+                    curr_addr       <= data_in.data[param.ILSIZE+param.IASIZE-1, param.ILSIZE]
+                    # curr_id         <= data_in.data[param.ILSIZE+param.IASIZE+param.IIDSIZE-1, param.ILSIZE+param.IASIZE]
+                end
+                WHEN ps.HOLD do 
+                    curr_length <= curr_length - param.PLEN
+                    curr_addr   <= curr_addr + param.ADDR_STEP*param.PLEN/1024
+                    curr_id     <= curr_id + 1.b1
+                end
+                WHEN ps.IDLE, ps.DONE do 
+                    one_long_stream <= 1.b0 
+                end
+            end
+        end
+    end 
+
+    always_ff(posedge.clock,negedge.rst_n) do 
+        IF ~rst_n do 
+            tail_len    <= 1.b0 
+        end
+        ELSE do 
+            CASE ps.N do 
+                WHEN ps.LOCK do 
+                    tail_len    <= (data_in.data[param.ILSIZE-1,0] < param.PLEN)
+                end
+                WHEN ps.HOLD do 
+                    IF curr_length < (param.PLEN*2-0) do 
+                        tail_len    <= 1.b1 
+                    end
+                    ELSE do 
+                        tail_len    <= 1.b0 
+                    end
+                end
+            end
+        end
+    end
+
+    always_ff(posedge.clock,negedge.rst_n) do 
+        IF ~rst_n do 
+            wr_length   <= 0.A 
+            fifo_wr     <= 1.b0 
+        end
+        ELSE do 
+            CASE ps.N do 
+                WHEN ps.Px do 
+                    wr_length   <= param.PLEN - 1.b1 
+                    fifo_wr     <= 1.b1 
+                end
+                WHEN ps.Pl do 
+                    wr_length   <= curr_length
+                    fifo_wr     <= 1.b1 
+                end 
+                DEFAULT do 
+                    fifo_wr     <= 1.b0 
+                end
+            end
+        end 
+    end
+
+    always_ff(posedge.clock,negedge.rst_n) do 
+        IF ~rst_n do
+            partition_pulse_inf.valid   <= 1.b0
+            partition_pulse_inf.data    <= 0.A
+        end 
+        ELSE do 
+            CASE ps.N do 
+                WHEN ps.WAT_PP do 
+                    partition_pulse_inf.valid   <= 1.b1
+                    partition_pulse_inf.data    <= 0.A
+                end
+                DEFAULT do 
+                    partition_pulse_inf.valid   <= 1.b0
+                    partition_pulse_inf.data    <= 0.A
+                end
+            end
+        end
+    end
+
+    common_fifo.common_fifo_inst do |h|
+        h.param.DEPTH       6
+        # h.param.DSIZE                   data_out.DSIZE
+        h.param.DSIZE                   param.OIDSIZE+param.OASIZE+param.OLSIZE
+        h.input.clock                   data_in.clock
+        h.input.rst_n                   data_in.rst_n
+        h.input['DSIZE'].wdata          logic_bind_(curr_id,curr_addr,wr_length)
+        h.input.wr_en                   fifo_wr & ~fifo_full
+        h.output['DSIZE'].rdata         data_out.data
+        h.input.rd_en                   data_out.vld_rdy
+        h.output.logic.empty            fifo_empty
+        h.output.logic.full             fifo_full
+    end
+
+    Assign do 
+        data_out.valid  <= ~fifo_empty
+    end
+
+    ## ----- wait last ack ---------
+    always_ff(posedge.clock,negedge.rst_n) do 
+        IF ~rst_n do
+            wait_last_inf.data  <= 0.A 
+            wait_last_inf.valid <= 0.A 
+        end
+        ELSE do 
+            CASE ps.N do 
+                WHEN ps.WAIT do 
+                    wait_last_inf.data  <= 0.A 
+                    wait_last_inf.valid <= 1.b1
+                end
+                DEFAULT do 
+                    wait_last_inf.data  <= 0.A 
+                    wait_last_inf.valid <= 1.b0
+                end
+            end
+        end
+    end
+
+    ### Track 
+    # debugLogic[10]  - 'st5_cnt'
+    # debugLogic      - 'track_st5'
+
+    logic[10]  - 'st5_cnt'
+    logic      - 'track_st5'
+
+    always_ff(posedge.clock,negedge.rst_n) do 
+        IF ~rst_n do
+            st5_cnt     <= 0.A 
+            track_st5   <= 1.b0 
+        end
+        ELSE do 
+            CASE ps.N do 
+                WHEN ps.WAT_PP do 
+                    st5_cnt     <= st5_cnt + 1.b1 
+                    track_st5   <= st5_cnt > 10.d200 
+                end
+                WHEN ps.WAIT do 
+                    st5_cnt     <= st5_cnt + 1.b1 
+                    track_st5   <= st5_cnt > 10.d1000 
+                end
+                DEFAULT do 
+                    st5_cnt     <= 0.A 
+                    track_st5   <= 1.b0 
+                end
+            end
+        end
+    end
+
+end

data/lib/axi/AXI4/packet_partition/data_inf_partition_A1.sv

@@ -0,0 +1,316 @@
+/**********************************************
+_______________________________________ 
+___________    Cook Darwin   __________    
+_______________________________________
+descript:
+author : Cook.Darwin
+Version: VERA.0.0
+created: 2025-11-23 21:03:52 +0800
+madified:
+***********************************************/
+`timescale 1ns/1ps
+
+module data_inf_partition_A1 #(
+    parameter  PLEN      = 128,
+    parameter  IASIZE    = 32,
+    parameter  ILSIZE    = 8,
+    parameter  IIDSIZE   = 4,
+    parameter  OASIZE    = 32,
+    parameter  OLSIZE    = 8,
+    parameter  OIDSIZE   = 4,
+    parameter  ADDR_STEP = 1
+)(
+    data_inf_c.slaver   data_in,
+    data_inf_c.master   data_out,
+    data_inf_c.master   partition_pulse_inf,
+    data_inf_c.master   wait_last_inf
+);
+
+//==========================================================================
+//-------- define ----------------------------------------------------------
+logic  clock;
+logic  rst_n;
+logic tail_len;
+logic one_long_stream;
+logic fifo_wr;
+logic fifo_full;
+logic fifo_empty;
+logic [OIDSIZE-1:0]  curr_id ;
+logic [OASIZE-1:0]  curr_addr ;
+logic [ILSIZE-1:0]  curr_length ;
+logic [OLSIZE-1:0]  wr_length ;
+logic [10-1:0]  st5_cnt ;
+logic track_st5;
+
+//==========================================================================
+//-------- instance --------------------------------------------------------
+common_fifo #(
+    .DEPTH          (6                     ),
+    .DSIZE          (OIDSIZE+OASIZE+OLSIZE )
+)common_fifo_inst(
+/* input  */.clock (data_in.clock                    ),
+/* input  */.rst_n (data_in.rst_n                    ),
+/* input  */.wdata ({curr_id,curr_addr,wr_length}    ),
+/* input  */.wr_en (fifo_wr & ~fifo_full             ),
+/* output */.rdata (data_out.data                    ),
+/* input  */.rd_en (data_out.valid && data_out.ready ),
+/* output */.count (/*unused */                      ),
+/* output */.empty (fifo_empty                       ),
+/* output */.full  (fifo_full                        )
+);
+//==========================================================================
+//-------- expression ------------------------------------------------------
+typedef enum { 
+    IDLE,
+    LOCK,
+    Px,
+    Pl,
+    HOLD,
+    WAT_PP,
+    DONE,
+    WAIT
+} SE_STATE_ps;
+SE_STATE_ps CSTATE_ps,NSTATE_ps;
+initial begin
+    assert(data_in.DSIZE==(IASIZE+ILSIZE+IIDSIZE))else begin
+        $error("data_in.DSIZE<%0d> != param.IASIZE<%0d>+param.ILSIZE<%0d>+param.IIDSIZE<%0d>",data_in.DSIZE,IASIZE,ILSIZE,IIDSIZE);
+        $stop;
+    end
+    assert(data_out.DSIZE==(OASIZE+OLSIZE+OIDSIZE))else begin
+        $error("data_out.DSIZE<%0d> != param.OASIZE<%0d>+param.OLSIZE<%0d>+param.OIDSIZE<%0d>",data_out.DSIZE,OASIZE,OLSIZE,OIDSIZE);
+        $stop;
+    end
+end
+
+assign clock = data_in.clock;
+assign rst_n = data_in.rst_n;
+
+always_ff@(posedge clock,negedge rst_n) begin 
+    if(~rst_n)begin
+        CSTATE_ps <= IDLE;
+    end
+    else begin
+        CSTATE_ps <= NSTATE_ps;
+    end
+end
+
+always_comb begin 
+    case(CSTATE_ps) 
+        IDLE:begin 
+            if(data_in.valid && data_in.ready)begin
+                NSTATE_ps = LOCK;
+            end
+            else begin
+                NSTATE_ps = IDLE;
+            end
+        end
+        LOCK:begin 
+            if(one_long_stream)begin
+                NSTATE_ps = Pl;
+            end
+            else begin
+                NSTATE_ps = WAT_PP;
+            end
+        end
+        WAT_PP:begin 
+            if(partition_pulse_inf.valid && partition_pulse_inf.ready)begin
+                NSTATE_ps = Px;
+            end
+            else begin
+                NSTATE_ps = WAT_PP;
+            end
+        end
+        Px:begin 
+            if(~fifo_full)begin
+                NSTATE_ps = HOLD;
+            end
+            else begin
+                NSTATE_ps = Px;
+            end
+        end
+        HOLD:begin 
+            if(tail_len)begin
+                NSTATE_ps = Pl;
+            end
+            else begin
+                NSTATE_ps = WAT_PP;
+            end
+        end
+        Pl:begin 
+            if(~fifo_full)begin
+                NSTATE_ps = DONE;
+            end
+            else begin
+                NSTATE_ps = Pl;
+            end
+        end
+        DONE:begin 
+            if(fifo_empty)begin
+                NSTATE_ps = WAIT;
+            end
+            else begin
+                NSTATE_ps = DONE;
+            end
+        end
+        WAIT:begin 
+            if(wait_last_inf.valid && wait_last_inf.ready)begin
+                NSTATE_ps = IDLE;
+            end
+            else begin
+                NSTATE_ps = WAIT;
+            end
+        end
+        default:begin 
+            NSTATE_ps = IDLE;
+        end
+    endcase
+end
+
+always_ff@(posedge clock,negedge rst_n) begin 
+    if(~rst_n)begin
+        data_in.ready <= 1'b0;
+    end
+    else begin
+        case(NSTATE_ps) 
+            IDLE:begin 
+                data_in.ready <= 1'b1;
+            end
+            default:begin 
+                data_in.ready <= 1'b0;
+            end
+        endcase
+    end
+end
+
+always_ff@(posedge clock,negedge rst_n) begin 
+    if(~rst_n)begin
+        curr_addr <= '0;
+        curr_length <= '0;
+    end
+    else begin
+        case(NSTATE_ps) 
+            LOCK:begin 
+                one_long_stream <= data_in.data[ILSIZE-1:0]<PLEN;
+                curr_id <= '0;
+                curr_length <= data_in.data[ILSIZE-1:0];
+                curr_addr <= data_in.data[ILSIZE+IASIZE-1:ILSIZE];
+            end
+            HOLD:begin 
+                curr_length <= (curr_length-PLEN);
+                curr_addr <= (curr_addr+(ADDR_STEP*PLEN/1024));
+                curr_id <= (curr_id+1'b1);
+            end
+            IDLE,DONE:begin 
+                one_long_stream <= 1'b0;
+            end
+        endcase
+    end
+end
+
+always_ff@(posedge clock,negedge rst_n) begin 
+    if(~rst_n)begin
+        tail_len <= 1'b0;
+    end
+    else begin
+        case(NSTATE_ps) 
+            LOCK:begin 
+                tail_len <= (data_in.data[ILSIZE-1:0]<PLEN);
+            end
+            HOLD:begin 
+                if(curr_length<(PLEN*2-0))begin
+                    tail_len <= 1'b1;
+                end
+                else begin
+                    tail_len <= 1'b0;
+                end
+            end
+        endcase
+    end
+end
+
+always_ff@(posedge clock,negedge rst_n) begin 
+    if(~rst_n)begin
+        wr_length <= '0;
+        fifo_wr <= 1'b0;
+    end
+    else begin
+        case(NSTATE_ps) 
+            Px:begin 
+                wr_length <= (PLEN-1'b1);
+                fifo_wr <= 1'b1;
+            end
+            Pl:begin 
+                wr_length <= curr_length;
+                fifo_wr <= 1'b1;
+            end
+            default:begin 
+                fifo_wr <= 1'b0;
+            end
+        endcase
+    end
+end
+
+always_ff@(posedge clock,negedge rst_n) begin 
+    if(~rst_n)begin
+        partition_pulse_inf.valid <= 1'b0;
+        partition_pulse_inf.data <= '0;
+    end
+    else begin
+        case(NSTATE_ps) 
+            WAT_PP:begin 
+                partition_pulse_inf.valid <= 1'b1;
+                partition_pulse_inf.data <= '0;
+            end
+            default:begin 
+                partition_pulse_inf.valid <= 1'b0;
+                partition_pulse_inf.data <= '0;
+            end
+        endcase
+    end
+end
+
+assign data_out.valid = ~fifo_empty;
+
+always_ff@(posedge clock,negedge rst_n) begin 
+    if(~rst_n)begin
+        wait_last_inf.data <= '0;
+        wait_last_inf.valid <= '0;
+    end
+    else begin
+        case(NSTATE_ps) 
+            WAIT:begin 
+                wait_last_inf.data <= '0;
+                wait_last_inf.valid <= 1'b1;
+            end
+            default:begin 
+                wait_last_inf.data <= '0;
+                wait_last_inf.valid <= 1'b0;
+            end
+        endcase
+    end
+end
+
+always_ff@(posedge clock,negedge rst_n) begin 
+    if(~rst_n)begin
+        st5_cnt <= '0;
+        track_st5 <= 1'b0;
+    end
+    else begin
+        case(NSTATE_ps) 
+            WAT_PP:begin 
+                st5_cnt <= (st5_cnt+1'b1);
+                track_st5 <= st5_cnt>10'd200;
+            end
+            WAIT:begin 
+                st5_cnt <= (st5_cnt+1'b1);
+                track_st5 <= st5_cnt>10'd1000;
+            end
+            default:begin 
+                st5_cnt <= '0;
+                track_st5 <= 1'b0;
+            end
+        endcase
+    end
+end
+
+endmodule