Subject: Re: Begin-End / { } / < > ? + Assert
From: Kevin Cameron x3251 (dkc@galaxy.nsc.com)
Date: Thu Mar 14 2002 - 14:11:08 PST
Having seen the presentation on the new asssertion mechanism
I would like to re-propose including the C expression list
syntax - (<expression 0>,<expression 1>,...,<expression n>)
returning "<expression n>" - so that we can do the following
type of thing:
assert ((a = b,1),a == c) @@ (posedge clk);
i.e. the first asserted expression "(a = b,1)" assigns to 'a'
and returns "1" (the last expression in the list), and the
second "a == c" is asserted a cycle later.
Just a thought :-)
Kev.
This archive was generated by hypermail 2b28 : Thu Mar 14 2002 - 14:14:06 PST