Skip to content

Collective PR to combine tests increasing coverage #931

Collective PR to combine tests increasing coverage

Collective PR to combine tests increasing coverage #931

Triggered via pull request October 4, 2024 14:00
@wsipakwsipak
synchronize #238
Status Success
Total duration 1m 15s
Artifacts

verible-format.yml

on: pull_request_target
format-review
48s
format-review
Fit to window
Zoom out
Zoom in

Annotations

10 warnings
format-review: design/dbg/el2_dbg.sv#L27
[verible-verilog-format] reported by reviewdog 🐶 Raw Output: design/dbg/el2_dbg.sv:27:-`include "el2_param.vh" design/dbg/el2_dbg.sv:28:- )( design/dbg/el2_dbg.sv:29:- // outputs to the core for command and data interface design/dbg/el2_dbg.sv:30:- output logic [31:0] dbg_cmd_addr, design/dbg/el2_dbg.sv:31:- output logic [31:0] dbg_cmd_wrdata, design/dbg/el2_dbg.sv:32:- output logic dbg_cmd_valid, design/dbg/el2_dbg.sv:33:- output logic dbg_cmd_write, // 1: write command, 0: read_command design/dbg/el2_dbg.sv:34:- output logic [1:0] dbg_cmd_type, // 0:gpr 1:csr 2: memory design/dbg/el2_dbg.sv:35:- output logic [1:0] dbg_cmd_size, // size of the abstract mem access debug command design/dbg/el2_dbg.sv:36:- output logic dbg_core_rst_l, // core reset from dm design/dbg/el2_dbg.sv:37:- design/dbg/el2_dbg.sv:38:- // inputs back from the core/dec design/dbg/el2_dbg.sv:39:- input logic [31:0] core_dbg_rddata, design/dbg/el2_dbg.sv:40:- input logic core_dbg_cmd_done, // This will be treated like a valid signal design/dbg/el2_dbg.sv:41:- input logic core_dbg_cmd_fail, // Exception during command run design/dbg/el2_dbg.sv:42:- design/dbg/el2_dbg.sv:43:- // Signals to dma to get a bubble design/dbg/el2_dbg.sv:44:- output logic dbg_dma_bubble, // Debug needs a bubble to send a valid design/dbg/el2_dbg.sv:45:- input logic dma_dbg_ready, // DMA is ready to accept debug request design/dbg/el2_dbg.sv:46:- design/dbg/el2_dbg.sv:47:- // interface with the rest of the core to halt/resume handshaking design/dbg/el2_dbg.sv:48:- output logic dbg_halt_req, // This is a pulse design/dbg/el2_dbg.sv:49:- output logic dbg_resume_req, // Debug sends a resume requests. Pulse design/dbg/el2_dbg.sv:50:- input logic dec_tlu_debug_mode, // Core is in debug mode design/dbg/el2_dbg.sv:51:- input logic dec_tlu_dbg_halted, // The core has finished the queiscing sequence. Core is halted now design/dbg/el2_dbg.sv:52:- input logic dec_tlu_mpc_halted_only, // Only halted due to MPC design/dbg/el2_dbg.sv:53:- input logic dec_tlu_resume_ack, // core sends back an ack for the resume (pulse) design/dbg/el2_dbg.sv:54:- design/dbg/el2_dbg.sv:55:- // inputs from the JTAG design/dbg/el2_dbg.sv:56:- input logic dmi_reg_en, // read or write design/dbg/el2_dbg.sv:57:- input logic [6:0] dmi_reg_addr, // address of DM register design/dbg/el2_dbg.sv:58:- input logic dmi_reg_wr_en, // write instruction design/dbg/el2_dbg.sv:59:- input logic [31:0] dmi_reg_wdata, // write data design/dbg/el2_dbg.sv:60:- design/dbg/el2_dbg.sv:61:- // output design/dbg/el2_dbg.sv:62:- output logic [31:0] dmi_reg_rdata, // read data design/dbg/el2_dbg.sv:63:- design/dbg/el2_dbg.sv:64:- // AXI Write Channels design/dbg/el2_dbg.sv:65:- output logic sb_axi_awvalid, design/dbg/el2_dbg.sv:66:- input logic sb_axi_awready, design/dbg/el2_dbg.sv:67:- /* exclude signals that are tied to constant value in this file */ design/dbg/el2_dbg.sv:68:- /*verilator coverage_off*/ design/dbg/el2_dbg.sv:69:- output logic [pt.SB_BUS_TAG-1:0] sb_axi_awid, design/dbg/el2_dbg.sv:70:- /*verilator coverage_on*/ design/dbg/el2_dbg.sv:71:- output logic [31:0] sb_axi_awaddr, design/dbg/el2_dbg.sv:72:- output logic [3:0] sb_axi_awregion, design/dbg/el2_dbg.sv:73:- /* exclude signals that are t
format-review: design/dbg/el2_dbg.sv#L508
[verible-verilog-format] reported by reviewdog 🐶 Raw Output: design/dbg/el2_dbg.sv:508:- dbg_state_en = (dmstatus_reg[9] & resumereq) | execute_command | ~(dmstatus_reg[9] | dec_tlu_mpc_halted_only); design/dbg/el2_dbg.sv:509:- abstractcs_busy_wren = dbg_state_en & ((dbg_nxtstate == CORE_CMD_START) | (dbg_nxtstate == SB_CMD_START)); // write busy when a new command was written by jtag design/dbg/el2_dbg.sv:510:- abstractcs_busy_din = 1'b1; design/dbg/el2_dbg.sv:511:- dbg_resume_req = dbg_state_en & (dbg_nxtstate == RESUMING); // single cycle pulse to core if resuming design/dbg/el2_dbg.sv:512:- end design/dbg/el2_dbg.sv:513:- CORE_CMD_START: begin design/dbg/el2_dbg.sv:514:- // Don't execute the command if cmderror or transfer=0 for abstract register access design/dbg/el2_dbg.sv:515:- dbg_nxtstate = ((|abstractcs_reg[10:8]) | ((command_reg[31:24] == 8'h0) & ~command_reg[17])) ? CMD_DONE : CORE_CMD_WAIT; // new command sent to the core design/dbg/el2_dbg.sv:516:- dbg_state_en = dbg_cmd_valid | (|abstractcs_reg[10:8]) | ((command_reg[31:24] == 8'h0) & ~command_reg[17]); design/dbg/el2_dbg.sv:517:- end design/dbg/el2_dbg.sv:518:- CORE_CMD_WAIT: begin design/dbg/el2_dbg.sv:519:- dbg_nxtstate = CMD_DONE; design/dbg/el2_dbg.sv:520:- dbg_state_en = core_dbg_cmd_done; // go to done state for one cycle after completing current command design/dbg/el2_dbg.sv:521:- end design/dbg/el2_dbg.sv:522:- SB_CMD_START: begin design/dbg/el2_dbg.sv:523:- dbg_nxtstate = (|abstractcs_reg[10:8]) ? CMD_DONE : SB_CMD_SEND; design/dbg/el2_dbg.sv:524:- dbg_state_en = (dbg_bus_clk_en & ~sb_cmd_pending) | (|abstractcs_reg[10:8]); design/dbg/el2_dbg.sv:525:- end design/dbg/el2_dbg.sv:526:- SB_CMD_SEND: begin design/dbg/el2_dbg.sv:527:- sb_abmem_cmd_done_in = 1'b1; design/dbg/el2_dbg.sv:528:- sb_abmem_data_done_in= 1'b1; design/dbg/el2_dbg.sv:529:- sb_abmem_cmd_done_en = (sb_bus_cmd_read | sb_bus_cmd_write_addr) & dbg_bus_clk_en; design/dbg/el2_dbg.sv:530:- sb_abmem_data_done_en= (sb_bus_cmd_read | sb_bus_cmd_write_data) & dbg_bus_clk_en; design/dbg/el2_dbg.sv:531:- dbg_nxtstate = SB_CMD_RESP; design/dbg/el2_dbg.sv:532:- dbg_state_en = (sb_abmem_cmd_done | sb_abmem_cmd_done_en) & (sb_abmem_data_done | sb_abmem_data_done_en) & dbg_bus_clk_en; design/dbg/el2_dbg.sv:533:- end design/dbg/el2_dbg.sv:534:- SB_CMD_RESP: begin design/dbg/el2_dbg.sv:535:- dbg_nxtstate = CMD_DONE; design/dbg/el2_dbg.sv:536:- dbg_state_en = (sb_bus_rsp_read | sb_bus_rsp_write) & dbg_bus_clk_en; design/dbg/el2_dbg.sv:537:- dbg_sb_bus_error = (sb_bus_rsp_read | sb_bus_rsp_write) & sb_bus_rsp_error & dbg_bus_clk_en; design/dbg/el2_dbg.sv:538:- data0_reg_wren2 = dbg_state_en & ~sb_abmem_cmd_write & ~dbg_sb_bus_error; design/dbg/el2_dbg.sv:539:- end design/dbg/el2_dbg.sv:540:- CMD_DONE: begin design/dbg/el2_dbg.sv:541:- dbg_nxtstate = HALTED; design/dbg/el2_dbg.sv:542:- dbg_state_en = 1'b1; design/dbg/el2_dbg.sv:543:- abstractcs_busy_wren = dbg_state_en; // remove the busy bit from the abstracts ( bit 12 ) design/dbg/el2_dbg.sv:544:- abstractcs_busy_din = 1'b0; design/dbg/el2_dbg.sv:545:- sb_abmem_cmd_done_in = 1'b0; design/dbg/el2_dbg.sv:546:- sb_abmem_data_done_in= 1'b0; design/dbg/el2_dbg.sv:547:- sb_abmem
format-review: design/dbg/el2_dbg.sv#L620
[verible-verilog-format] reported by reviewdog 🐶 Raw Output: design/dbg/el2_dbg.sv:620:- sb_nxtstate = SBIDLE; design/dbg/el2_dbg.sv:621:- sb_state_en = 1'b0; design/dbg/el2_dbg.sv:622:- sbcs_sbbusy_wren = 1'b0; design/dbg/el2_dbg.sv:623:- sbcs_sbbusy_din = 1'b0; design/dbg/el2_dbg.sv:624:- sbcs_sberror_wren = 1'b0; design/dbg/el2_dbg.sv:625:- sbcs_sberror_din[2:0] = 3'b0; design/dbg/el2_dbg.sv:626:- sbaddress0_reg_wren1 = 1'b0; design/dbg/el2_dbg.sv:627:- case (sb_state) design/dbg/el2_dbg.sv:628:- SBIDLE: begin design/dbg/el2_dbg.sv:629:- sb_nxtstate = sbdata0wr_access ? WAIT_WR : WAIT_RD; design/dbg/el2_dbg.sv:630:- sb_state_en = (sbdata0wr_access | sbreadondata_access | sbreadonaddr_access) & ~(|sbcs_reg[14:12]) & ~sbcs_reg[22]; design/dbg/el2_dbg.sv:631:- sbcs_sbbusy_wren = sb_state_en; // set the single read bit if it is a singlread command design/dbg/el2_dbg.sv:632:- sbcs_sbbusy_din = 1'b1; design/dbg/el2_dbg.sv:633:- sbcs_sberror_wren = sbcs_wren & (|dmi_reg_wdata[14:12]); // write to clear the error bits design/dbg/el2_dbg.sv:634:- sbcs_sberror_din[2:0] = ~dmi_reg_wdata[14:12] & sbcs_reg[14:12]; design/dbg/el2_dbg.sv:635:- end design/dbg/el2_dbg.sv:636:- WAIT_RD: begin design/dbg/el2_dbg.sv:637:- sb_nxtstate = (sbcs_unaligned | sbcs_illegal_size) ? DONE : CMD_RD; design/dbg/el2_dbg.sv:638:- sb_state_en = (dbg_bus_clk_en & ~sb_abmem_cmd_pending) | sbcs_unaligned | sbcs_illegal_size; design/dbg/el2_dbg.sv:639:- sbcs_sberror_wren = sbcs_unaligned | sbcs_illegal_size; design/dbg/el2_dbg.sv:640:- sbcs_sberror_din[2:0] = sbcs_unaligned ? 3'b011 : 3'b100; design/dbg/el2_dbg.sv:641:- end design/dbg/el2_dbg.sv:642:- WAIT_WR: begin design/dbg/el2_dbg.sv:643:- sb_nxtstate = (sbcs_unaligned | sbcs_illegal_size) ? DONE : CMD_WR; design/dbg/el2_dbg.sv:644:- sb_state_en = (dbg_bus_clk_en & ~sb_abmem_cmd_pending) | sbcs_unaligned | sbcs_illegal_size; design/dbg/el2_dbg.sv:645:- sbcs_sberror_wren = sbcs_unaligned | sbcs_illegal_size; design/dbg/el2_dbg.sv:646:- sbcs_sberror_din[2:0] = sbcs_unaligned ? 3'b011 : 3'b100; design/dbg/el2_dbg.sv:647:- end design/dbg/el2_dbg.sv:648:- CMD_RD : begin design/dbg/el2_dbg.sv:649:- sb_nxtstate = RSP_RD; design/dbg/el2_dbg.sv:650:- sb_state_en = sb_bus_cmd_read & dbg_bus_clk_en; design/dbg/el2_dbg.sv:651:- end design/dbg/el2_dbg.sv:652:- CMD_WR : begin design/dbg/el2_dbg.sv:653:- sb_nxtstate = (sb_bus_cmd_write_addr & sb_bus_cmd_write_data) ? RSP_WR : (sb_bus_cmd_write_data ? CMD_WR_ADDR : CMD_WR_DATA); design/dbg/el2_dbg.sv:654:- sb_state_en = (sb_bus_cmd_write_addr | sb_bus_cmd_write_data) & dbg_bus_clk_en; design/dbg/el2_dbg.sv:655:- end design/dbg/el2_dbg.sv:656:- CMD_WR_ADDR : begin design/dbg/el2_dbg.sv:657:- sb_nxtstate = RSP_WR; design/dbg/el2_dbg.sv:658:- sb_state_en = sb_bus_cmd_write_addr & dbg_bus_clk_en; design/dbg/el2_dbg.sv:659:- end design/dbg/el2_dbg.sv:660:- CMD_WR_DATA : begin design/dbg/el2_dbg.sv:661:- sb_nxtstate = RSP_WR; design/dbg/el2_dbg.sv:662:- sb_state_en = sb_bus_cmd_write_data & dbg_bus_clk_en; design/dbg/el2_dbg.sv:663:- end design/dbg/el2_dbg.sv:664:- RSP_RD: begin design/dbg/el2_dbg.sv:665:- sb_nxtstate
format-review: design/el2_veer.sv#L26
[verible-verilog-format] reported by reviewdog 🐶 Raw Output: design/el2_veer.sv:26:-`include "el2_param.vh" design/el2_veer.sv:27:- ) design/el2_veer.sv:28:- ( design/el2_veer.sv:29:- input logic clk, design/el2_veer.sv:30:- input logic rst_l, design/el2_veer.sv:31:- input logic dbg_rst_l, design/el2_veer.sv:32:- input logic [31:1] rst_vec, design/el2_veer.sv:33:- input logic nmi_int, design/el2_veer.sv:34:- input logic [31:1] nmi_vec, design/el2_veer.sv:35:- output logic core_rst_l, // This is "rst_l | dbg_rst_l" design/el2_veer.sv:36:- design/el2_veer.sv:37:- output logic active_l2clk, design/el2_veer.sv:38:- output logic free_l2clk, design/el2_veer.sv:39:- design/el2_veer.sv:40:- output logic [31:0] trace_rv_i_insn_ip, design/el2_veer.sv:41:- output logic [31:0] trace_rv_i_address_ip, design/el2_veer.sv:42:- output logic trace_rv_i_valid_ip, design/el2_veer.sv:43:- output logic trace_rv_i_exception_ip, design/el2_veer.sv:44:- output logic [4:0] trace_rv_i_ecause_ip, design/el2_veer.sv:45:- output logic trace_rv_i_interrupt_ip, design/el2_veer.sv:46:- output logic [31:0] trace_rv_i_tval_ip, design/el2_veer.sv:47:- design/el2_veer.sv:48:- design/el2_veer.sv:49:- output logic dccm_clk_override, design/el2_veer.sv:50:- output logic icm_clk_override, design/el2_veer.sv:51:- output logic dec_tlu_core_ecc_disable, design/el2_veer.sv:52:- design/el2_veer.sv:53:- // external halt/run interface design/el2_veer.sv:54:- input logic i_cpu_halt_req, // Asynchronous Halt request to CPU design/el2_veer.sv:55:- input logic i_cpu_run_req, // Asynchronous Restart request to CPU design/el2_veer.sv:56:- output logic o_cpu_halt_ack, // Core Acknowledge to Halt request design/el2_veer.sv:57:- output logic o_cpu_halt_status, // 1'b1 indicates processor is halted design/el2_veer.sv:58:- output logic o_cpu_run_ack, // Core Acknowledge to run request design/el2_veer.sv:59:- output logic o_debug_mode_status, // Core to the PMU that core is in debug mode. When core is in debug mode, the PMU should refrain from sendng a halt or run request design/el2_veer.sv:60:- design/el2_veer.sv:61:- input logic [31:4] core_id, // CORE ID design/el2_veer.sv:62:- design/el2_veer.sv:63:- // external MPC halt/run interface design/el2_veer.sv:64:- input logic mpc_debug_halt_req, // Async halt request design/el2_veer.sv:65:- input logic mpc_debug_run_req, // Async run request design/el2_veer.sv:66:- input logic mpc_reset_run_req, // Run/halt after reset design/el2_veer.sv:67:- output logic mpc_debug_halt_ack, // Halt ack design/el2_veer.sv:68:- output logic mpc_debug_run_ack, // Run ack design/el2_veer.sv:69:- output logic debug_brkpt_status, // debug breakpoint design/el2_veer.sv:70:- design/el2_veer.sv:71:- output logic dec_tlu_perfcnt0, // toggles when slot0 perf counter 0 has an event inc design/el2_veer.sv:72:- output logic dec_tlu_perfcnt1, design/el2_veer.sv:73:- output logic dec_tlu_perfcnt2, design/el2_veer.sv:74:- output logic dec_tlu_perfcnt3, design/el2_veer.sv:75:- design/el2_veer.sv:76:- // DCCM ports design/el2_veer.sv:77:- output logic dccm_wren, design/el2_veer.sv:78:- output logic dccm_rden, design/el2_veer.sv:79:- output logic [pt.DCCM_BITS-1:0] dccm_wr_addr_lo, design/el2_veer.sv:80:- output logic [pt.DCCM_BITS-1:0] dccm_wr_addr_hi, design/el2_veer.sv:81:- output logic [pt.DCCM_BITS-1:0] dccm_rd_addr_lo, design/el2_veer.sv:82:- output logic [pt.DCCM_BITS-1:0] dccm_rd_addr_hi, design/el2_veer.sv:83:- output logic [pt.DCCM_FDATA_WIDTH-1:0] dccm_wr_data_lo, design/el2_veer.sv:84:- output logic [pt.DCCM_FDATA_WIDTH-1:0] dccm_wr_data_hi, design/el2_veer.sv:85:- design/el2_veer.sv:86:- input logic [pt.DCCM_FDATA_WIDTH-1:0] dccm_rd_data_lo, design/el2_veer.sv
format-review: design/el2_veer.sv#L461
[verible-verilog-format] reported by reviewdog 🐶 Raw Output: design/el2_veer.sv:461:- logic [63:0] hwdata_nc; design/el2_veer.sv:462:- //---------------------------------------------------------------------- design/el2_veer.sv:463:- // design/el2_veer.sv:464:- //---------------------------------------------------------------------- design/el2_veer.sv:465:- design/el2_veer.sv:466:- logic ifu_pmu_instr_aligned; design/el2_veer.sv:467:- logic ifu_ic_error_start; design/el2_veer.sv:468:- logic ifu_iccm_dma_rd_ecc_single_err; design/el2_veer.sv:469:- logic ifu_iccm_rd_ecc_single_err; design/el2_veer.sv:470:- logic ifu_iccm_rd_ecc_double_err; design/el2_veer.sv:471:- logic lsu_dccm_rd_ecc_single_err; design/el2_veer.sv:472:- logic lsu_dccm_rd_ecc_double_err; design/el2_veer.sv:473:- design/el2_veer.sv:474:- logic lsu_axi_awready_ahb; design/el2_veer.sv:475:- logic lsu_axi_wready_ahb; design/el2_veer.sv:476:- logic lsu_axi_bvalid_ahb; design/el2_veer.sv:477:- logic lsu_axi_bready_ahb; design/el2_veer.sv:478:- logic [1:0] lsu_axi_bresp_ahb; design/el2_veer.sv:479:- logic [pt.LSU_BUS_TAG-1:0] lsu_axi_bid_ahb; design/el2_veer.sv:480:- logic lsu_axi_arready_ahb; design/el2_veer.sv:481:- logic lsu_axi_rvalid_ahb; design/el2_veer.sv:482:- logic [pt.LSU_BUS_TAG-1:0] lsu_axi_rid_ahb; design/el2_veer.sv:483:- logic [63:0] lsu_axi_rdata_ahb; design/el2_veer.sv:484:- logic [1:0] lsu_axi_rresp_ahb; design/el2_veer.sv:485:- logic lsu_axi_rlast_ahb; design/el2_veer.sv:486:- design/el2_veer.sv:487:- logic lsu_axi_awready_int; design/el2_veer.sv:488:- logic lsu_axi_wready_int; design/el2_veer.sv:489:- logic lsu_axi_bvalid_int; design/el2_veer.sv:490:- logic lsu_axi_bready_int; design/el2_veer.sv:491:- logic [1:0] lsu_axi_bresp_int; design/el2_veer.sv:492:- logic [pt.LSU_BUS_TAG-1:0] lsu_axi_bid_int; design/el2_veer.sv:493:- logic lsu_axi_arready_int; design/el2_veer.sv:494:- logic lsu_axi_rvalid_int; design/el2_veer.sv:495:- logic [pt.LSU_BUS_TAG-1:0] lsu_axi_rid_int; design/el2_veer.sv:496:- logic [63:0] lsu_axi_rdata_int; design/el2_veer.sv:497:- logic [1:0] lsu_axi_rresp_int; design/el2_veer.sv:498:- logic lsu_axi_rlast_int; design/el2_veer.sv:499:- design/el2_veer.sv:500:- logic ifu_axi_awready_ahb; design/el2_veer.sv:501:- logic ifu_axi_wready_ahb; design/el2_veer.sv:502:- logic ifu_axi_bvalid_ahb; design/el2_veer.sv:503:- logic ifu_axi_bready_ahb; design/el2_veer.sv:504:- logic [1:0] ifu_axi_bresp_ahb; design/el2_veer.sv:505:- logic [pt.IFU_BUS_TAG-1:0] ifu_axi_bid_ahb; design/el2_veer.sv:506:- logic ifu_axi_arready_ahb; design/el2_veer.sv:507:- logic ifu_axi_rvalid_ahb; design/el2_veer.sv:508:- logic [pt.IFU_BUS_TAG-1:0] ifu_axi_rid_ahb; design/el2_veer.sv:509:- logic [63:0] ifu_axi_rdata_ahb; design/el2_veer.sv:510:- logic [1:0] ifu_axi_rresp_ahb; design/el2_veer.sv:511:- logic ifu_axi_rlast_ahb; design/el2_veer.sv:512:- design/el2_veer.sv:513:- logic ifu_axi_awready_int; design/el2_veer.sv:514:- logic ifu_axi_wready_int; design/el2_veer.sv:515:- logic ifu_axi_bvalid_int; design/el2_veer.sv:516:- logic
format-review: design/el2_veer_wrapper.sv#L49
[verible-verilog-format] reported by reviewdog 🐶 Raw Output: design/el2_veer_wrapper.sv:49:- //-------------------------- LSU AXI signals-------------------------- design/el2_veer_wrapper.sv:50:- // AXI Write Channels design/el2_veer_wrapper.sv:51:- output logic lsu_axi_awvalid, design/el2_veer_wrapper.sv:52:- input logic lsu_axi_awready, design/el2_veer_wrapper.sv:53:- output logic [pt.LSU_BUS_TAG-1:0] lsu_axi_awid, design/el2_veer_wrapper.sv:54:- output logic [31:0] lsu_axi_awaddr, design/el2_veer_wrapper.sv:55:- output logic [3:0] lsu_axi_awregion, design/el2_veer_wrapper.sv:56:- /* exclude signals that are tied to constant value in el2_lsu_bus_buffer.sv */ design/el2_veer_wrapper.sv:57:- /*verilator coverage_off*/ design/el2_veer_wrapper.sv:58:- output logic [7:0] lsu_axi_awlen, design/el2_veer_wrapper.sv:59:- /*verilator coverage_on*/ design/el2_veer_wrapper.sv:60:- output logic [2:0] lsu_axi_awsize, design/el2_veer_wrapper.sv:61:- /* exclude signals that are tied to constant value in el2_lsu_bus_buffer.sv */ design/el2_veer_wrapper.sv:62:- /*verilator coverage_off*/ design/el2_veer_wrapper.sv:63:- output logic [1:0] lsu_axi_awburst, design/el2_veer_wrapper.sv:64:- output logic lsu_axi_awlock, design/el2_veer_wrapper.sv:65:- /*verilator coverage_on*/ design/el2_veer_wrapper.sv:66:- output logic [3:0] lsu_axi_awcache, design/el2_veer_wrapper.sv:67:- /* exclude signals that are tied to constant value in el2_lsu_bus_buffer.sv */ design/el2_veer_wrapper.sv:68:- /*verilator coverage_off*/ design/el2_veer_wrapper.sv:69:- output logic [2:0] lsu_axi_awprot, design/el2_veer_wrapper.sv:70:- output logic [3:0] lsu_axi_awqos, design/el2_veer_wrapper.sv:71:- /*verilator coverage_on*/ design/el2_veer_wrapper.sv:72:- design/el2_veer_wrapper.sv:73:- output logic lsu_axi_wvalid, design/el2_veer_wrapper.sv:74:- input logic lsu_axi_wready, design/el2_veer_wrapper.sv:75:- output logic [63:0] lsu_axi_wdata, design/el2_veer_wrapper.sv:76:- output logic [7:0] lsu_axi_wstrb, design/el2_veer_wrapper.sv:77:- output logic lsu_axi_wlast, design/el2_veer_wrapper.sv:78:- design/el2_veer_wrapper.sv:79:- input logic lsu_axi_bvalid, design/el2_veer_wrapper.sv:80:- /* exclude signals that are tied to constant value in el2_lsu_bus_buffer.sv */ design/el2_veer_wrapper.sv:81:- /*verilator coverage_off*/ design/el2_veer_wrapper.sv:82:- output logic lsu_axi_bready, design/el2_veer_wrapper.sv:83:- /*verilator coverage_on*/ design/el2_veer_wrapper.sv:84:- input logic [1:0] lsu_axi_bresp, design/el2_veer_wrapper.sv:85:- input logic [pt.LSU_BUS_TAG-1:0] lsu_axi_bid, design/el2_veer_wrapper.sv:86:- design/el2_veer_wrapper.sv:87:- // AXI Read Channels design/el2_veer_wrapper.sv:88:- output logic lsu_axi_arvalid, design/el2_veer_wrapper.sv:89:- input logic lsu_axi_arready, design/el2_veer_wrapper.sv:90:- output logic [pt.LSU_BUS_TAG-1:0] lsu_axi_arid, design/el2_veer_wrapper.sv:91:- output logic [31:0] lsu_axi_araddr, design/el2_veer_wrapper.sv:92:- output logic [3:0] lsu_axi_arregion, design/el2_veer_wrapper.sv:93:- /* exclude signals that are tied to constant value in el2_lsu_bus_buffer.sv */ design/el2_veer_wrapper.sv:94:- /*verilator coverage_off*/ design/el2_veer_wrapper.sv:95:- output logic [7:0] lsu_axi_arlen, design/el2_veer_wrapper.sv:96:- /*verilator coverage_on*/ design/el2_veer_wrapper.sv:97:- output logic [2:0] lsu_axi_arsize, design/el2_veer_wrapper.sv:98:-
format-review: design/el2_veer_wrapper.sv#L572
[verible-verilog-format] reported by reviewdog 🐶 Raw Output: design/el2_veer_wrapper.sv:572:- wire lsu_axi_awvalid; design/el2_veer_wrapper.sv:573:- wire lsu_axi_awready; design/el2_veer_wrapper.sv:574:- wire [pt.LSU_BUS_TAG-1:0] lsu_axi_awid; design/el2_veer_wrapper.sv:575:- wire [31:0] lsu_axi_awaddr; design/el2_veer_wrapper.sv:576:- wire [3:0] lsu_axi_awregion; design/el2_veer_wrapper.sv:577:- wire [7:0] lsu_axi_awlen; design/el2_veer_wrapper.sv:578:- wire [2:0] lsu_axi_awsize; design/el2_veer_wrapper.sv:579:- wire [1:0] lsu_axi_awburst; design/el2_veer_wrapper.sv:580:- wire lsu_axi_awlock; design/el2_veer_wrapper.sv:581:- wire [3:0] lsu_axi_awcache; design/el2_veer_wrapper.sv:582:- wire [2:0] lsu_axi_awprot; design/el2_veer_wrapper.sv:583:- wire [3:0] lsu_axi_awqos; design/el2_veer_wrapper.sv:584:- design/el2_veer_wrapper.sv:585:- design/el2_veer_wrapper.sv:586:- wire lsu_axi_wvalid; design/el2_veer_wrapper.sv:587:- wire lsu_axi_wready; design/el2_veer_wrapper.sv:588:- wire [63:0] lsu_axi_wdata; design/el2_veer_wrapper.sv:589:- wire [7:0] lsu_axi_wstrb; design/el2_veer_wrapper.sv:590:- wire lsu_axi_wlast; design/el2_veer_wrapper.sv:591:- design/el2_veer_wrapper.sv:592:- wire lsu_axi_bvalid; design/el2_veer_wrapper.sv:593:- wire lsu_axi_bready; design/el2_veer_wrapper.sv:594:- wire [1:0] lsu_axi_bresp; design/el2_veer_wrapper.sv:595:- wire [pt.LSU_BUS_TAG-1:0] lsu_axi_bid; design/el2_veer_wrapper.sv:596:- design/el2_veer_wrapper.sv:597:- // AXI Read Channels design/el2_veer_wrapper.sv:598:- wire lsu_axi_arvalid; design/el2_veer_wrapper.sv:599:- wire lsu_axi_arready; design/el2_veer_wrapper.sv:600:- wire [pt.LSU_BUS_TAG-1:0] lsu_axi_arid; design/el2_veer_wrapper.sv:601:- wire [31:0] lsu_axi_araddr; design/el2_veer_wrapper.sv:602:- wire [3:0] lsu_axi_arregion; design/el2_veer_wrapper.sv:603:- wire [7:0] lsu_axi_arlen; design/el2_veer_wrapper.sv:604:- wire [2:0] lsu_axi_arsize; design/el2_veer_wrapper.sv:605:- wire [1:0] lsu_axi_arburst; design/el2_veer_wrapper.sv:606:- wire lsu_axi_arlock; design/el2_veer_wrapper.sv:607:- wire [3:0] lsu_axi_arcache; design/el2_veer_wrapper.sv:608:- wire [2:0] lsu_axi_arprot; design/el2_veer_wrapper.sv:609:- wire [3:0] lsu_axi_arqos; design/el2_veer_wrapper.sv:610:- design/el2_veer_wrapper.sv:611:- wire lsu_axi_rvalid; design/el2_veer_wrapper.sv:612:- wire lsu_axi_rready; design/el2_veer_wrapper.sv:613:- wire [pt.LSU_BUS_TAG-1:0] lsu_axi_rid; design/el2_veer_wrapper.sv:614:- wire [63:0] lsu_axi_rdata; design/el2_veer_wrapper.sv:615:- wire [1:0] lsu_axi_rresp; design/el2_veer_wrapper.sv:616:- wire lsu_axi_rlast; design/el2_veer_wrapper.sv:617:- design/el2_veer_wrapper.sv:618:- assign lsu_axi_awready = '0; design/el2_veer_wrapper.sv:619:- assign lsu_axi_wready = '0; design/el2_veer_wrapper.sv:620:- assign lsu_axi_bvalid = '0; design/el2_veer_wrapper.sv:621:- assign lsu_axi_bresp = '0; design/el2_veer_wrapper.sv:622:- assign lsu_axi_bid = {pt.LSU_BUS_TAG{1'b0}}; design/el2_veer_wrapper.sv:623:- assign lsu_axi_arready = '0; desi
format-review: design/ifu/el2_ifu.sv#L25
[verible-verilog-format] reported by reviewdog 🐶 Raw Output: design/ifu/el2_ifu.sv:25:-`include "el2_param.vh" design/ifu/el2_ifu.sv:26:- ) design/ifu/el2_ifu.sv:27:- ( design/ifu/el2_ifu.sv:28:- input logic free_l2clk, // Clock always. Through one clock header. For flops with second header built in. design/ifu/el2_ifu.sv:29:- input logic active_clk, // Clock only while core active. Through two clock headers. For flops without second clock header built in. design/ifu/el2_ifu.sv:30:- input logic clk, // Clock only while core active. Through one clock header. For flops with second clock header built in. Connected to ACTIVE_L2CLK. design/ifu/el2_ifu.sv:31:- input logic rst_l, // reset, active low design/ifu/el2_ifu.sv:32:- design/ifu/el2_ifu.sv:33:- input logic dec_i0_decode_d, // Valid instruction at D and not blocked design/ifu/el2_ifu.sv:34:- design/ifu/el2_ifu.sv:35:- input logic exu_flush_final, // flush, includes upper and lower design/ifu/el2_ifu.sv:36:- input logic dec_tlu_i0_commit_cmt , // committed i0 design/ifu/el2_ifu.sv:37:- input logic dec_tlu_flush_err_wb , // flush due to parity error. design/ifu/el2_ifu.sv:38:- input logic dec_tlu_flush_noredir_wb, // don't fetch, validated with exu_flush_final design/ifu/el2_ifu.sv:39:- input logic [31:1] exu_flush_path_final, // flush fetch address design/ifu/el2_ifu.sv:40:- design/ifu/el2_ifu.sv:41:- input logic [31:0] dec_tlu_mrac_ff ,// Side_effect , cacheable for each region design/ifu/el2_ifu.sv:42:- input logic dec_tlu_fence_i_wb, // fence.i, invalidate icache, validated with exu_flush_final design/ifu/el2_ifu.sv:43:- input logic dec_tlu_flush_leak_one_wb, // ignore bp for leak one fetches design/ifu/el2_ifu.sv:44:- design/ifu/el2_ifu.sv:45:- input logic dec_tlu_bpred_disable, // disable all branch prediction design/ifu/el2_ifu.sv:46:- input logic dec_tlu_core_ecc_disable, // disable ecc checking and flagging design/ifu/el2_ifu.sv:47:- input logic dec_tlu_force_halt, // force halt design/ifu/el2_ifu.sv:48:- design/ifu/el2_ifu.sv:49:- //-------------------------- IFU AXI signals-------------------------- design/ifu/el2_ifu.sv:50:- // AXI Write Channels design/ifu/el2_ifu.sv:51:- /* exclude signals that are tied to constant value in el2_ifu_mem_ctl.sv */ design/ifu/el2_ifu.sv:52:- /*verilator coverage_off*/ design/ifu/el2_ifu.sv:53:- output logic ifu_axi_awvalid, design/ifu/el2_ifu.sv:54:- output logic [pt.IFU_BUS_TAG-1:0] ifu_axi_awid, design/ifu/el2_ifu.sv:55:- output logic [31:0] ifu_axi_awaddr, design/ifu/el2_ifu.sv:56:- output logic [3:0] ifu_axi_awregion, design/ifu/el2_ifu.sv:57:- output logic [7:0] ifu_axi_awlen, design/ifu/el2_ifu.sv:58:- output logic [2:0] ifu_axi_awsize, design/ifu/el2_ifu.sv:59:- output logic [1:0] ifu_axi_awburst, design/ifu/el2_ifu.sv:60:- output logic ifu_axi_awlock, design/ifu/el2_ifu.sv:61:- output logic [3:0] ifu_axi_awcache, design/ifu/el2_ifu.sv:62:- output logic [2:0] ifu_axi_awprot, design/ifu/el2_ifu.sv:63:- output logic [3:0] ifu_axi_awqos, design/ifu/el2_ifu.sv:64:- design/ifu/el2_ifu.sv:65:- output logic ifu_axi_wvalid, design/ifu/el2_ifu.sv:66:- output logic [63:0] ifu_axi_wdata, design/ifu/el2_ifu.sv:67:- output logic [7:0] ifu_axi_wstrb, design/ifu/el2_ifu.sv:68:- output logic ifu_axi_wlast, design/ifu/el2_ifu.sv:69:- design/ifu/el2_ifu.sv:70:- output logic ifu_axi_bready, design/ifu/el2_ifu.sv:71:- /*verilator coverage_on*/ design/ifu/el2_ifu.sv:72:- design/ifu/el2_ifu.sv:73:- // AXI R
format-review: design/ifu/el2_ifu_mem_ctl.sv#L27
[verible-verilog-format] reported by reviewdog 🐶 Raw Output: design/ifu/el2_ifu_mem_ctl.sv:27:-`include "el2_param.vh" design/ifu/el2_ifu_mem_ctl.sv:28:- ) design/ifu/el2_ifu_mem_ctl.sv:29:- ( design/ifu/el2_ifu_mem_ctl.sv:30:- input logic clk, // Clock only while core active. Through one clock header. For flops with second clock header built in. Connected to ACTIVE_L2CLK. design/ifu/el2_ifu_mem_ctl.sv:31:- input logic active_clk, // Clock only while core active. Through two clock headers. For flops without second clock header built in. design/ifu/el2_ifu_mem_ctl.sv:32:- input logic free_l2clk, // Clock always. Through one clock header. For flops with second header built in. design/ifu/el2_ifu_mem_ctl.sv:33:- input logic rst_l, // reset, active low design/ifu/el2_ifu_mem_ctl.sv:34:- design/ifu/el2_ifu_mem_ctl.sv:35:- input logic exu_flush_final, // Flush from the pipeline., includes flush lower design/ifu/el2_ifu_mem_ctl.sv:36:- input logic dec_tlu_flush_lower_wb, // Flush lower from the pipeline. design/ifu/el2_ifu_mem_ctl.sv:37:- input logic dec_tlu_flush_err_wb, // Flush from the pipeline due to perr. design/ifu/el2_ifu_mem_ctl.sv:38:- input logic dec_tlu_i0_commit_cmt, // committed i0 instruction design/ifu/el2_ifu_mem_ctl.sv:39:- input logic dec_tlu_force_halt, // force halt. design/ifu/el2_ifu_mem_ctl.sv:40:- design/ifu/el2_ifu_mem_ctl.sv:41:- input logic [31:1] ifc_fetch_addr_bf, // Fetch Address byte aligned always. F1 stage. design/ifu/el2_ifu_mem_ctl.sv:42:- input logic ifc_fetch_uncacheable_bf, // The fetch request is uncacheable space. F1 stage design/ifu/el2_ifu_mem_ctl.sv:43:- input logic ifc_fetch_req_bf, // Fetch request. Comes with the address. F1 stage design/ifu/el2_ifu_mem_ctl.sv:44:- input logic ifc_fetch_req_bf_raw, // Fetch request without some qualifications. Used for clock-gating. F1 stage design/ifu/el2_ifu_mem_ctl.sv:45:- input logic ifc_iccm_access_bf, // This request is to the ICCM. Do not generate misses to the bus. design/ifu/el2_ifu_mem_ctl.sv:46:- input logic ifc_region_acc_fault_bf, // Access fault. in ICCM region but offset is outside defined ICCM. design/ifu/el2_ifu_mem_ctl.sv:47:- input logic ifc_dma_access_ok, // It is OK to give dma access to the ICCM. (ICCM is not busy this cycle). design/ifu/el2_ifu_mem_ctl.sv:48:- input logic dec_tlu_fence_i_wb, // Fence.i instruction is committing. Clear all Icache valids. design/ifu/el2_ifu_mem_ctl.sv:49:- input logic ifu_bp_hit_taken_f, // Branch is predicted taken. Kill the fetch next cycle. design/ifu/el2_ifu_mem_ctl.sv:50:- design/ifu/el2_ifu_mem_ctl.sv:51:- input logic ifu_bp_inst_mask_f, // tell ic which valids to kill because of a taken branch, right justified design/ifu/el2_ifu_mem_ctl.sv:52:- design/ifu/el2_ifu_mem_ctl.sv:53:- output logic ifu_miss_state_idle, // No icache misses are outstanding. design/ifu/el2_ifu_mem_ctl.sv:54:- output logic ifu_ic_mb_empty, // Continue with normal fetching. This does not mean that miss is finished. design/ifu/el2_ifu_mem_ctl.sv:55:- output logic ic_dma_active , // In the middle of servicing dma request to ICCM. Do not make any new requests. design/ifu/el2_ifu_mem_ctl.sv:56:- output logic ic_write_stall, // Stall fetch the cycle we are writing th
format-review: design/lib/ahb_to_axi4.sv#L31
[verible-verilog-format] reported by reviewdog 🐶 Raw Output: design/lib/ahb_to_axi4.sv:31:- input clk, design/lib/ahb_to_axi4.sv:32:- input rst_l, design/lib/ahb_to_axi4.sv:33:- input scan_mode, design/lib/ahb_to_axi4.sv:34:- input bus_clk_en, design/lib/ahb_to_axi4.sv:35:- input clk_override, design/lib/ahb_to_axi4.sv:36:- design/lib/ahb_to_axi4.sv:37:- // AXI signals design/lib/ahb_to_axi4.sv:38:- // AXI Write Channels design/lib/ahb_to_axi4.sv:39:- output logic axi_awvalid, design/lib/ahb_to_axi4.sv:40:- input logic axi_awready, design/lib/ahb_to_axi4.sv:41:- /* exclude signals that are tied to constant value in this file */ design/lib/ahb_to_axi4.sv:42:- /*verilator coverage_off*/ design/lib/ahb_to_axi4.sv:43:- output logic [TAG-1:0] axi_awid, design/lib/ahb_to_axi4.sv:44:- /*verilator coverage_on*/ design/lib/ahb_to_axi4.sv:45:- output logic [31:0] axi_awaddr, design/lib/ahb_to_axi4.sv:46:- output logic [2:0] axi_awsize, design/lib/ahb_to_axi4.sv:47:- /* exclude signals that are tied to constant value in this file */ design/lib/ahb_to_axi4.sv:48:- /*verilator coverage_off*/ design/lib/ahb_to_axi4.sv:49:- output logic [2:0] axi_awprot, design/lib/ahb_to_axi4.sv:50:- output logic [7:0] axi_awlen, design/lib/ahb_to_axi4.sv:51:- output logic [1:0] axi_awburst, design/lib/ahb_to_axi4.sv:52:- /*verilator coverage_on*/ design/lib/ahb_to_axi4.sv:53:- design/lib/ahb_to_axi4.sv:54:- output logic axi_wvalid, design/lib/ahb_to_axi4.sv:55:- input logic axi_wready, design/lib/ahb_to_axi4.sv:56:- output logic [63:0] axi_wdata, design/lib/ahb_to_axi4.sv:57:- output logic [7:0] axi_wstrb, design/lib/ahb_to_axi4.sv:58:- /* exclude signals that are tied to constant value in this file */ design/lib/ahb_to_axi4.sv:59:- /*verilator coverage_off*/ design/lib/ahb_to_axi4.sv:60:- output logic axi_wlast, design/lib/ahb_to_axi4.sv:61:- /*verilator coverage_on*/ design/lib/ahb_to_axi4.sv:62:- design/lib/ahb_to_axi4.sv:63:- input logic axi_bvalid, design/lib/ahb_to_axi4.sv:64:- /* exclude signals that are tied to constant value in this file */ design/lib/ahb_to_axi4.sv:65:- /*verilator coverage_off*/ design/lib/ahb_to_axi4.sv:66:- output logic axi_bready, design/lib/ahb_to_axi4.sv:67:- /*verilator coverage_on*/ design/lib/ahb_to_axi4.sv:68:- input logic [1:0] axi_bresp, design/lib/ahb_to_axi4.sv:69:- input logic [TAG-1:0] axi_bid, design/lib/ahb_to_axi4.sv:70:- design/lib/ahb_to_axi4.sv:71:- // AXI Read Channels design/lib/ahb_to_axi4.sv:72:- output logic axi_arvalid, design/lib/ahb_to_axi4.sv:73:- input logic axi_arready, design/lib/ahb_to_axi4.sv:74:- /* exclude signals that are tied to constant value in this file */ design/lib/ahb_to_axi4.sv:75:- /*verilator coverage_off*/ design/lib/ahb_to_axi4.sv:76:- output logic [TAG-1:0] axi_arid, design/lib/ahb_to_axi4.sv:77:- /*verilator coverage_on*/ design/lib/ahb_to_axi4.sv:78:- output logic [31:0] axi_araddr, design/lib/ahb_to_axi4.sv:79:- output logic [2:0] axi_arsize, design/lib/ahb_to_axi4.sv:80:- /* exclude signals that are tied to constant value in this file */ design/lib/ahb_to_axi4.sv:81:- /*verilator coverage_off*/ design/lib/ahb_to_axi4.sv:82:- output logic [2:0] axi_arprot, design/lib/ahb_to_axi4.sv:83:- output logic [7:0] axi_arlen, design/lib/ahb_to_axi4.sv:84:- output logic [1:0] axi_arburst, design/lib/ahb_to_axi4.sv:85:- /*verilator coverage_on*/ design/lib/ahb_to_axi4.sv:86:- design/lib/ahb_to_axi4.sv:87:- input logic axi_rvalid, design/lib/ahb_to_axi4.sv:88:- /* exclude signals that are tied to constant value in this file */ design/lib/ahb_to_axi4.sv:89:- /*verilator coverage_off*/ design/lib/ahb_to_axi4.sv:90:- output logic axi_rready, design/lib/ahb_to_axi4.sv:91:- /*verilator coverage_on