diff --git a/emulation/soc/betrusted-soc.repl b/emulation/soc/betrusted-soc.repl index c42d14971..9c3b7e372 100755 --- a/emulation/soc/betrusted-soc.repl +++ b/emulation/soc/betrusted-soc.repl @@ -86,11 +86,8 @@ sha512: Miscellaneous.Sha512 @ sysbus 0xf001e000 // Physical base addresses of memory regions -mem_rom: Memory.MappedMemory @ sysbus 0x00000000 - size: 0x00001000 - -mem_sram: Memory.MappedMemory @ sysbus 0x10000000 - size: 0x00004000 +mem_rom: Memory.MappedMemory @ sysbus 0x80000000 + size: 0x00010000 mem_vexriscv_debug: Memory.MappedMemory @ sysbus 0xefff0000 size: 0x00001000 diff --git a/emulation/soc/renode.svd b/emulation/soc/renode.svd index 0e00afddd..11bd3f218 100644 --- a/emulation/soc/renode.svd +++ b/emulation/soc/renode.svd @@ -3,7 +3,7 @@ litex SOC - + 8 32 @@ -38,7 +38,7 @@ peripherals]]> ADDR 0x0004 - 0x00 + 0x80000000 32 @@ -433,11 +433,27 @@ configure as output for the value to appear on the pin]]> + + USBDISABLE + + 0x001c + 0x00 + 32 + + + usbdisable + 0 + [0:0] + 0 + + + EV_STATUS - 0x001c + 0x0020 0x00 32 @@ -503,7 +519,7 @@ Writes to this register have no effect.]]> EV_PENDING - 0x0020 + 0x0024 0x00 32 @@ -577,7 +593,7 @@ edge.]]> EV_ENABLE - 0x0024 + 0x0028 0x00 32 @@ -642,7 +658,7 @@ register to disable individual events.]]> 0 - 0x28 + 0x2c registers @@ -1222,10 +1238,10 @@ register to disable individual events.]]> GIT_GITREV 0x0014 - 0xafcc1323 + 0xab8658b6 32 @@ -1242,7 +1258,7 @@ the exact git version used to build this firmware.]]> is ``1``, then the repository this was built from has one additional commit beyond the tag indicated in `MAJOR`, `MINOR`, and `REVISION`.]]> 0x0018 - 0x2a + 0x3e 32 @@ -1499,14 +1515,32 @@ register to disable individual events.]]> [0:0] 0 +Cannot be cleared, except by a full reset. Do not rely on this register to +determine if a devboot has happened; the *register* may be cleared, but the +internal hardware bit cannot be.]]> + + + + + DEVSTATUS + + 0x001c + 0x00 + 32 + + + devstatus + 0 + [0:0] + 0 0 - 0x1c + 0x20 registers @@ -3467,7 +3501,7 @@ inject too fast.]]> SEED1 0x0000 - 0x6d48a16e + 0x2b72d267 32 @@ -3482,7 +3516,7 @@ inject too fast.]]> SEED0 0x0004 - 0x71a7a0e3 + 0x2d8ab78 32 @@ -4698,31 +4732,9 @@ generators]]> - - RO_RUNSLIMIT5 - 0x004c - 0x1c807 - 32 - - - min - 10 - [10:0] - 0 - - - - max - 21 - [21:11] - 11 - - - - RO_RUN0_CTRL - 0x0050 + 0x004c 0x3ff 32 @@ -4740,14 +4752,14 @@ undefined behavior occurs]]> RO_RUN0_FRESH - 0x0054 + 0x0050 0x00 32 ro_run0_fresh - 4 - [4:0] + 3 + [3:0] 0 @@ -4755,7 +4767,7 @@ updated at least once since the last readout of any register]]> RO_RUN0_COUNT1 - 0x0058 + 0x0054 0x00 32 @@ -4770,7 +4782,7 @@ updated at least once since the last readout of any register]]> RO_RUN0_COUNT2 - 0x005c + 0x0058 0x00 32 @@ -4785,7 +4797,7 @@ updated at least once since the last readout of any register]]> RO_RUN0_COUNT3 - 0x0060 + 0x005c 0x00 32 @@ -4800,7 +4812,7 @@ updated at least once since the last readout of any register]]> RO_RUN0_COUNT4 - 0x0064 + 0x0060 0x00 32 @@ -4812,24 +4824,9 @@ updated at least once since the last readout of any register]]> - - RO_RUN0_COUNT5 - - 0x0068 - 0x00 - 32 - - - ro_run0_count5 - 10 - [10:0] - 0 - - - RO_RUN1_CTRL - 0x006c + 0x0064 0x3ff 32 @@ -4847,14 +4844,14 @@ undefined behavior occurs]]> RO_RUN1_FRESH - 0x0070 + 0x0068 0x00 32 ro_run1_fresh - 4 - [4:0] + 3 + [3:0] 0 @@ -4862,7 +4859,7 @@ updated at least once since the last readout of any register]]> RO_RUN1_COUNT1 - 0x0074 + 0x006c 0x00 32 @@ -4877,7 +4874,7 @@ updated at least once since the last readout of any register]]> RO_RUN1_COUNT2 - 0x0078 + 0x0070 0x00 32 @@ -4892,7 +4889,7 @@ updated at least once since the last readout of any register]]> RO_RUN1_COUNT3 - 0x007c + 0x0074 0x00 32 @@ -4907,7 +4904,7 @@ updated at least once since the last readout of any register]]> RO_RUN1_COUNT4 - 0x0080 + 0x0078 0x00 32 @@ -4919,24 +4916,9 @@ updated at least once since the last readout of any register]]> - - RO_RUN1_COUNT5 - - 0x0084 - 0x00 - 32 - - - ro_run1_count5 - 10 - [10:0] - 0 - - - RO_RUN2_CTRL - 0x0088 + 0x007c 0x3ff 32 @@ -4954,14 +4936,14 @@ undefined behavior occurs]]> RO_RUN2_FRESH - 0x008c + 0x0080 0x00 32 ro_run2_fresh - 4 - [4:0] + 3 + [3:0] 0 @@ -4969,7 +4951,7 @@ updated at least once since the last readout of any register]]> RO_RUN2_COUNT1 - 0x0090 + 0x0084 0x00 32 @@ -4984,7 +4966,7 @@ updated at least once since the last readout of any register]]> RO_RUN2_COUNT2 - 0x0094 + 0x0088 0x00 32 @@ -4999,7 +4981,7 @@ updated at least once since the last readout of any register]]> RO_RUN2_COUNT3 - 0x0098 + 0x008c 0x00 32 @@ -5014,7 +4996,7 @@ updated at least once since the last readout of any register]]> RO_RUN2_COUNT4 - 0x009c + 0x0090 0x00 32 @@ -5026,24 +5008,9 @@ updated at least once since the last readout of any register]]> - - RO_RUN2_COUNT5 - - 0x00a0 - 0x00 - 32 - - - ro_run2_count5 - 10 - [10:0] - 0 - - - RO_RUN3_CTRL - 0x00a4 + 0x0094 0x3ff 32 @@ -5061,14 +5028,14 @@ undefined behavior occurs]]> RO_RUN3_FRESH - 0x00a8 + 0x0098 0x00 32 ro_run3_fresh - 4 - [4:0] + 3 + [3:0] 0 @@ -5076,7 +5043,7 @@ updated at least once since the last readout of any register]]> RO_RUN3_COUNT1 - 0x00ac + 0x009c 0x00 32 @@ -5091,7 +5058,7 @@ updated at least once since the last readout of any register]]> RO_RUN3_COUNT2 - 0x00b0 + 0x00a0 0x00 32 @@ -5106,7 +5073,7 @@ updated at least once since the last readout of any register]]> RO_RUN3_COUNT3 - 0x00b4 + 0x00a4 0x00 32 @@ -5121,7 +5088,7 @@ updated at least once since the last readout of any register]]> RO_RUN3_COUNT4 - 0x00b8 + 0x00a8 0x00 32 @@ -5133,24 +5100,9 @@ updated at least once since the last readout of any register]]> - - RO_RUN3_COUNT5 - - 0x00bc - 0x00 - 32 - - - ro_run3_count5 - 10 - [10:0] - 0 - - - AV_EXCURSION0_CTRL - 0x00c0 + 0x00ac 0x190140 32 @@ -5179,7 +5131,7 @@ updated at least once since the last readout of any register]]> AV_EXCURSION0_STAT - 0x00c4 + 0x00b0 0x00 32 @@ -5201,7 +5153,7 @@ updated at least once since the last readout of any register]]> AV_EXCURSION0_LAST_ERR - 0x00c8 + 0x00b4 0x00 32 @@ -5223,7 +5175,7 @@ updated at least once since the last readout of any register]]> AV_EXCURSION1_CTRL - 0x00cc + 0x00b8 0x190140 32 @@ -5252,7 +5204,7 @@ updated at least once since the last readout of any register]]> AV_EXCURSION1_STAT - 0x00d0 + 0x00bc 0x00 32 @@ -5274,7 +5226,7 @@ updated at least once since the last readout of any register]]> AV_EXCURSION1_LAST_ERR - 0x00d4 + 0x00c0 0x00 32 @@ -5296,7 +5248,7 @@ updated at least once since the last readout of any register]]> READY - 0x00d8 + 0x00c4 0x00 32 @@ -5326,7 +5278,7 @@ updated at least once since the last readout of any register]]> EV_STATUS - 0x00dc + 0x00c8 0x00 32 @@ -5370,7 +5322,7 @@ updated at least once since the last readout of any register]]> EV_PENDING - 0x00e0 + 0x00cc 0x00 32 @@ -5414,7 +5366,7 @@ updated at least once since the last readout of any register]]> EV_ENABLE - 0x00e4 + 0x00d0 0x00 32 @@ -5457,7 +5409,7 @@ updated at least once since the last readout of any register]]> CHACHA - 0x00e8 + 0x00d4 0x100c8002 32 @@ -5490,7 +5442,7 @@ standby power)]]> - 0x00ec + 0x00d8 0x00 32 @@ -5506,7 +5458,7 @@ write.]]> URANDOM - 0x00f0 + 0x00dc 0x00 32 @@ -5521,7 +5473,7 @@ want to use this.]]> URANDOM_VALID - 0x00f4 + 0x00e0 0x00 32 @@ -5535,7 +5487,7 @@ want to use this.]]> TEST - 0x00f8 + 0x00e4 0x00 32 @@ -5552,7 +5504,7 @@ case in testing. Not harmful in production, just wasteful.]]> 0 - 0xfc + 0xe8 registers @@ -5929,6 +5881,13 @@ savings)]]> 3 + + reset + 4 + [4:4] + 4 + + @@ -6323,52 +6282,59 @@ in bits]]> 32 - read_count - 8 - [8:0] + reset_status + 0 + [0:0] 0 + + + + read_count + 9 + [9:1] + 1 write_count - 17 - [17:9] - 9 + 18 + [18:10] + 10 read_error - 18 - [18:18] - 18 + 19 + [19:19] + 19 write_error - 19 - [19:19] - 19 + 20 + [20:20] + 20 almost_full - 20 - [20:20] - 20 + 21 + [21:21] + 21 almost_empty - 21 - [21:21] - 21 + 22 + [22:22] + 22 running - 22 - [22:22] - 22 + 23 + [23:23] + 23 @@ -6997,13 +6963,8 @@ of the PLL]]> ROM - 0x00000000 - 0x0000000C - - - SRAM - 0x10000000 - 0x00004000 + 0x80000000 + 0x00010000 VEXRISCV_DEBUG @@ -7033,7 +6994,7 @@ of the PLL]]> SHA512 0xE0002000 - 0x00000008 + 0x00000004 ENGINE @@ -7049,7 +7010,7 @@ of the PLL]]> - +