what about psl-type assertions in myhdl?

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.

------------------------------------------------------------------------------
Developer Access Program for Intel Xeon Phi Processors
Access to Intel Xeon Phi processor-based developer platforms.
With one year of Intel Parallel Studio XE.
Training and support from Colfax.
Order your platform today.http://sdm.link/xeonphi