******************************************************************************
********************* IBIS GOLDEN PARSER BUG REPORT FORM *********************
******************************************************************************

INSTRUCTIONS

To report a bug in the IBIS golden parser.  Please fill out the top part
of the following form and send the complete form to info@ibis.org.

A list of reported bugs is maintained at http://ibis.org/bugs/ibischk/ .

******************************************************************************

PARSER VERSION NUMBER: 6.1.2

PLATFORM (SPARC, HP700, PC, etc.): PC

OS AND VERSION: Microsoft Windows 10

REPORTED BY: Michael Mirmak, Intel Corp.

DATE: September 20, 2016

DESCRIPTION OF BUG:
According to the IBIS specification for .ami files:

- Format Value (or Value) and Default are mutually exclusive
- Default shall not be used with Usage Out
- Format Value (or Value) may be ignored by the EDA tool for Usage Out

The enclosed file generates some misleading Errors:

IBISCHK6 V6.1.2

... Checking bug183.ami for AMI Version 6.0 Compatibility...

E4641 - Example1: Either Format/Value or Default should be specified
E4650 - Example3: Default cannot be specified when Usage OUT is specified

Errors  : 2

File Failed

The E4641 message for Example1 is not correct because Default cannot
be specified when the (Usage Out) is specified.  (See Example3.)
If (Usage Out) is specified, and Value is missing, a new message should
read: "Format/Value should be specified" when (Usage Out) exists.

Example2 is correct, and no error is reported because Value is specified,

The E4650 message for Example3 is correct, because (Usage Out) and
Default cannot coexist.  Example3 also shows that the message in Example1
is misleading.

In a larger sense, the specification is somewhat misleadingly written.  In
practice, for Usage Out, Format Value (or Value) must be present, even though
the argument to Value is meaningless for an output.  This is confirmed by the
statement on page 200 of the IBIS 6.1 document that, "For Usage Out
parameters, ({Format} <data_format> <data>) may be ignored by the EDA tool..."

Most of the text of the "Format" portion of the specification starting on page
196 is written only from the perspective of Usage In or InOut ("Range", for
example, "defines a continuous range for which the user may select any value
greater than or equal to <min value> and less than or equal to <max value>
within the constraints of the Type of the variable").  This should be
re-written to include the meaning, if any, under Usage Out if permitted.

INSERT IBIS FILE DEMONSTRATING THE BUG:

(bug183
   (Reserved_Parameters
      (AMI_Version (Usage Info) (Type String) (Value "6.0"))
      (Init_Returns_Impulse (Usage Info) (Type Boolean) (Default True))
      (GetWave_Exists (Usage Info) (Type Boolean) (Default True))
   )
   (Model_Specific
      (Example1 (Usage Out) (Type Integer))
      (Example2 (Usage Out) (Type Integer) (Value 1))
      (Example3 (Usage Out) (Type Integer) (Default 2))
   )
)

******************************************************************************
******************** BELOW FOR ADMINISTRATION AND TRACKING *******************
******************************************************************************

BUG NUMBER:  183

SEVERITY: [FATAL, SEVERE, MODERATE, ANNOYING, ENHANCEMENT]  ANNOYING

PRIORITY: [HIGH, MEDIUM, LOW]                               LOW

STATUS: [OPEN, CLOSED, WILL NOT FIX, NOT A BUG]             CLOSED

FIXED VERSION: 6.1.4

FIXED DATE:  June 28, 2017

NOTES ON BUG FIX:
Classified at the October 14, 2016 IBIS Open Forum meeting.
New message be added in a future release.

June 28, 2017
New message for Usage Out: E4641 changed to E4708.

******************************************************************************
******************************************************************************