PsPIN/OSMOSIS
Verilator experiments
Set up Docker container with the environment (15 min)
$ git clone git@spclgitlab.ethz.ch:mkhalilov/pspin-osmosis.git$ cd ./pspin-osmosis/ && git submodule update --init --recursive$ docker-compose up -d
Build simulation model (up to 1 hour)
$ docker ps # get the containerID$ docker exec -it <containerID> bash$ cd /opt/pspin/$ source ./sourceme.sh$ cd ./hw/verilator_model/$ VERILATOR_COMPILER_WORKERS=$(nproc) make release