Subject: Re: [sv-ac] R29a/b Optional or mandatory name for assertions/prop erties/assumptions.
From: Adam Krolnik (krolnik@lsil.com)
Date: Wed Sep 18 2002 - 14:54:13 PDT
;
> We have found that for the very simple assertions it is awkward
> to type a name.
Hmmm, like this:
assert always $onehot(s) @(posedge assert_clk);
You'd get a message like:
ASSERT fail on cycle 4972, coretb.zsp500.isu.isu_fd_dec from file
design/isu/rtl500/isu_fd_dec.v, line 94.
Let's contrast that with:
onehot: assert always ($onehot(s)) @(posedge assert_clk)
else $error("sel is %b", s);
ASSERT fail on cycle 4972, coretb.zsp500.isu.isu_fd_dec.onehot from file
design/isu/rtl500/isu_fd_dec.v, line 94. sel is 101
Ahhh, a onehot mux failure. I know where this goes...
Adam Krolnik
Verification Mgr.
LSI Logic Corp.
Plano TX. 75074
This archive was generated by hypermail 2b28 : Wed Sep 18 2002 - 14:56:42 PDT