scripts/verific.sh

   1 #!/bin/bash
   2
   3 D=$(dirname $0)
   4
   5 TCL=$(mktemp)
   6
   7 VERIFICDIR=$(dirname $(dirname $(which verific-linux)))
   8
   9 echo "setvhdllibrarypath -default $VERIFICDIR/vhdl_packages/vdbs_2008" >> $TCL
  10
  11 # FIXME: make this list dynamic
  12 for i in decode_types.vhdl common.vhdl wishbone_types.vhdl insn_helpers.vhdl fetch1.vhdl fetch2.vhdl decode1.vhdl helpers.vhdl  decode2.vhdl register_file.vhdl  cr_file.vhdl crhelpers.vhdl ppc_fx_insns.vhdl sim_console.vhdl execute1.vhdl execute2.vhdl loadstore1.vhdl  loadstore2.vhdl multiply.vhdl writeback.vhdl wishbone_arbiter.vhdl core.vhdl simple_ram_behavioural_helpers.vhdl simple_ram_behavioural.vhdl core_tb.vhdl; do
  13     F=$(realpath $D/../$i)
  14     echo "analyze -format vhdl -vhdl_2008 $F" >> $TCL
  15 done
  16
  17 echo "elaborate core" >> $TCL
  18 echo "write core.v" >> $TCL
  19 echo "area" >> $TCL
  20 echo "optimize -hierarchy -constant -cse -operator -dangling -resource" >> $TCL
  21 echo "area" >> $TCL
  22 echo "write core-optimised.v" >> $TCL
  23
  24 verific-linux -script_file $TCL
  25
  26 rm -rf $TCL