blob: d567f2581bc7d19781a77330a083c9067a587a5a (
plain)
1
2
3
4
5
6
7
|
#! /bin/sh
. ../../testenv.sh
synth --std=08 wb_standard_axi4_lite_bridge_rtl.vhd wb_standard_axi4_lite_bridge.psl wb_standard_formal_psl.vhd -e wb_standard_axi4_lite_bridge > syn_bridge.vhdl
echo "Test successful"
|