Return-Path: Delivery-Date: Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Fri, 11 Nov 1994 16:06:04 +0000 Received: by leopard.cs.byu.edu (1.38.193.4/16.2) id AA05559; Fri, 11 Nov 1994 08:52:41 -0700 Sender: info-hol-request@lal.cs.byu.edu Errors-To: info-hol-request@lal.cs.byu.edu Precedence: bulk Received: from GATEWAY.SCTC.COM by leopard.cs.byu.edu with SMTP (1.38.193.4/16.2) id AA05555; Fri, 11 Nov 1994 08:52:33 -0700 Received: from sccmailhost.sctc.com (sccmailhost.sctc.com [192.55.214.100]) by gateway.sctc.com (8.6.9/8.6.9) with SMTP id JAA03839 for ; Fri, 11 Nov 1994 09:42:43 -0600 Received: from sccmailhost.sctc.com by sccmailhost.sctc.com id 020500000; 11 Nov 94 9:45 CST Received: from spirit by sccmailhost.sctc.com id 067730000; 11 Nov 94 9:45 CST Received: from shade.sctc.com (shade [172.17.192.48]) by spirit.sctc.com (8.6.9/8.6.9) with ESMTP id JAA04512 for ; Fri, 11 Nov 1994 09:43:25 -0600 Received: (from coe@localhost) by shade.sctc.com (8.6.9/8.6.9) id JAA08352; Fri, 11 Nov 1994 09:43:23 -0600 Date: Fri, 11 Nov 1994 09:43:23 -0600 From: Mike Coe Message-Id: <199411111543.JAA08352@shade.sctc.com> To: info-hol@leopard.cs.byu.edu Subject: My thesis Organization: Secure Computing Corp. X-Zippy: HUGH BEAUMONT died in 1982!! Hello, I have placed a postscript version of my Master Thesis at the BYU ftp site. The title of the thesis is Results from Verifying a Pipelined Microprocessor The file can be found at leopard.cs.byu.edu in the directory /pub/hol/lal-papers all comments are welcome thanks mike Michael L Coe | Secure Computing Corp. | We have tamed lightning coe@sctc.com | and used it to teach sand \disclaimer{I speak for myself} | how to think. GCS -d+ H-- !g a- v? C++ BS++ P+ E+ N++ !W t+