blob: 9228abecd9f05261df7a5a2506eb6831c875e411 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
#!/bin/sh
. ../../testenv.sh
GHDL_STD_FLAGS="-fpsl --std=02"
analyze psl_test_cover.vhd
elab_simulate psl_test_cover --stop-time=200ns
analyze psl_test_cover2.vhd
elab_simulate psl_test_cover2 --stop-time=200ns
analyze psl_test_cover3.vhd
elab_simulate psl_test_cover3 --stop-time=200ns
clean
|
