Systemverilog assertion

[mgufran365]

[ben2]

Great homework!
Write assertions, we can critique them for you.
Use https://www.edaplayground.com/ if you do not have access to a simulator.
Ben Cohen
Ben@systemverilog.us
Link to the list of papers and books that I wrote, many are now donated.
https://systemverilog.us/vf/Cohen_Links_to_papers_books.pdf

[Kushal_Nijalingappa]

I am new to assertions. Can you please let me know if my solution makes any sense

psel |=> penable |=> ##[4:5]pready ##1 !penable intersect !pready;

[chr_sue]

You cannot use 2 implication operators.
The solution might be

(psel ##1 penable) |=> ##[4:5]pready ##1 !penable intersect !pready;