cores
/
power-fv
3
1
Fork 0
Code Issues 18 Pull Requests Projects Releases Wiki Activity
111 Commits
2 Branches
0 Tags
251 KiB
dinofly
main
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'dinofly'
${ noResults }
Commit Graph

4 Commits (dinofly)

Author SHA1 Message Date
Jean-François Nguyen c90e8fc496 check.storage: allow interrupts during instruction fetches. 2 years ago
Jean-François Nguyen 749184e964 Add instruction storage check. 3 years ago
Jean-François Nguyen 373a4e28b6 pfv.Interface: add support for skipping instructions. 
The `pfv.skip` signal is used to handle cases where the DUT does not
actually execute an instruction (e.g. a no-op), which may prevent some
side-effects (e.g. GPR accesses) from being observable.
 3 years ago
Jean-François Nguyen 5ca0001b4b Add data storage check. 
This check is implemented in two parts:
- an implementation-dependant DataStorageModel, which is connected to
  the DUT and emulates bus accesses to a r/w memory.
- a DataStorageTestbench, which checks that a load from a given address
  returns the last value that was stored to it.
 3 years ago