WIP: Add tests for ts tags and improve these to use ref files

test/files/tags/axi_demux.ts.defs

@@ -0,0 +1 @@
+#s(hash-table size 97 test equal rehash-size 1.5 rehash-threshold 0.8125 data ("axi_demux" (:items ("IdCounterWidth" "spill_register" "slv_aw_chan" "slv_aw_select" "slv_aw_valid" "slv_aw_ready" "lookup_aw_select" "aw_select_occupied" "atop_inject" "w_select" "w_select_valid" "w_open" "w_cnt_up" "lock_aw_valid_d" "aw_valid" "slv_w_chan" "slv_w_valid" "mst_b_chans" "mst_b_valids" "slv_b_chan" "slv_b_valid" "slv_ar_valid" "slv_ar_ready" "lookup_ar_select" "ar_select_occupied" "ar_push" "lock_ar_valid_d" "ar_valid" "mst_r_chans" "mst_r_valids" "slv_r_chan" "slv_r_valid" "axi_demux_id_counters" "counter" "rr_arb_tree" "slv_ar_chan" "slv_ar_select") :locs ((:type "module_declaration" :desc "module axi_demux #(" :file "axi_demux.sv" :line 40))) "IdCounterWidth" (:items nil :locs ((:type "local_parameter_declaration" :desc "localparam int unsigned IdCounterWidth = cf_math_pkg::idx_width(MaxTrans);" :file "axi_demux.sv" :line 76))) "slv_aw_chan" (:items nil :locs ((:type "list_of_net_decl_assignments" :desc "aw_chan_t                 slv_aw_chan;" :file "axi_demux.sv" :line 161) (:type "net_decl_assignment" :desc "aw_chan_t                 slv_aw_chan;" :file "axi_demux.sv" :line 161))) "slv_aw_select" (:items nil :locs ((:type "list_of_net_decl_assignments" :desc "select_t                  slv_aw_select;" :file "axi_demux.sv" :line 162) (:type "net_decl_assignment" :desc "select_t                  slv_aw_select;" :file "axi_demux.sv" :line 162))) "slv_aw_valid" (:items ("slv_aw_valid_chan" "slv_aw_valid_sel") :locs ((:type "variable_decl_assignment" :desc "logic                     slv_aw_valid, slv_aw_valid_chan, slv_aw_valid_sel;" :file "axi_demux.sv" :line 164))) "slv_aw_valid_chan" (:items nil :locs ((:type "variable_decl_assignment" :desc "logic                     slv_aw_valid, slv_aw_valid_chan, slv_aw_valid_sel;" :file "axi_demux.sv" :line 164))) "slv_aw_valid_sel" (:items nil :locs ((:type "variable_decl_assignment" :desc "logic                     slv_aw_valid, slv_aw_valid_chan, slv_aw_valid_sel;" :file "axi_demux.sv" :line 164))) "slv_aw_ready" (:items ("slv_aw_ready_chan" "slv_aw_ready_sel") :locs ((:type "variable_decl_assignment" :desc "logic                     slv_aw_ready, slv_aw_ready_chan, slv_aw_ready_sel;" :file "axi_demux.sv" :line 165))) "slv_aw_ready_chan" (:items nil :locs ((:type "variable_decl_assignment" :desc "logic                     slv_aw_ready, slv_aw_ready_chan, slv_aw_ready_sel;" :file "axi_demux.sv" :line 165))) "slv_aw_ready_sel" (:items nil :locs ((:type "variable_decl_assignment" :desc "logic                     slv_aw_ready, slv_aw_ready_chan, slv_aw_ready_sel;" :file "axi_demux.sv" :line 165))) "lookup_aw_select" (:items nil :locs ((:type "list_of_net_decl_assignments" :desc "select_t                  lookup_aw_select;" :file "axi_demux.sv" :line 168) (:type "net_decl_assignment" :desc "select_t                  lookup_aw_select;" :file "axi_demux.sv" :line 168))) "aw_select_occupied" (:items ("aw_id_cnt_full") :locs ((:type "variable_decl_assignment" :desc "logic                     aw_select_occupied, aw_id_cnt_full;" :file "axi_demux.sv" :line 169))) "aw_id_cnt_full" (:items nil :locs ((:type "variable_decl_assignment" :desc "logic                     aw_select_occupied, aw_id_cnt_full;" :file "axi_demux.sv" :line 169))) "atop_inject" (:items nil :locs ((:type "variable_decl_assignment" :desc "logic                     atop_inject;" :file "axi_demux.sv" :line 171))) "w_select" (:items ("w_select_q") :locs ((:type "list_of_net_decl_assignments" :desc "select_t                  w_select,           w_select_q;" :file "axi_demux.sv" :line 174) (:type "net_decl_assignment" :desc "select_t                  w_select,           w_select_q;" :file "axi_demux.sv" :line 174))) "w_select_q" (:items nil :locs ((:type "net_decl_assignment" :desc "select_t                  w_select,           w_select_q;" :file "axi_demux.sv" :line 174))) "w_select_valid" (:items nil :locs ((:type "variable_decl_assignment" :desc "logic                     w_select_valid;" :file "axi_demux.sv" :line 175))) "w_open" (:items nil :locs ((:type "list_of_net_decl_assignments" :desc "id_cnt_t                  w_open;" :file "axi_demux.sv" :line 176) (:type "net_decl_assignment" :desc "id_cnt_t                  w_open;" :file "axi_demux.sv" :line 176))) "w_cnt_up" (:items ("w_cnt_down") :locs ((:type "variable_decl_assignment" :desc "logic                     w_cnt_up,           w_cnt_down;" :file "axi_demux.sv" :line 177))) "w_cnt_down" (:items nil :locs ((:type "variable_decl_assignment" :desc "logic                     w_cnt_up,           w_cnt_down;" :file "axi_demux.sv" :line 177))) "lock_aw_valid_d" (:items ("lock_aw_valid_q" "load_aw_lock") :locs ((:type "variable_decl_assignment" :desc "logic                     lock_aw_valid_d,    lock_aw_valid_q, load_aw_lock;" :file "axi_demux.sv" :line 180))) "lock_aw_valid_q" (:items nil :locs ((:type "variable_decl_assignment" :desc "logic                     lock_aw_valid_d,    lock_aw_valid_q, load_aw_lock;" :file "axi_demux.sv" :line 180))) "load_aw_lock" (:items nil :locs ((:type "variable_decl_assignment" :desc "logic                     lock_aw_valid_d,    lock_aw_valid_q, load_aw_lock;" :file "axi_demux.sv" :line 180))) "aw_valid" (:items ("aw_ready") :locs ((:type "variable_decl_assignment" :desc "logic                     aw_valid,           aw_ready;" :file "axi_demux.sv" :line 181))) "aw_ready" (:items nil :locs ((:type "variable_decl_assignment" :desc "logic                     aw_valid,           aw_ready;" :file "axi_demux.sv" :line 181))) "slv_w_chan" (:items nil :locs ((:type "list_of_net_decl_assignments" :desc "w_chan_t                  slv_w_chan;" :file "axi_demux.sv" :line 184) (:type "net_decl_assignment" :desc "w_chan_t                  slv_w_chan;" :file "axi_demux.sv" :line 184))) "slv_w_valid" (:items ("slv_w_ready") :locs ((:type "variable_decl_assignment" :desc "logic                     slv_w_valid,        slv_w_ready;" :file "axi_demux.sv" :line 185))) "slv_w_ready" (:items nil :locs ((:type "variable_decl_assignment" :desc "logic                     slv_w_valid,        slv_w_ready;" :file "axi_demux.sv" :line 185))) "mst_b_chans" (:items nil :locs ((:type "variable_decl_assignment" :desc "b_chan_t [NoMstPorts-1:0] mst_b_chans;" :file "axi_demux.sv" :line 188))) "mst_b_valids" (:items ("mst_b_readies") :locs ((:type "variable_decl_assignment" :desc "logic    [NoMstPorts-1:0] mst_b_valids,       mst_b_readies;" :file "axi_demux.sv" :line 189))) "mst_b_readies" (:items nil :locs ((:type "variable_decl_assignment" :desc "logic    [NoMstPorts-1:0] mst_b_valids,       mst_b_readies;" :file "axi_demux.sv" :line 189))) "slv_b_chan" (:items nil :locs ((:type "list_of_net_decl_assignments" :desc "b_chan_t                  slv_b_chan;" :file "axi_demux.sv" :line 192) (:type "net_decl_assignment" :desc "b_chan_t                  slv_b_chan;" :file "axi_demux.sv" :line 192))) "slv_b_valid" (:items ("slv_b_ready") :locs ((:type "variable_decl_assignment" :desc "logic                     slv_b_valid,        slv_b_ready;" :file "axi_demux.sv" :line 193))) "slv_b_ready" (:items nil :locs ((:type "variable_decl_assignment" :desc "logic                     slv_b_valid,        slv_b_ready;" :file "axi_demux.sv" :line 193))) "slv_ar_valid" (:items ("ar_valid_chan" "ar_valid_sel") :locs ((:type "variable_decl_assignment" :desc "logic                     slv_ar_valid, ar_valid_chan, ar_valid_sel;" :file "axi_demux.sv" :line 199))) "ar_valid_chan" (:items nil :locs ((:type "variable_decl_assignment" :desc "logic                     slv_ar_valid, ar_valid_chan, ar_valid_sel;" :file "axi_demux.sv" :line 199))) "ar_valid_sel" (:items nil :locs ((:type "variable_decl_assignment" :desc "logic                     slv_ar_valid, ar_valid_chan, ar_valid_sel;" :file "axi_demux.sv" :line 199))) "slv_ar_ready" (:items ("slv_ar_ready_chan" "slv_ar_ready_sel") :locs ((:type "variable_decl_assignment" :desc "logic                     slv_ar_ready, slv_ar_ready_chan, slv_ar_ready_sel;" :file "axi_demux.sv" :line 200))) "slv_ar_ready_chan" (:items nil :locs ((:type "variable_decl_assignment" :desc "logic                     slv_ar_ready, slv_ar_ready_chan, slv_ar_ready_sel;" :file "axi_demux.sv" :line 200))) "slv_ar_ready_sel" (:items nil :locs ((:type "variable_decl_assignment" :desc "logic                     slv_ar_ready, slv_ar_ready_chan, slv_ar_ready_sel;" :file "axi_demux.sv" :line 200))) "lookup_ar_select" (:items nil :locs ((:type "list_of_net_decl_assignments" :desc "select_t                  lookup_ar_select;" :file "axi_demux.sv" :line 203) (:type "net_decl_assignment" :desc "select_t                  lookup_ar_select;" :file "axi_demux.sv" :line 203))) "ar_select_occupied" (:items ("ar_id_cnt_full") :locs ((:type "variable_decl_assignment" :desc "logic                     ar_select_occupied, ar_id_cnt_full;" :file "axi_demux.sv" :line 204))) "ar_id_cnt_full" (:items nil :locs ((:type "variable_decl_assignment" :desc "logic                     ar_select_occupied, ar_id_cnt_full;" :file "axi_demux.sv" :line 204))) "ar_push" (:items nil :locs ((:type "variable_decl_assignment" :desc "logic                     ar_push;" :file "axi_demux.sv" :line 205))) "lock_ar_valid_d" (:items ("lock_ar_valid_q" "load_ar_lock") :locs ((:type "variable_decl_assignment" :desc "logic                     lock_ar_valid_d,    lock_ar_valid_q, load_ar_lock;" :file "axi_demux.sv" :line 208))) "lock_ar_valid_q" (:items nil :locs ((:type "variable_decl_assignment" :desc "logic                     lock_ar_valid_d,    lock_ar_valid_q, load_ar_lock;" :file "axi_demux.sv" :line 208))) "load_ar_lock" (:items nil :locs ((:type "variable_decl_assignment" :desc "logic                     lock_ar_valid_d,    lock_ar_valid_q, load_ar_lock;" :file "axi_demux.sv" :line 208))) "ar_valid" (:items ("ar_ready") :locs ((:type "variable_decl_assignment" :desc "logic                     ar_valid,           ar_ready;" :file "axi_demux.sv" :line 209))) "ar_ready" (:items nil :locs ((:type "variable_decl_assignment" :desc "logic                     ar_valid,           ar_ready;" :file "axi_demux.sv" :line 209))) "mst_r_chans" (:items nil :locs ((:type "variable_decl_assignment" :desc "r_chan_t [NoMstPorts-1:0] mst_r_chans;" :file "axi_demux.sv" :line 212))) "mst_r_valids" (:items ("mst_r_readies") :locs ((:type "variable_decl_assignment" :desc "logic    [NoMstPorts-1:0] mst_r_valids, mst_r_readies;" :file "axi_demux.sv" :line 213))) "mst_r_readies" (:items nil :locs ((:type "variable_decl_assignment" :desc "logic    [NoMstPorts-1:0] mst_r_valids, mst_r_readies;" :file "axi_demux.sv" :line 213))) "slv_r_chan" (:items nil :locs ((:type "list_of_net_decl_assignments" :desc "r_chan_t                  slv_r_chan;" :file "axi_demux.sv" :line 216) (:type "net_decl_assignment" :desc "r_chan_t                  slv_r_chan;" :file "axi_demux.sv" :line 216))) "slv_r_valid" (:items ("slv_r_ready") :locs ((:type "variable_decl_assignment" :desc "logic                     slv_r_valid,        slv_r_ready;" :file "axi_demux.sv" :line 217))) "slv_r_ready" (:items nil :locs ((:type "variable_decl_assignment" :desc "logic                     slv_r_valid,        slv_r_ready;" :file "axi_demux.sv" :line 217))) "slv_ar_chan" (:items nil :locs ((:type "list_of_net_decl_assignments" :desc "ar_chan_t slv_ar_chan;" :file "axi_demux.sv" :line 434) (:type "net_decl_assignment" :desc "ar_chan_t slv_ar_chan;" :file "axi_demux.sv" :line 434))) "slv_ar_select" (:items nil :locs ((:type "list_of_net_decl_assignments" :desc "select_t  slv_ar_select;" :file "axi_demux.sv" :line 435) (:type "net_decl_assignment" :desc "select_t  slv_ar_select;" :file "axi_demux.sv" :line 435))) "axi_demux_id_counters" (:items ("NoCounters" "mst_select_q" "push_en" "cnt_en" "cnt_delta" "delta_counter") :locs ((:type "module_declaration" :desc "module axi_demux_id_counters #(" :file "axi_demux.sv" :line 686))) "NoCounters" (:items nil :locs ((:type "local_parameter_declaration" :desc "localparam int unsigned NoCounters = 2**AxiIdBits;" :file "axi_demux.sv" :line 710))) "mst_select_q" (:items nil :locs ((:type "variable_decl_assignment" :desc "mst_port_select_t [NoCounters-1:0] mst_select_q;" :file "axi_demux.sv" :line 714))) "push_en" (:items ("inject_en" "pop_en" "occupied" "cnt_full") :locs ((:type "variable_decl_assignment" :desc "logic [NoCounters-1:0] push_en, inject_en, pop_en, occupied, cnt_full;" :file "axi_demux.sv" :line 717))) "inject_en" (:items nil :locs ((:type "variable_decl_assignment" :desc "logic [NoCounters-1:0] push_en, inject_en, pop_en, occupied, cnt_full;" :file "axi_demux.sv" :line 717))) "pop_en" (:items nil :locs ((:type "variable_decl_assignment" :desc "logic [NoCounters-1:0] push_en, inject_en, pop_en, occupied, cnt_full;" :file "axi_demux.sv" :line 717))) "occupied" (:items nil :locs ((:type "variable_decl_assignment" :desc "logic [NoCounters-1:0] push_en, inject_en, pop_en, occupied, cnt_full;" :file "axi_demux.sv" :line 717))) "cnt_full" (:items nil :locs ((:type "variable_decl_assignment" :desc "logic [NoCounters-1:0] push_en, inject_en, pop_en, occupied, cnt_full;" :file "axi_demux.sv" :line 717))) "cnt_en" (:items ("cnt_down" "overflow") :locs ((:type "variable_decl_assignment" :desc "logic cnt_en, cnt_down, overflow;" :file "axi_demux.sv" :line 733))) "cnt_down" (:items nil :locs ((:type "variable_decl_assignment" :desc "logic cnt_en, cnt_down, overflow;" :file "axi_demux.sv" :line 733))) "overflow" (:items nil :locs ((:type "variable_decl_assignment" :desc "logic cnt_en, cnt_down, overflow;" :file "axi_demux.sv" :line 733))) "cnt_delta" (:items ("in_flight") :locs ((:type "list_of_net_decl_assignments" :desc "cnt_t cnt_delta, in_flight;" :file "axi_demux.sv" :line 734) (:type "net_decl_assignment" :desc "cnt_t cnt_delta, in_flight;" :file "axi_demux.sv" :line 734))) "in_flight" (:items nil :locs ((:type "net_decl_assignment" :desc "cnt_t cnt_delta, in_flight;" :file "axi_demux.sv" :line 734))) "slv_req" (:items nil :locs ((:type "list_of_net_decl_assignments" :desc "axi_req_t                     slv_req;" :file "axi_demux.sv" :line 851) (:type "net_decl_assignment" :desc "axi_req_t                     slv_req;" :file "axi_demux.sv" :line 851))) "axi_demux_intf" (:items ("slv_req" "slv_resp" "mst_req" "mst_resp" "axi_demux") :locs ((:type "module_declaration" :desc "module axi_demux_intf #(" :file "axi_demux.sv" :line 810))) "slv_resp" (:items nil :locs ((:type "list_of_net_decl_assignments" :desc "axi_resp_t                    slv_resp;" :file "axi_demux.sv" :line 852) (:type "net_decl_assignment" :desc "axi_resp_t                    slv_resp;" :file "axi_demux.sv" :line 852))) "mst_req" (:items nil :locs ((:type "variable_decl_assignment" :desc "axi_req_t  [NO_MST_PORTS-1:0] mst_req;" :file "axi_demux.sv" :line 853))) "mst_resp" (:items nil :locs ((:type "variable_decl_assignment" :desc "axi_resp_t [NO_MST_PORTS-1:0] mst_resp;" :file "axi_demux.sv" :line 854)))))

test/files/tags/instances.defs

@@ -0,0 +1 @@
+#s(hash-table size 65 test equal rehash-size 1.5 rehash-threshold 0.8125 data ("instances" (:items ("i" "I_BLOCK0" "I_BLOCK1" "I_BLOCK2" "I_BLOCK3" "I_BLOCK_GEN" "I_TEST_IF" "ITEST_IF_PARAMS" "ITEST_IF_PARAMS_ARRAY" "I_TEST_IF_PARAMS_EMPTY" "I_BLOCK_WS_0" "I_BLOCK_WS_1") :locs ((:type "module" :desc "module instances;" :file "instances.sv" :line 20))) "i" (:items nil :locs ((:type "genvar" :desc "for (genvar i=0; i<VALUE; i++) begin : gen_test" :file "instances.sv" :line 60)))))