[myhdl-list] what about psl-type assertions in myhdl?

[David B. <da...@be...>]

Dear all,

is there any methodology how i could write a similar type of asserts in myhdl,
as those in PSL?

Simple example:

assert always ({a; b} |=> {c; d}) ...


if happens a, and next cycle b, then must happen c and next cycle d...

of course this one is rather primitive, but i would like to see how those
things (and more advanced, e.g. with ranges) might be implemented in the python.


anyone did already?

thanks
.d.