diff options
author | Yann Herklotz <git@yannherklotz.com> | 2023-08-10 11:17:39 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2023-08-11 17:15:39 +0100 |
commit | c9d0a0bea2f547a9706e9524f20baf9778df805a (patch) | |
tree | dc8817796dbdbc91942195fbb27510fac9c9afd8 /scripts/synth-bambu.sh | |
parent | 6ad3f69cf04d0055b7987e6e4c858a64d3b1693c (diff) | |
download | vericert-c9d0a0bea2f547a9706e9524f20baf9778df805a.tar.gz vericert-c9d0a0bea2f547a9706e9524f20baf9778df805a.zip |
Add Bambu synthesis and ClockRegisters
Diffstat (limited to 'scripts/synth-bambu.sh')
-rwxr-xr-x | scripts/synth-bambu.sh | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/scripts/synth-bambu.sh b/scripts/synth-bambu.sh new file mode 100755 index 0000000..490190e --- /dev/null +++ b/scripts/synth-bambu.sh @@ -0,0 +1,32 @@ +#!/usr/bin/env bash + +set -x + +scriptsdir=$(dirname "$(readlink -f "$BASH_SOURCE")") + +if [[ -z "$1" ]]; then + parallel=1 +else + parallel=$1 +fi + +if [[ -z "$2" ]]; then + output=$(pwd) +else + output=$2 +fi + +if [[ -z "$3" ]]; then + source=$(pwd) +else + source=$3 +fi + +echo "copying directory structure from $source to $output" +mkdir -p $output +rsync -am --include '*/' --include '*.v' --exclude '*' $source/ $output/ + +echo "executing $parallel runs in parallel" +cat ./benchmark-list-master | \ + xargs --max-procs=$parallel --replace=% \ + $scriptsdir/synth-ssh-bambu.sh 0 % $output |