Research data supporting "A Consistency Checker for Memory Subsystem Traces"
收藏Mendeley Data2023-02-23 更新2024-06-29 收录
下载链接：
https://www.repository.cam.ac.uk/1810/256862
下载链接
链接失效反馈官方服务：
资源简介：
This package accompanies the paper "A consistency checker for memory subsystem traces" to appear at FMCAD 2016. It includes a snapshot of our memory consistency checker (axe) taken in July 2016 along with the traces used to test and evaluate it. Please note that the latest version of axe should always be obtained from https://github.com/CTSRD-CHERI/axe.
创建时间：
2019-01-13
