Merge pull request #159 from riscv-boom/csmith-ci

csmith random testing

ci/README.md → .circleci/README.md

@@ -1,12 +1,13 @@
 These are the scripts that Circle CI uses to run the tests during a PR.
 
-Note: This uses the most up to date version of riscv-boom/boom-template to run the tests using the
+Note: This uses the most up to date version of riscv-boom/boom-template (**master**) to run the tests using the
 hash of rocket-chip in riscv-boom to specify the version of rocket-chip
 
 Things to look into:
 --------------------
-- How to build and test MegaBoomConfig (seems to error out saying "Killed/Error 137" which indicates OOM 
+- How to build and test MegaBoomConfig (seems to error out saying "Killed/Error 137" which indicates OOM
 since there is only 2GB of RAM per docker instance). So far as I can tell, the only way to fix this is to
 get a paid account with better docker instances (or to use machine for now and stop using once machine is a
 paid service which might happen soon). (Note 1/5/19 BoomConfig seems to suffer from same issue)
 
+* How to get more coverage of pipeline using something like csmith and/or riscv-torture.

.circleci/build-run-csmith-tests.sh

@@ -0,0 +1,17 @@
+#!/bin/bash
+
+# test the verilator simulation using csmith random testing 
+
+# turn echo on and error on earliest command
+set -x
+set -e
+
+SIM_BASE=simulator-boom.system-
+CONFIG=$1
+SIM=${SIM_BASE}${CONFIG}
+AMT_RUNS=$2
+
+# run csmith utility
+cd $HOME/boom-template/scripts/csmith
+./install-csmith.sh
+./run-csmith.sh --sim $HOME/boom-template/verisim/$SIM --run $AMT_RUNS