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; Thu, 16 Jun 1994 07:04:01 +0100 Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA20349; Wed, 15 Jun 1994 23:53:36 -0600 Sender: info-hol-request@lal.cs.byu.edu Errors-To: info-hol-request@lal.cs.byu.edu Precedence: bulk Received: from canopus.cc.umanitoba.ca by leopard.cs.byu.edu with SMTP (1.37.109.8/16.2) id AA20345; Wed, 15 Jun 1994 23:53:33 -0600 Received: from eeserv.ee.UManitoba.CA by canopus.CC.UManitoba.CA (4.1/25-eef) id AA28833; Thu, 16 Jun 94 00:52:09 CDT Received: from ic16.ee.umanitoba.ca by eeserv.ee.UManitoba.CA (4.1/25a-eef) id AA24283; Thu, 16 Jun 94 00:52:06 CDT Received: by ic16.ee.umanitoba.ca (4.1/25-eef) id AA06636; Thu, 16 Jun 94 00:52:06 CDT From: rahard@ee.UManitoba.CA Message-Id: <9406160552.AA06636@ic16.ee.umanitoba.ca> Subject: hardware and higher-order logic To: info-hol@leopard.cs.byu.edu Date: Thu, 16 Jun 1994 00:52:06 -0500 (CDT) X-Mailer: ELM [version 2.4 PL22] Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Content-Length: 544 One of my Profs (a true believer of first-order logic) asked me "why the need for higher-order logic in hardware design ? Isn't first order logic good enough ? Is it necessary ?" I am going to give him a copy of Gordon's paper "Why higher-order logic is a good formalism for specifying and verifying hardware". Are there other papers/ftp-able documents that I should give to him ? Any examples ? Thanks. -- budi -- Budi Rahardjo Electrical Engineering - University of Manitoba - Canada