Document SRAM==SPRAM; fix whitespace

This commit is contained in:
Daniel Lublin 2022-10-24 11:58:54 +02:00
parent ff1bf1f326
commit db8f9cf881
No known key found for this signature in database
GPG Key ID: 75BD0FEB8D3E7830
2 changed files with 6 additions and 5 deletions

View File

@ -24,10 +24,11 @@ specifications:
* 30 EBR[^1] x 4 Kbit => 120 Kbit. PicoRV32 uses ~4 EBRs internally * 30 EBR[^1] x 4 Kbit => 120 Kbit. PicoRV32 uses ~4 EBRs internally
=> 13 KB for Firmware. We should probably aim for less; 8 KB => 13 KB for Firmware. We should probably aim for less; 8 KB
should be the target. should be the target.
* 4 SPRAM x 32 KB => 128 KB RAM for application/software * 4 SPRAM[^2] x 32 KB => 128 KB RAM for application/software
[^1]: Embedded Block RAM (also BRAM) residing in the FPGA, can [^1]: Embedded Block RAM (also BRAM) residing in the FPGA, can
be configured as RAM or ROM. be configured as RAM or ROM.
[^2]: Single Port RAM (also SRAM).
## Introduction ## Introduction
@ -313,7 +314,7 @@ Assigned core prefixes:
| `TIMER_STATUS` | r | r | | | | If bit 0 is set, the timer is ready to start running. | | `TIMER_STATUS` | r | r | | | | If bit 0 is set, the timer is ready to start running. |
| `TIMER_PRESCALER` | r/w | r/w | 4B | | | Prescaler init value. Write blocked when running. | | `TIMER_PRESCALER` | r/w | r/w | 4B | | | Prescaler init value. Write blocked when running. |
| `TIMER_TIMER` | r/w | r/w | 4B | | | Timer init or current value when running. Write blocked when running. | | `TIMER_TIMER` | r/w | r/w | 4B | | | Timer init or current value when running. Write blocked when running. |
| `UDS_START` | r[^2]| invisible | 4B | u8[32] | | First word of Unique Device Secret key. | | `UDS_START` | r[^3]| invisible | 4B | u8[32] | | First word of Unique Device Secret key. |
| `UDS_LAST` | | invisible | | | | The last word of the UDS | | `UDS_LAST` | | invisible | | | | The last word of the UDS |
| `UART_BITRATE` | r/w | | | | | TBD | | `UART_BITRATE` | r/w | | | | | TBD |
| `UART_DATABITS` | r/w | | | | | TBD | | `UART_DATABITS` | r/w | | | | | TBD |
@ -337,4 +338,4 @@ Assigned core prefixes:
| `CDI_START` | r/w | r | 32B | u8[32] | | Compound Device Identifier (CDI). UDS+measurement... | | `CDI_START` | r/w | r | 32B | u8[32] | | Compound Device Identifier (CDI). UDS+measurement... |
| `CDI_LAST` | | r | | | | Last word of CDI | | `CDI_LAST` | | r | | | | Last word of CDI |
[^2]: The UDS can only be read *once* per power-cycle. [^3]: The UDS can only be read *once* per power-cycle.

View File

@ -46,8 +46,8 @@ clear:
addi a0, a0, 4 addi a0, a0, 4
blt a0, a1, clear blt a0, a1, clear
/* init stack to right under where we load app at 0x40010000 */ /* init stack to right under where we load app at 0x40010000 */
li sp, 0x4000fff0 li sp, 0x4000fff0
/* copy data section */ /* copy data section */
la a0, _sidata la a0, _sidata