I have a question stating that “If signal a i active then signal b was active somewhere in the past”
someone please help me out in writing the assertion.
how can we pass the ranges to the number of clock ticks in “$past(exp1,number of clockticks,exp2 )” ?
in case of time advancement we have [+]/[*] ? in case of $past how can we achieve that ?
Thanks in advance