Hardware interview practice
Concurrent assertion scheduling
At a clock event, where are values used by a concurrent assertion normally sampled and where is the property evaluated?
Starting point
Question code
assert property (@(posedge clk) req |-> gnt);Choose one
Answer choices
- A. Sampled in Active, evaluated in NBA
- B. Both sampled and evaluated in Reactive
- C. Sampled in NBA, evaluated in Postponed
- D. Sampled in Preponed, evaluated in Observed