T. Meissner
ed269c05ed
Add PSL vunit inherit example as ghdl/ghdl#1899 was fixed
* New example of PSL inherit usage
* Add example to formal tests
* Add issue_1899 to issues tests
* Add inherit to README
3 years ago
T. Meissner
bb50d3436b
Update PSL sequence, property & vunit examples as #1889 was fixed
* Named sequences & properties for synthesis are also supported in
PSL vunits (#1889 ) and inline PSL (#1891 ) now.
3 years ago
T. Meissner
e96ef24876
Add two first eda blog posts as reference
3 years ago
T. Meissner
f8d2ac230e
Update PSL abort example as ghdl/ghdl#1654 was fixed
3 years ago
T. Meissner
d67333231a
Add example for PSL abort operator
4 years ago
T. Meissner
4180e5a66f
Add onehot & onehot0 examples to formal tests
4 years ago
T. Meissner
8b4086dedb
Add examples for onehot() & onehot0() PSL functions
4 years ago
T. Meissner
ee9cda7463
Add examples for formal attributes anyconst & anyseq
4 years ago
T. Meissner
d03b07f2dc
Update infos about recommended docker images
4 years ago
T. Meissner
61d719defa
Add for, forall & macros to unsupported list
4 years ago
T. Meissner
29ff43dcb2
Add example for named properties
4 years ago
T. Meissner
ddeb7e1f72
Add example for named sequences
4 years ago
T. Meissner
5e23ba9171
Add example for PSL verification units (vunit)
5 years ago
T. Meissner
ab97e79926
Add example for log iff (<->) operator, was fixed in ghdl/ghdl#1371
5 years ago
T. Meissner
53b5fcdf6f
generate constructs in PSL vunits fixed ( ghdl/ghdl#1372 )
5 years ago
T. Meissner
2cec27d081
Add fell() example to formal tests after it was implemented by ghdl/ghdl#1357
5 years ago
T. Meissner
6ccf3095ee
Add rose() example to formal tests after it was implemented by ghdl/ghdl#1356
5 years ago
T. Meissner
521faf5414
Add example for SERE concatenation (;) operator
5 years ago
T. Meissner
0d5101ee50
Add example for SERE fusion (:) operator
5 years ago
T. Meissner
4a2605e664
Add example for SERE non-length-matching and (&) operator
5 years ago
T. Meissner
d904d45c9b
Add some examples using prev() with vectors
5 years ago
T. Meissner
7a8545857b
Add examples using prev() with 2nd parameter)
5 years ago
T. Meissner
12cb822424
Add example for prev() function
5 years ago
T. Meissner
0aa92b4d4f
Include eventually example in formal tests after ghdl/ghdl#1345 was fixed
5 years ago
T. Meissner
413737fdf1
Update badges for GHA workflows
5 years ago
T. Meissner
eaf03a8be8
Add example for SERE or (|) operator
5 years ago
T. Meissner
f6088fd9f2
Add some more links to ressources
5 years ago
T. Meissner
f9233c605b
Add links to further ressources
5 years ago
T. Meissner
d2db77183e
Fix SERE, replacing within with && operator
5 years ago
T. Meissner
3e0daf5e51
Add SERE goto [->n] operator, was fixed by ghdl/ghdl#1322
5 years ago
T. Meissner
0a044db5d0
Fixed entity & file names of [=] examples
5 years ago
T. Meissner
97773515b8
Add SERE repeat [=n] operator, was fixed by ghdl/ghdl#1321
5 years ago
T. Meissner
f2b3d9d9ee
Add issue code for goto ([->]) operator ( ghdl/ghdl#1322 )
5 years ago
T. Meissner
e2ee755833
Add example for consecutive repetition operator and variants
* Add example for [*], [*i to j], [*] and [+] operator variants
* Add formal test for consecutive repetition operator example
* Add consecutive repetition operator to supported list
5 years ago
T. Meissner
d346840704
Add example for |=> (non overlapping suffix implication) operator
* Add example for |=> operator
* Add formal test for |=> operator example
* Add |=> to supported list
5 years ago
T. Meissner
3b669b037b
Add example for |-> (overlapping suffix implication) operator
* Add example for |-> operator
* Add formal test for |-> operator example
* Add |-> to supported list
5 years ago
T. Meissner
1a7a3e9f68
Add example for simple SERE
* Add example for simple SERE
* Add formal test for simple SERE example
* Restructure lists in README
5 years ago
T. Meissner
1a37ad78be
Add example for locical implication
* Add example for -> operator
* Add formal test for -> operator example
* Sort entries in README lists
5 years ago
T. Meissner
54b2791f47
Add strong operator versions to unsupported list
5 years ago
T. Meissner
2fdf7d99e3
PSL next_event_e operator now supported by GHDL :)
5 years ago
T. Meissner
e744ab3a1b
Add some infos about getting the tools used by the tests
5 years ago
T. Meissner
44f6dc1f1c
PSL next_e operator now supported by GHDL :)
5 years ago
T. Meissner
2e64182dda
Add example for next_a operator
* Add example for next_a operator
* Add formal test for next_a operator example
* Move next_a from unsupported to supported list
5 years ago
T. Meissner
fb993953cb
Minor fixes, beauty care
* Minor fixes to README
* Add psl_before & psl_eventually to formal test list
5 years ago
T. Meissner
5c8ced0752
Add examples of before & before_ operators
* Add example for before & before_ operator
* Add formal test for both operators
* Add before operator to supported list
* Add before_ operator to wrong behaviour list
5 years ago
T. Meissner
9e29e0631e
Add example for eventually! operator
* Add example for eventually! operator
* Add formal test for eventually! operator (throws an error during synthesis)
* Add eventually! to supported list with hint to failing synthesis
5 years ago
T. Meissner
ffe07fd5b4
Add example of until & until_ operators
* Add example for until & until_ operator
* Add formal test for both operators
* Add both operators to supported list
5 years ago
T. Meissner
5e5be8afe6
Add gitignore file
5 years ago
T. Meissner
105d44d7d0
Add example for next_event[n] operator
* Add example for next_event[n] operator
* Add formal test for next_event[n] operator
* Add next_event[n] to supported list
* Add next_event_a[n] & next_event_e[n] to unsupported list
5 years ago
T. Meissner
c23f3b4736
Add Github actions config file & badge, fixes #2
5 years ago
