Subject: Question regarding Sampling point
From: Andy Tsay (andytsay@yahoo.com)
Date: Fri Dec 12 2003 - 18:57:42 PST
Hi,
Regarding PSL semantics using the following example
property P1 = {1'b1[*]; d; 1'b1; 1'b1} |-> {q1} @(posedge clk);
Does the PSL specify when to sample the inputs d and q1?
Is signal d sampled before or after the @(posedge clk)?
Thanks,
Andy
This archive was generated by hypermail 2b28 : Fri Dec 12 2003 - 18:58:23 PST