Subject: Re: Assertion Minutes 3/28/02
From: Tom Anderson (tla@0-in.com)
Date: Wed Apr 03 2002 - 01:12:05 PST
My votes...
> Vote 1:
> Data to be required in default message
> a) assertion hierarchical name
> b) file/line of assertion statement
> c) simulation time at which assertion fails
> d) simulation time at which assertion is executed
(a)
> Vote 2:
> Should there be a standard string embedded in all assertion status messages,
No
> Vote 3:
> Should the printing of a message be controlled by a command line switch.
No
> Vote 4:
> If Vote 3 passes, is $quiet still required?
Yes
> Vote 5:
> Should there be a complement of each approved system function?
No
> Vote 6:
> For $inset/$member, which matching semantics should be used?
> a) exact match ($inset)
> b) use casex semantics ($insetx)
> c) use casez semantics ($insetz)
(a)
> Vote 7:
> Should Antecedent/Consequent be postponed until SystemVerilog 3.1 to allow
> time to resolve semantic issues with VFV committee?
Yes
This archive was generated by hypermail 2b28 : Wed Apr 03 2002 - 01:09:49 PST