ASIC Question Bank

After the first usable history sample, how should this property behave when d is known and stable around each posedge and q has no other drivers?

always_ff @(posedge clk) q <= d;
assert property (@(posedge clk) q == $past(d));