Hardware interview practice
Nonoverlapped implication timing
An assertion is sampled on every rising edge and uses the property `a |=> b`. If a is true on cycle 10, when must b be true for that attempt to pass?
Choose one
Answer choices
- A. On cycle 11, the next sampled rising edge.
- B. On every cycle from 10 onward until a becomes false.
- C. At any time before cycle 12, including between clock edges.
- D. On cycle 10, the same sampled rising edge.