From 83d773090e342fc9188beaa1bfe99b664605f978 Mon Sep 17 00:00:00 2001 From: Michael Neuling Date: Fri, 6 Sep 2019 15:05:01 +1000 Subject: [PATCH] Fix verific script with new VHDL files This really needs to be auto generated, but here we are. Signed-off-by: Michael Neuling --- scripts/verific.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/verific.sh b/scripts/verific.sh index c657679..fffa5ee 100755 --- a/scripts/verific.sh +++ b/scripts/verific.sh @@ -9,7 +9,7 @@ VERIFICDIR=$(dirname $(dirname $(which verific-linux))) echo "setvhdllibrarypath -default $VERIFICDIR/vhdl_packages/vdbs_2008" >> $TCL # FIXME: make this list dynamic -for i in decode_types.vhdl common.vhdl wishbone_types.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 +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 F=$(realpath $D/../$i) echo "analyze -format vhdl -vhdl_2008 $F" >> $TCL done