Return-Path: Delivery-Date: Received: from ted.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.4) outside ac.uk; Tue, 9 Mar 1993 18:18:38 +0000 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA02930; Tue, 9 Mar 93 10:01:13 -0800 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Precedence: bulk Received: from leopard.cs.uidaho.edu by ted.cs.uidaho.edu (16.6/1.34) id AA02923; Tue, 9 Mar 93 10:01:08 -0800 Received: from watson.ibm.com by leopard.cs.uidaho.edu (16.7/1.34) id AA23091; Tue, 9 Mar 93 09:36:09 -0800 Message-Id: <9303091736.AA23091@leopard.cs.uidaho.edu> Received: from YKTVMH by watson.ibm.com (IBM VM SMTP V2R3) with BSMTP id 8887; Tue, 09 Mar 93 12:26:26 EST Date: Tue, 9 Mar 93 12:26:22 EST From: corella@com.ibm.watson To: info-hol@edu.uidaho.cs.ted, vac@gov.nasa.larc.air16 Subject: Re: Analysis and hardware verification Subject: Note from you, sent on Tue, 9 Mar 93 09:20:31 -0500 Victor Carreno writes: > If two events occur and we can not determine which one occurs first; of > what value is a model that says that one *must* have occurred first since we > can divide time indefinitely? > > At the Bureau of standards, if you ask what time it is, they will tell you: > > 10:15 plus or minus .0000002 seconds :-) > > > So if you want to verify asynchronous circuits and "do things right", [...] > > Which model you use to do things right is the model that works for the > given application. What is then your preferred mathematical model of time for specifying and verifying a latch or a flip-flop? Francisco