Subject: [sv-bc] SV-BC59 -- Proposal -- Inconsistency in priority/unique
From: Brad Pierce (Brad.Pierce@synopsys.com)
Date: Fri Feb 28 2003 - 18:17:00 PST
This proposal provides language for the proposal made by
Adam in message 0360.
----------------------------------------------------------------
In Section 8.3
---REPLACE
If either keyword is used, it shall be a run-time warning for no condition to match unless there is an explicit 'else'.
WITH
If either keyword is used, it shall be a run-time error for no condition to match unless there is an explicit 'else'.
---
REPLACE
// values 3,5,6,7 will cause a warning
WITH
// values 3,5,6,7 will cause an error
---
REPLACE
// covers all other possible values, so no warning
WITH
// covers all other possible values, so no error
---
REPLACE
If the case is qualified as 'priority' or 'unique', the simulator shall issue a warning message if an unexpected case value is found.
WITH
If the case is qualified as 'priority' or 'unique', the simulator shall issue an error message if an unexpected case value is found.
---
REPLACE
// values 3,5,6,7 will cause a run-time warning
WITH
// values 3,5,6,7 will cause a run-time error
----------------------------------------------------------------
This archive was generated by hypermail 2b28 : Fri Feb 28 2003 - 18:19:32 PST