SVA is mainly used at RTL signal level granularity. However, I believe you can sample elements of arrays and queues in a boolean expression. I've never used it.
The entire course (8.5 hours; 33 lectures; Lifetime access) is being sold for $149.99. But I am offering a coupon for $37.99. Please click on the link below to take advantage of this offer. The offer expires June 30, 2018 www.udemy.com/systemverilog-assertions-language-and-applications/?couponCode=SVA039
The main difference is that a Sequence cannot have an 'implication' operator. Only a property can have this operation. So, unless you are writing assertions -without- an implication operator, you will need a property. Assertions without an implication operator are not recommended unless you truly understand the 'vaccuous' PASS semantics. You can regard a sequence as a subroutine that is called by a property. Complex assertions should be divided into easier sequences and then tied through a property (or through hierarchical sequences).
Very Well explained... Thanks
Thank you for the detailed explanation about implication in SV. It's very useful
Glad it was helpful!
thanks for giving a jump start. Waiting for more
What are the data types that sequence or property supports..??
SVA is mainly used at RTL signal level granularity. However, I believe you can sample elements of arrays and queues in a boolean expression. I've never used it.
The entire course (8.5 hours; 33 lectures; Lifetime access) is being sold for $149.99. But I am offering a coupon for $37.99. Please click on the link below to take advantage of this offer. The offer expires June 30, 2018 www.udemy.com/systemverilog-assertions-language-and-applications/?couponCode=SVA039
i love your lectures !! Thank you!
Hope to see more videos in future.
Thank you
what is the use of sequence.
without using sequence we can't use property
for complex properties , u should use multiple sequences or hierarchy of sequences. For tiny examples it wont matter.
The main difference is that a Sequence cannot have an 'implication' operator. Only a property can have this operation. So, unless you are writing assertions -without- an implication operator, you will need a property. Assertions without an implication operator are not recommended unless you truly understand the 'vaccuous' PASS semantics. You can regard a sequence as a subroutine that is called by a property. Complex assertions should be divided into easier sequences and then tied through a property (or through hierarchical sequences).
Sir please update ur class lectures numbers on the screen .
Venkatesh, I am not sure I understand your request. Could you elaborate, please?
can I get this course in a discounted price?
Syed, the course is offered at $34 by Udemy. They won't let me go lower than that because it's a 12.5 hour long course. 52 lectures.
WHY IT IS 36.99? CAN I BUY IT AT 19.99?
Use the following Link
www.udemy.com/course/systemverilog-assertions-language-and-applications/?couponCode=SVA_19_2
From.udemy you uploaded this video here
Removed it or else I will case on u
Assalamoalykam bro.....had u purchased this course ?? Plz reply........