blob: 1336ae331e6daa206f9acf2a32875abd6e330fcf (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
#! /bin/sh
. ../../testenv.sh
analyze -fpsl psl.vhdl
elab_simulate -fpsl psl --psl-report=psl.out
if ! diff --strip-trailing-cr psl.out psl.ref > /dev/null; then
echo "report mismatch"
exit 1
fi
rm -f psl.out
clean
# Using vhdl 08
GHDL_STD_FLAGS="-fpsl --std=08"
analyze psl.vhdl
elab_simulate psl --psl-report=psl.out
diff --strip-trailing-cr -q psl.out psl.ref
rm -f psl.out
clean
# Usage example (python 2.7):
#
# import json
# d=json.load(open("psl.out"))
# print d['summary']
# {u'assert-pass': 2, u'cover': 1, ... }
# print d['summary']['assert']
echo "Test successful"
|
