pathfinder/run_experiments.sh at main · 90ICEDA/pathfinder · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
#!/bin/bash

# Usage: source run_experiments.sh
# To reproduce all case studies of the paper and run all tests, uncomment all commands.

# The script blocks when SHOW_GRAPH is set to true
SHOW_GRAPH=false

tifg() {
    source paper_tifg_cs.sh > paper_tifg_cs.log
    cat paper_tifg_cs.log | grep STATISTICS
    cat paper_tifg_cs.log | grep pass
    cat paper_tifg_cs.log | grep fail
}

tg() {
    source paper_cs_$1.sh > paper_cs_$1.log
    cat paper_cs_$1.log | grep STATISTICS
    cat paper_cs_$1.log | grep pass
    cat paper_cs_$1.log | grep fail
}

source ./env_pathfinder.sh

cd designs/AES-400
source ./aes_env.sh
tifg
tg 1
cd ../..

cd designs/Kronos
source ./kronos_env.sh
tifg
tg 1
cd ../..

cd designs/Ibex
source ./ibex_env.sh
source paper_tifg_cs_custom.sh > paper_tifg_cs_custom.log
cat paper_tifg_cs_custom.log | grep STATISTICS
cat paper_tifg_cs_custom.log | grep pass
cat paper_tifg_cs_custom.log | grep fail
tg 1
source paper_tifg_cs_small.sh > paper_tifg_cs_small.log
cat paper_tifg_cs_small.log | grep STATISTICS
cat paper_tifg_cs_small.log | grep pass
cat paper_tifg_cs_small.log | grep fail
tg 2
cd ../..

cd designs/CVA6
source ./cva6_env.sh
tifg
tg 1
tg 2
cd ../..

cd designs/Boom
source ./boom_env.sh
tifg
tg 1
cd ../..