I'm trying to check timing parameters of memory device.
Since the timing parameters are specified in picoseconds and they are not related to the clock, I think I need to make the checkers by using $time, or something else.
How can I describe the checkers by not using clock when the spec. is as below?
"Signal A must be low for minimum 50ps after it falls."
I wrote the checker as below.
realtime A_fell, A_width;
($fell(A), A_fell = $time) |-> ($rose(A), A_width = $time - A_fell) ##0 web_width >= 50ps;
I have no idea if the checker is described in a right way, and how I can check the result of property on Synopsys Verdi.
(I want to used "A_CHECKER: assert property" to check the result on Verdi, but compile error occurs since there's no clock)