blob: 1047b853e956eac6c6857bb310a3bb31cd564bc9 (
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; 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"
|
