Welcome to our site! EDAboard.com is an international Electronics Discussion Forum focused on EDA software, circuits, schematics, books, theory, papers, asic, pld, 8051, DSP, Network, RF, Analog Design, PCB, Service Manuals... and a whole lot more! To participate you need to register. Registration is free. Click here to register now.
hi,
I have two sequences, s1 and s2. I have a property that checks these two sequences.
for example,
sequence s1
req ##3 gnt;
endseqence
sequence s2
ack;
endsequence
Now I make use of a property for an assertion to check these two sequences.
property p1;
@(posedge clk) disable...
This site uses cookies to help personalise content, tailor your experience and to keep you logged in if you register.
By continuing to use this site, you are consenting to our use of cookies.