[axi_sram] an X on idle AXI channels fires Data Known assertion
I maintainer di solito rispondono entro 2 giorni
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 3/5
- Tempo stimato
- 1-2 giorni
- Idoneità per principianti
- 66/100
- Tipo di issue
- Bug
- Chiarezza
- Abbastanza chiara
- Stato di attività
- Attiva
- Ambito
- testing
Direzione di ricerca
Start with DataKnown_A at axi_sram_block_tb.dut.u_axi_to_detailed_mem.i_mem_to_banks.gen_reqs[0].i_ft_reg and inspect how idle AXI payloads are checked. Remove vif.set_drive_x_when_idle(1'b0) from hw/top_chip/dv/axi_sram/env/axi_sram_env.svh and run dvsim hw/top_chip/dv/axi_sram/block_tb/axi_sram_block_sim_cfg.hjson -i axi_sram_write_read; done when the test passes without the workaround and the assertion does not fire.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
If the AXI manager drives X on a channel's payload while that channel's VALID is low, a DataKnown_A assertion fires inside the SRAM. This is legal on AXI, since the payload only matters while VALID is high, so the assertion shouldn't fire.
The block-level DV environment avoids the problem by driving 0 instead of X on idle channels (vif.set_drive_x_when_idle(1'b0) in hw/top_chip/dv/axi_sram/env/axi_sram_env.svh).
To reproduce, remove that line and run:
dvsim hw/top_chip/dv/axi_sram/block_tb/axi_sram_block_sim_cfg.hjson -i axi_sram_write_read
The assertion that fires is axi_sram_block_tb.dut.u_axi_to_detailed_mem.i_mem_to_banks.gen_reqs[0].i_ft_reg.DataKnown_A, during a read.
The workaround should be removed from the DV environment once fixed.
- Lingua principale
- SystemVerilog
- Stelle
- 45
- Fork
- 22
- Merge medio
- 2g 4h
- PR unite (30g)
- 9
Preparare l'ambiente
Questo progetto non fornisce container di sviluppo, Dockerfile né guida per i contributori, quindi l'ambiente è a tuo carico: parti dal suo README e consulta la nostra guida al primo contributo per i passaggi generali.
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Altre issue di lowRISC/mocha
-
Document lowRISC Nix cacheAperta
Difficoltà 2/5 1-3 ore Idoneità per principianti 65/100
I maintainer di solito rispondono entro 2 giorni
-
[axi_sram] Clarify when SRAM can invalidate a capability by clearing only one of its tag bitsAperta
Difficoltà 2/5 1-3 ore Idoneità per principianti 60/100
I maintainer di solito rispondono entro 2 giorni
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
lowRISC/mocha#753 · 1 commento ·
I maintainer di solito rispondono entro 2 giorni
-
Difficoltà 1/5 1-3 ore Idoneità per principianti 88/100
lowRISC/mocha#752 · 1 commento ·
I maintainer di solito rispondono entro 2 giorni
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 88/100
I maintainer di solito rispondono entro 2 giorni
Tutte le issue di lowRISC/mocha
Issue simili
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 84/100
allenai/open-instruct#2245 ·
I maintainer di solito rispondono entro 1 giorno
-
premises-missing
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
WingedGuardian/GENesis-AGI#4432 ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 83/100
I maintainer di solito rispondono entro 1 giorno
-
Add passing workload init-container resource testsForse già presa @nym01 l’ha presa oggi. Aperta
Difficoltà 2/5 1-3 ore Idoneità per principianti 76/100
kubescape/cel-admission-library#165 · 1 commento ·
I maintainer di solito rispondono entro 1 giorno