体系结构
文章平均质量分 64
会打代码的扫地王大爷
微博(不一定是技术) http://weibo.com/1505236542
个人博客: csuncle.com
展开
-
gem5+dramsim2
sudo build/X86/gem5.opt configs/example/se.py -c tests/test-progs/hello/bin/x86/linux/hello –cpu-type=’TimingSimpleCPU’ –caches –l2cache –mem-type=’DRAMSim2’原创 2018-06-22 11:43:26 · 546 阅读 · 0 评论 -
SPEC2006
安装步骤# Ubuntu16.04# 注意安装gFortran. ./install.sh. ./shrc        一般情况下经过以上步骤即可安装完毕,进行使用,注意需要执行shrc设置完环境变量以后才可正常执行后续的各种操作。  原创 2018-10-17 15:26:27 · 5847 阅读 · 1 评论 -
模型检验-计算树逻辑(CTL)小例
模型检验-计算树逻辑(CTL)小例        AX是相对于初始节点(x=1)开始的树而言的,由于AX表示对于任何从初始节点(x=1)开始的路径中的下一个节点,因此EX则是相对于初始节点的子节点(x=2)开始的子树而言的。EX(x=4)表示存在从节点(x=2)开始的路径,使得子树的初始节点(x原创 2018-10-17 15:30:58 · 4037 阅读 · 0 评论 -
GEM5中使用DRAMSim2
GEM5中使用DRAMSim2DRAMSim2 DRAMSim2是一个较为精确的DDR2/3内存模拟器,因为其仿真效果相当不错,因此在学术界接受度较高[1]。GEM5中集成DRAMSim2 &nb原创 2018-10-17 15:35:31 · 1456 阅读 · 6 评论 -
GEM5中添加一个简单的IO模块
GEM5中添加一个简单的IO模块 近期想要在Gem5中模拟ORAM(Oblivious RAM)的算法,因此开始折腾起了Gem5。ORAM简介 为了保护数据安全,我们经常对数据进行加密再原创 2018-10-17 15:43:50 · 1209 阅读 · 2 评论