[sv-bc] Extending assertion control to apply to 'violation reports' for unique/priority case

From: Brad Pierce <Brad.Pierce@synopsys.com>
Date: Tue Jul 17 2012 - 21:24:04 PDT

The proposal for http://www.eda.org/svdb/view.php?id=3474 is being voted on this week by the ballot resolution committee. It would impact SV-BC, so you might want to review it.

The proposal : http://www.eda.org/svdb/file_download.php?file_id=5819&type=bug

A discussion thread : http://www.eda.org/sv-ac/hm/11437.html

-- Brad
Received on Tue Jul 17 21:24:08 2012

This message: [ Message body ]
Next message: Bresticker, Shalom: "[sv-bc] initialization of unpacked union in declaration"
Previous message: Greg Jaxon: "Re: [sv-bc] Semantics of PSL statement inside SV module"

Contemporary messages sorted: [ By Date ] [ By Thread ] [ By Subject ] [ By Author ] [ By messages with attachments ]

This archive was generated by hypermail 2.1.8 : Tue Jul 17 2012 - 21:24:24 PDT