In reply to dave_59:
thanks. This is what I was trying to get confirmed. I also read some thing about properties like A2 can be matched multiple times. For example, the signals occurs in following ways. AABB at T1T2T3T4, so what is the time for the A2 to be successful? Do you have recommendations about reading materials related to this? How should I refine my knowledge towards those cases? not just superficially understand the syntax, but how/where should I get more complicated usage and examples about SVA?
Thanks a lot.