blob: cf8647e76943f16c92dcfa322708a9e268549c10 (
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 psl_onehot psl_onehot0; 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"
|