This website works better with JavaScript.
Home
Help
Sign In
tmeissner
/
psl_with_ghdl
Watch
1
Star
0
Fork
0
Code
Issues
0
Pull Requests
0
Releases
0
Wiki
Activity
Browse Source
Add PSL property & sequences to formal tests list
master
T. Meissner
3 years ago
parent
bb50d3436b
commit
3deb967f7f
1 changed files
with
2 additions
and
0 deletions
Unified View
Diff Options
Show Stats
Download Patch File
Download Diff File
+2
-0
formal/tests.mk
+ 2
- 0
formal/tests.mk
View File
@ -28,6 +28,8 @@ psl_sere_non_len_matching_and \
p
s
l
_
s
e
r
e
_
c
o
n
c
a
t
\
p
s
l
_
s
e
r
e
_
c
o
n
c
a
t
\
p
s
l
_
s
e
r
e
_
f
u
s
i
o
n
\
p
s
l
_
s
e
r
e
_
f
u
s
i
o
n
\
p
s
l
_
p
r
e
v
\
p
s
l
_
p
r
e
v
\
p
s
l
_
p
r
o
p
e
r
t
y
\
p
s
l
_
s
e
q
u
e
n
c
e
\
p
s
l
_
s
t
a
b
l
e
\
p
s
l
_
s
t
a
b
l
e
\
p
s
l
_
r
o
s
e
\
p
s
l
_
r
o
s
e
\
p
s
l
_
f
e
l
l
\
p
s
l
_
f
e
l
l
\
Write
Preview
Loading…
Cancel
Save
