blob: 5186799d16cbbf609a1d5f81faf8a71bf634809e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
#! /bin/sh
. ../../testenv.sh
GHDL_STD_FLAGS=--std=08
for test in psl_prev psl_stable psl_rose psl_fell; do
synth_analyze $test
analyze tb_${test}.vhdl
elab_simulate_failure tb_${test} --stop-time=20ns --asserts=disable-at-0 --assert-level=error
elab_simulate tb_${test} --stop-time=10ns --asserts=disable-at-0 --assert-level=error
done
clean
echo "Test successful"
|