Delivery-Date: 
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: list
From: rahard@ee.umanitoba.ca (Budi Rahardjo)
Message-Id: <9507111650.AA15891@wine>
Subject: [Q] unbounded delay
To: info-hol@leopard.cs.byu.edu
Date: Tue, 11 Jul 1995 11:50:51 -0500 (CDT)
Mime-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit

Thanks for all people who responded to my previous question.
Now, more questions :-)

1. How do I represent an unbounded delay (i.e. EVENTUALLY)?
   For example, I want to say that an AND gate/device eventually will
   produce ``T'' when both inputs are ``T''s. The device has a delay,
   but not fixed (and unbounded).

2. What's the best way to present a transition?
   For example, I want to say that there is a transition from
   ``F'' to ``T''

What I really want to say is a combination of the above, i.e.,
for a 2-input AND gate, if currently one of the inputs is ``F''
and we change both inputs to ``T''s, EVENTUALLY the output is going
to be ``T'' (or eventually there is a transition from ``F'' to ``T'').


thanks
-- budi
-- 
Budi Rahardjo
<rahard@ee.umanitoba.ca>                 <Budi_Rahardjo@UManitoba.CA>
Electrical and Computer Engineering - University of Manitoba - Canada