[ibis-macro] Re: A Boolean logic excersise, Mia Culpa, You are right
- From: "Walter Katz" <wkatz@xxxxxxxxxx>
- To: <Arpad_Muranyi@xxxxxxxxxx>, "IBIS-ATM" <ibis-macro@xxxxxxxxxxxxx>
- Date: Tue, 8 Jun 2010 17:38:21 -0400
Arpad,
I am sorry, you are definitely correct. It is an unfortunate statement of
fact that Use_Init_Output only has meaning when GetWave_Exists is "True",
but the BIRD is explicit as to how it needs to be set when GetWave_Exists is
False. SO based on this and the excellent work you did in combining the
flows, I recommend we go with what you have. We still need to review the
other definitions that changed, but I hope we can move on. Again, I
apologize for the confusion.
Walter
Walter Katz
303.449-2308
Mobile 720.333-1107
wkatz@xxxxxxxxxx
www.sisoft.com
-----Original Message-----
From: ibis-macro-bounce@xxxxxxxxxxxxx
[mailto:ibis-macro-bounce@xxxxxxxxxxxxx]On Behalf Of Muranyi, Arpad
Sent: Tuesday, June 08, 2010 4:59 PM
To: IBIS-ATM
Subject: [ibis-macro] A Boolean logic excersise
Hello AMI experts,
The discussion over the AMI Booleans at the end of today's
ATM teleconference prompted me to write this message. First,
two quotes from the existing IBIS specification. Page 144
says:
| Note that if Init_Returns_Impulse
| is set to "False", then Getwave_Exists MUST be set to "True".
and page 145 says:
| If Use_Init_Output is False, GetWave_Exists must be True.
To make my notation simpler, I will abbreviate the names of the
Booleans to GWE for GetWave_Exists, UIO for Use_Init_Output and
IRI for Init_Returns_Impulse. Also, a "===" indicates "must be".
So this is what the current spec says today:
If IRI = F then GWE === T
If UIO = F then GWE === T
From these we can write the following truth tables:
--------
IRI GWE
--------
F T
T T
T F
--------
--------
UIO GWE
--------
F T
T T
T F
--------
From this we can see that when GWE = F the only possible value
for UIO or IRI is T. So the sentence I put into my BIRD draft:
|* Note that if GetWave_Exists
|* is set to "False", then both Use_Init_Output and
|* Init_Returns_Impulse MUST be set to "True".
is in complete agreement with the existing specification, and
does NOT introduce any new features. The only question that
remains comes from the fact that UIO is not a required parameter.
However, the current specification also states on p. 145 that
| Use_Init_Output is optional. The default value for this
| parameter is "True".
Which means that if UIO is not present, it is the same thing as
if it was present with a value of T. This condition will still
satisfy the rule I wrote into the BIRD draft. So I would like to
see proof for why the above statement in my BIRD draft changes
anything in the existing spec or introduces any new features to
it.
Any comments? (Quick replies would be appreciated).
Thanks,
Arpad
===================================================================
---------------------------------------------------------------------
IBIS Macro website : http://www.eda.org/pub/ibis/macromodel_wip/
IBIS Macro reflector: //www.freelists.org/list/ibis-macro
To unsubscribe send an email:
To: ibis-macro-request@xxxxxxxxxxxxx
Subject: unsubscribe
---------------------------------------------------------------------
IBIS Macro website : http://www.eda.org/pub/ibis/macromodel_wip/
IBIS Macro reflector: //www.freelists.org/list/ibis-macro
To unsubscribe send an email:
To: ibis-macro-request@xxxxxxxxxxxxx
Subject: unsubscribe
Other related posts:
