Subject: [sv-ac] goofed characterization
From: John Havlicek (john.havlicek@motorola.com)
Date: Thu Feb 26 2004 - 14:23:07 PST
All:
I said
> if s is a sequence, then as a property s is equivalent to "s and 1'b1".
which is wrong. I meant to say:
if s is a sequence, then as a property s is equivalent to "s intersect 1'b1[*1:$]".
J.H.
This archive was generated by hypermail 2b28 : Fri Feb 27 2004 - 00:03:31 PST