├── .gitignore ├── Dockerfile ├── LICENSE ├── README.md ├── doc └── cpu-base.png ├── docker-compose.yml ├── result ├── DoM.log ├── Figure10 │ ├── performance.pdf │ ├── plot.py │ ├── print.py │ ├── run_local.py │ ├── summary.json │ └── summary.py └── GhostMinion.log ├── script ├── archive.py ├── plot_helper.py ├── run.py ├── run_helper_local.py └── summary_helper.py └── src ├── CPU ├── CPU.rkt ├── ROB.rkt ├── alu.rkt ├── cache.rkt ├── decode.rkt ├── inFetchScoreBoard.rkt ├── issue.rkt └── renameTB.rkt ├── ISASimulator.rkt ├── abs-module ├── absArbiter.rkt ├── absBufferGM.rkt ├── absDelay.rkt ├── absFifo.rkt ├── absFifo2.rkt └── brPred.rkt ├── decode.rkt ├── inst.rkt ├── lib ├── array.rkt ├── bv.rkt ├── debug │ ├── assert-debug-commitLog.rkt │ ├── buginfo.rkt │ ├── debug.rkt │ └── unittest.rkt ├── lib.rkt └── param.rkt ├── main_veriCorr.rkt ├── main_veriSpec.rkt └── sym-state ├── mem.rkt ├── memd.rkt ├── memi.rkt └── rf.rkt /.gitignore: -------------------------------------------------------------------------------- 1 | 2 | .DS_Store 3 | __pycache__ 4 | 5 | /result 6 | 7 | -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MATCHA-MIT/Pensieve/HEAD/Dockerfile -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MATCHA-MIT/Pensieve/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MATCHA-MIT/Pensieve/HEAD/README.md -------------------------------------------------------------------------------- /doc/cpu-base.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MATCHA-MIT/Pensieve/HEAD/doc/cpu-base.png -------------------------------------------------------------------------------- /docker-compose.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MATCHA-MIT/Pensieve/HEAD/docker-compose.yml -------------------------------------------------------------------------------- /result/DoM.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MATCHA-MIT/Pensieve/HEAD/result/DoM.log -------------------------------------------------------------------------------- /result/Figure10/performance.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MATCHA-MIT/Pensieve/HEAD/result/Figure10/performance.pdf -------------------------------------------------------------------------------- /result/Figure10/plot.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MATCHA-MIT/Pensieve/HEAD/result/Figure10/plot.py -------------------------------------------------------------------------------- /result/Figure10/print.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MATCHA-MIT/Pensieve/HEAD/result/Figure10/print.py -------------------------------------------------------------------------------- /result/Figure10/run_local.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MATCHA-MIT/Pensieve/HEAD/result/Figure10/run_local.py -------------------------------------------------------------------------------- /result/Figure10/summary.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MATCHA-MIT/Pensieve/HEAD/result/Figure10/summary.json -------------------------------------------------------------------------------- /result/Figure10/summary.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MATCHA-MIT/Pensieve/HEAD/result/Figure10/summary.py -------------------------------------------------------------------------------- /result/GhostMinion.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MATCHA-MIT/Pensieve/HEAD/result/GhostMinion.log -------------------------------------------------------------------------------- /script/archive.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MATCHA-MIT/Pensieve/HEAD/script/archive.py -------------------------------------------------------------------------------- /script/plot_helper.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MATCHA-MIT/Pensieve/HEAD/script/plot_helper.py -------------------------------------------------------------------------------- /script/run.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MATCHA-MIT/Pensieve/HEAD/script/run.py -------------------------------------------------------------------------------- /script/run_helper_local.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MATCHA-MIT/Pensieve/HEAD/script/run_helper_local.py -------------------------------------------------------------------------------- /script/summary_helper.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MATCHA-MIT/Pensieve/HEAD/script/summary_helper.py -------------------------------------------------------------------------------- /src/CPU/CPU.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MATCHA-MIT/Pensieve/HEAD/src/CPU/CPU.rkt -------------------------------------------------------------------------------- /src/CPU/ROB.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MATCHA-MIT/Pensieve/HEAD/src/CPU/ROB.rkt -------------------------------------------------------------------------------- /src/CPU/alu.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MATCHA-MIT/Pensieve/HEAD/src/CPU/alu.rkt -------------------------------------------------------------------------------- /src/CPU/cache.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MATCHA-MIT/Pensieve/HEAD/src/CPU/cache.rkt -------------------------------------------------------------------------------- /src/CPU/decode.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MATCHA-MIT/Pensieve/HEAD/src/CPU/decode.rkt -------------------------------------------------------------------------------- /src/CPU/inFetchScoreBoard.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MATCHA-MIT/Pensieve/HEAD/src/CPU/inFetchScoreBoard.rkt -------------------------------------------------------------------------------- /src/CPU/issue.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MATCHA-MIT/Pensieve/HEAD/src/CPU/issue.rkt -------------------------------------------------------------------------------- /src/CPU/renameTB.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MATCHA-MIT/Pensieve/HEAD/src/CPU/renameTB.rkt -------------------------------------------------------------------------------- /src/ISASimulator.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MATCHA-MIT/Pensieve/HEAD/src/ISASimulator.rkt -------------------------------------------------------------------------------- /src/abs-module/absArbiter.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MATCHA-MIT/Pensieve/HEAD/src/abs-module/absArbiter.rkt -------------------------------------------------------------------------------- /src/abs-module/absBufferGM.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MATCHA-MIT/Pensieve/HEAD/src/abs-module/absBufferGM.rkt -------------------------------------------------------------------------------- /src/abs-module/absDelay.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MATCHA-MIT/Pensieve/HEAD/src/abs-module/absDelay.rkt -------------------------------------------------------------------------------- /src/abs-module/absFifo.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MATCHA-MIT/Pensieve/HEAD/src/abs-module/absFifo.rkt -------------------------------------------------------------------------------- /src/abs-module/absFifo2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MATCHA-MIT/Pensieve/HEAD/src/abs-module/absFifo2.rkt -------------------------------------------------------------------------------- /src/abs-module/brPred.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MATCHA-MIT/Pensieve/HEAD/src/abs-module/brPred.rkt -------------------------------------------------------------------------------- /src/decode.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MATCHA-MIT/Pensieve/HEAD/src/decode.rkt -------------------------------------------------------------------------------- /src/inst.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MATCHA-MIT/Pensieve/HEAD/src/inst.rkt -------------------------------------------------------------------------------- /src/lib/array.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MATCHA-MIT/Pensieve/HEAD/src/lib/array.rkt -------------------------------------------------------------------------------- /src/lib/bv.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MATCHA-MIT/Pensieve/HEAD/src/lib/bv.rkt -------------------------------------------------------------------------------- /src/lib/debug/assert-debug-commitLog.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MATCHA-MIT/Pensieve/HEAD/src/lib/debug/assert-debug-commitLog.rkt -------------------------------------------------------------------------------- /src/lib/debug/buginfo.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MATCHA-MIT/Pensieve/HEAD/src/lib/debug/buginfo.rkt -------------------------------------------------------------------------------- /src/lib/debug/debug.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MATCHA-MIT/Pensieve/HEAD/src/lib/debug/debug.rkt -------------------------------------------------------------------------------- /src/lib/debug/unittest.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MATCHA-MIT/Pensieve/HEAD/src/lib/debug/unittest.rkt -------------------------------------------------------------------------------- /src/lib/lib.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MATCHA-MIT/Pensieve/HEAD/src/lib/lib.rkt -------------------------------------------------------------------------------- /src/lib/param.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MATCHA-MIT/Pensieve/HEAD/src/lib/param.rkt -------------------------------------------------------------------------------- /src/main_veriCorr.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MATCHA-MIT/Pensieve/HEAD/src/main_veriCorr.rkt -------------------------------------------------------------------------------- /src/main_veriSpec.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MATCHA-MIT/Pensieve/HEAD/src/main_veriSpec.rkt -------------------------------------------------------------------------------- /src/sym-state/mem.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MATCHA-MIT/Pensieve/HEAD/src/sym-state/mem.rkt -------------------------------------------------------------------------------- /src/sym-state/memd.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MATCHA-MIT/Pensieve/HEAD/src/sym-state/memd.rkt -------------------------------------------------------------------------------- /src/sym-state/memi.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MATCHA-MIT/Pensieve/HEAD/src/sym-state/memi.rkt -------------------------------------------------------------------------------- /src/sym-state/rf.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MATCHA-MIT/Pensieve/HEAD/src/sym-state/rf.rkt --------------------------------------------------------------------------------