blob: a594dfcafeae6cc72dc8069bb268b90708a6b4b0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
#!/bin/sh
. ../../testenv.sh
GHDL_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
|
