#/usr/local/bin/bash

for file in $@; do
    base=${file:0:${#file}-2};
     fname=$(echo $file | rev | cut -d'/' -f1 | rev)    
     designname=${fname:0:${#fname}-2}
#     ./verilog2spice.pl $file 
     ./gate2spice.pl $file
     mv des10_spice.sp $designname.sp
done