Luke Wren
|
6d55cd2d55
|
Consolidate openocd and bin-load testbenches
|
2021-12-11 09:46:38 +00:00 |
|
Luke Wren
|
5e17bb805e
|
Add basic support for lr/sc instructions from the A extension
|
2021-12-04 15:02:31 +00:00 |
|
Luke Wren
|
c1f17b0b23
|
Add wfi timer loop example, and add mtime/mtimecmp to non-debug testbench
|
2021-11-06 09:59:27 +00:00 |
|
Luke Wren
|
2618ae0c07
|
Double-step() after clock posedge to workaround CXXRTL port propagation issue
|
2021-07-18 16:03:53 +01:00 |
|
Luke Wren
|
ce5cc1f150
|
oops, bounds checking on free-running tb_cxxrtl
|
2021-07-18 15:20:25 +01:00 |
|
Luke Wren
|
90acfdcbe8
|
Organise test directory into formal and sim
|
2021-05-23 07:42:35 +01:00 |