[axi_sram] Handle uninitialized memory reads triggering data known assertions
Los mantenedores suelen responder en 2 días
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 5/5
- Tiempo estimado
- Más de una semana
- Aptitud para principiantes
- 35/100
- Tipo de issue
- Error
- Claridad
- Necesita aclaración
- Estado de actividad
- Activo
- Área
- embedded-iot
Línea de trabajo
The issue identifies axi_sram and the DataKnown_A assertion, but names no files or tests. Start by locating the assertion and the time-zero random initialization for both memories, then compare the behavior of removing the assertion with retaining random initialization. Done means choosing and implementing one approach for valid reads from uninitialized memory, with the resulting assertion behavior verified.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
When the SRAM is uninitialized, reads from it fire DataKnown_A assertions.
Currently, we handle this by filling both memories with random values at time 0.
Since reading from uninitialized memory is valid behavior, we should decide weather to remove this assertion or to handle the scenario as we currently do with random values.
- Lenguaje dominante
- SystemVerilog
- Estrellas
- 45
- Forks
- 22
- Merge medio
- 2 d 4 h
- PR fusionados (30 d)
- 9
Preparar el entorno
Este proyecto no incluye contenedor de desarrollo, Dockerfile ni guía de contribución, así que la configuración corre por tu cuenta: empieza por su README y consulta nuestra guía para la primera contribución para los pasos generales.
Primeros pasos
- Lee el issue completo y luego la guía de contribución del proyecto.
- Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
- Haz un fork del repositorio y trabaja en una rama.
- Abre un pull request que haga referencia al número del issue.
Más de lowRISC/mocha
-
Document lowRISC Nix cacheAbierto
Dificultad 2/5 1-3 horas Aptitud para principiantes 65/100
Los mantenedores suelen responder en 2 días
-
[axi_sram] Clarify when SRAM can invalidate a capability by clearing only one of its tag bitsAbierto
Dificultad 2/5 1-3 horas Aptitud para principiantes 60/100
Los mantenedores suelen responder en 2 días
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 72/100
lowRISC/mocha#753 · 1 comentario ·
Los mantenedores suelen responder en 2 días
-
Dificultad 1/5 1-3 horas Aptitud para principiantes 88/100
lowRISC/mocha#752 · 1 comentario ·
Los mantenedores suelen responder en 2 días
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 88/100
Los mantenedores suelen responder en 2 días
Todos los issues de lowRISC/mocha
Issues similares
-
SPIDevice selects an active-high device as soon as it is createdPosiblemente ocupada @mikeysklar la tomó hoy. Abierto
Dificultad 2/5 1-3 horas Aptitud para principiantes 73/100
adafruit/circuitpython#11869 ·
Los mantenedores suelen responder en 1 día
-
[Bug]: RFENCE rejects the architecturally defined full-range size when start_addr is nonzeroPosiblemente ocupada @hongwei-2026 la tomó hoy. AbiertoC-bug help wanted
Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100
rustsbi/rustsbi#484 · 1 comentario ·
Los mantenedores suelen responder en 1 día
-
Fan percentage in Auto mode shows the night-mode speed cap (`nmdv`) while the fan is idle (`fnst: OFF`)Posiblemente ocupada Un pull request vinculado a esta issue está abierto o ya se fusionó. Abierto
Dificultad 2/5 1-3 horas Aptitud para principiantes 68/100
cmgrayb/hass-dyson#552 ·
Los mantenedores suelen responder en 1 día
-
backlog bug
Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100
EchoTools/nevr-runtime#2664 ·
Los mantenedores suelen responder en 1 día
-
bug
Dificultad 2/5 1-3 horas Aptitud para principiantes 74/100
seven-lynx/HoundMind#108 ·
Los mantenedores suelen responder en 1 día