Luke Wren
|
93be227d8a
|
Add (currently failing) trap entry property. Fails when an IRQ arrives during a load/store data phase which subsequently excepts.
|
2021-12-06 20:12:23 +00:00 |
|
Luke Wren
|
12205f12c7
|
Add instruction fetch match check
|
2021-05-30 11:22:36 +01:00 |
|
Luke Wren
|
16dc905dce
|
Add simple formal bus properties check
|
2021-05-30 10:19:42 +01:00 |
|
Luke Wren
|
2330b84b73
|
Use .f for riscv-formal tb dependencies, small reshuffling of directories
|
2021-05-30 09:44:57 +01:00 |
|
Luke Wren
|
089bcc7c43
|
Typo
|
2021-05-29 23:24:18 +01:00 |
|
Luke Wren
|
90acfdcbe8
|
Organise test directory into formal and sim
|
2021-05-23 07:42:35 +01:00 |