Verif: Memory Access Instructions

scarv / xcrypto

XCrypto: a cryptographic ISE for RISC-V

MIT License

92 stars 10 forks source link

Closed ben-marshall closed 6 years ago

ben-marshall commented 6 years ago

Implement modelling of the memory access instructions

ben-marshall commented 6 years ago

Added extra logic to the ise model which captures memory transactions and allows the model to "halt" and listen for multiple memory transactions corresponding to a single instruction.
No point implmenting much more of the memory access instruction models until they have something to check against, since they rely on external stimulus.