riscv
/
OpenFPGA
mirror of https://github.com/lnis-uofu/OpenFPGA.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Update demo simulation result path

This commit is contained in:
AurelienUoU 2019-07-12 16:52:54 -06:00
parent 19ccbce9d0
commit 1a5c5ff4a6
1 changed files with 6 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
ERI_demo/ERI.sh
View File

@ -3,13 +3,13 @@
# Set variables # Set variables
my_pwd=$PWD my_pwd=$PWD
fpga_flow_scripts=${my_pwd}/fpga_flow/scripts fpga_flow_scripts="${my_pwd}/fpga_flow/scripts"
vpr_path=${my_pwd}/vpr7_x2p/vpr vpr_path="${my_pwd}/vpr7_x2p/vpr"
benchmark="test_modes" benchmark="test_modes"
include_netlists="_include_netlists.v" include_netlists="_include_netlists.v"
compiled_file="compiled_$benchmark" compiled_file="compiled_$benchmark"
tb_formal_postfix="_top_formal_verification_random_tb" tb_formal_postfix="_top_formal_verification_random_tb"
verilog_output_dirname="${vpr_path}${benchmark}_Verilog" verilog_dirname="${vpr_path}/${benchmark}_Verilog"
log_file="${benchmark}_sim.log" log_file="${benchmark}_sim.log"
new_reg_sh="${PWD}/ERI_demo/my_eri_demo.sh" new_reg_sh="${PWD}/ERI_demo/my_eri_demo.sh"
template_sh="${PWD}/ERI_demo/eri_demo.sh" template_sh="${PWD}/ERI_demo/eri_demo.sh"
@ -28,7 +28,8 @@ cd $my_pwd
# Start the script -> run the fpga generation -> run the simulation -> check the log file # Start the script -> run the fpga generation -> run the simulation -> check the log file
source $new_reg_sh # Leave us in vpr folder 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 cd $my_pwd
iverilog -o $compiled_file ${verilog_dirname}/SRC/${benchmark}${include_netlists} -s ${benchmark}${tb_formal_postfix}
vvp $compiled_file -j 64 >> $log_file vvp $compiled_file -j 64 >> $log_file
result=`grep "Succeed" $log_file` result=`grep "Succeed" $log_file`
@ -36,16 +37,13 @@ if ["$result" = ""]; then
result=`grep "Failed" $log_file` result=`grep "Failed" $log_file`
if ["$result" = ""]; then if ["$result" = ""]; then
echo "Unexpected error, Verification didn't run" echo "Unexpected error, Verification didn't run"
cd $my_pwd
exit 1 exit 1
else else
echo "Verification failed" echo "Verification failed"
cd $my_pwd
exit 2 exit 2
fi fi
else else
echo "Verification succeed" echo "Verification succeed"
gtkwave ${benchmark}_formal.vcd &
fi fi
gtkwave ${benchmark}_formal.vcd &
cd $my_pwd