OpenFPGA/ERI_demo/ERI.sh

#!/bin/bash
# Regression test version 1.0

# Set variables
my_pwd=$PWD
fpga_flow_scripts=${my_pwd}/fpga_flow/scripts
vpr_path=${my_pwd}/vpr7_x2p/vpr
benchmark="pipelined_8b_adder"
include_netlists="_include_netlists.v"
compiled_file="compiled_$benchmark"
tb_formal_postfix="_top_formal_verification_random_tb"
verilog_output_dirname="${vpr_path}${benchmark}_Verilog"
log_file="${benchmark}_sim.log"
new_reg_sh="${PWD}/ERI_demo/my_eri_demo.sh"
template_sh="${PWD}/ERI_demo/eri_demo.sh"


# Remove former log file
rm -f $log_file
rm -f $compiled_file

# Rewite script
cd $fpga_flow_scripts

perl rewrite_path_in_file.pl -i $template_sh -o $new_reg_sh

cd $my_pwd

# Start the script -> run the fpga generation -> run the simulation -> check the log file
source $new_reg_sh	# Leave us in vpr folder
iverilog -o $compiled_file $verilog_output_dirname/SRC/$benchmark$include_netlists -s $benchmark$tb_formal_postfix
vvp $compiled_file -j 64 >> $log_file

result=`grep "Succeed" $log_file`
if ["$result" = ""]; then
  result=`grep "Failed" $log_file`
  if ["$result" = ""]; then
    echo "Unexpected error, Verification didn't run"
    cd $my_pwd
    exit 1
  else
    echo "Verification failed"
    cd $my_pwd
    exit 2
  fi
else
  echo "Verification succeed"
  cd $my_pwd
fi