Subject: Re: Begin-End / { } / < > ? + Assert
From: Adam Krolnik (krolnik@lsil.com)
Date: Mon Mar 18 2002 - 09:39:17 PST
Hi Kevin;
Your example assertion statement is a common one. I agree that
we be able to easily check for ideas like this. We write
that assertion like this:
assert (delay(b,1) == c) @@ (posedge clk);
Once you understand the delay() functionality, the assertion
is simple.
The usage of the comma operator while valid does provide for
some confusion when others try to read the code.
It also works when you have more than 1 cycle of delay which
is also very typical:
assert (request triggers delay(addr_in, 2) == addr_out)
@@( posedge clk);
I'm not stuck on names, but on common and useful functionality.
Adam Krolnik
Verification Mgr.
LSI Logic Corp.
Plano TX. 75074
This archive was generated by hypermail 2b28 : Mon Mar 18 2002 - 10:29:27 PST