Difference b/w Procedural and Concrent Assertions

Status
Not open for further replies.

kunal1514

Full Member level 1
Joined
Dec 13, 2006
Messages
98
Helped
0
Reputation
0
Reaction score
0
Trophy points
1,286
Activity points
2,027
Hi Tell Me,

Difference b/w Procedural and Concrent Assertions
 

concurrent assertions - are based on clock semantics. They describe behaviour that spans over time. They are evaluated only at occurence of clock tick.

Immediate assertions - are executed like a statement in a procedural block.
 

Status
Not open for further replies.
Cookies are required to use this site. You must accept them to continue using the site. Learn more…