#/usr/bin/shell


basefsms=/home/borowcm/Repositories/nfgen/z3_py/results_isvlsi/fsm/base
basesfsms=/home/borowcm/Repositories/nfgen/z3_py/results_isvlsi/sfsm/base
hscripts=/home/borowcm/Repositories/nfgen/z3_py/hscripts

 
mkdir dc_run

for file in $@; do
    base=${file:0:${#file}-2};
    fname=$(echo $file | rev | cut -d'/' -f1 | rev)
    mdir=$(dirname $file) 
    
#    filename=$(basename $file)
#    designame=${filename%.*}

    designname=${fname:0:${#fname}-3}
#    stimname=${designname}_stassign.v
    bmark=$(echo $designname | cut -d'_' -f1);

    cp $file .

    make STATS OUTPUTFILE=${designname}
    mkdir final_results/$bmark
#    mv $bmark* final_results/$bmark/.
done