Re: [sv-bc] Errata in SV 3.1a LRM Section 18.4: inconsistent use of error and warning

From: Adam Krolnik <krolnik@lsil.com>
Date: Wed Nov 10 2004 - 13:46:07 PST

Good afternoon Stuart;

>I propose that all violation messages from unique/priority be a warning.

May the language be written to allow a simulator to provide enhanced capabilities to
detect true unique violations and report an error (via $error() along with its
consequences) if they so desire?

Otherwise, wouldn't a simulator be limited to only producing a warning?

     Thanks.

     Adam Krolnik
     Verification Mgr.
     LSI Logic Corp.
     Plano TX. 75074
     Co-author "Assertion-Based Design"
Received on Wed Nov 10 13:46:12 2004

This archive was generated by hypermail 2.1.8 : Wed Nov 10 2004 - 13:46:15 PST