whitequark
|
12bf9bb570
|
Make CXXRTL testbench ~25% faster
|
2021-07-18 16:04:19 +01: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
|
5cc483898d
|
Add smoke test for core debug interface, and suppress bus fetch incrementing frontend level counter when in debug mode
|
2021-07-10 21:02:18 +01:00 |
|
Luke Wren
|
1b252d4bda
|
Significant overhaul of trap handling. Exceptions now taken from stage 3 instead of stage 2
|
2021-05-23 11:59:46 +01:00 |
|
Luke Wren
|
90acfdcbe8
|
Organise test directory into formal and sim
|
2021-05-23 07:42:35 +01:00 |