Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from ted.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Fri, 7 May 1993 19:34:36 +0100
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA29262;
          Fri, 7 May 93 11:10:02 -0700
Sender: info-hol-request@ted.cs.uidaho.edu
Errors-To: info-hol-request@ted.cs.uidaho.edu
Precedence: bulk
Received: from ULTRASTAR.EE.CORNELL.EDU by ted.cs.uidaho.edu (16.6/1.34) 
          id AA29257; Fri, 7 May 93 11:09:56 -0700
Date: Fri, 7 May 93 14:10:01 EDT
From: mel@ultrastar.EE.CORNELL.EDU (Miriam Leeser)
Received: by ultrastar.EE.CORNELL.EDU (4.1/1.6.10+n-y-Cornell-Electrical-Engineering) 
          id AA07108; Fri, 7 May 93 14:10:01 EDT
Message-Id: <9305071810.AA07108@ultrastar.EE.CORNELL.EDU>
To: info-hol@ted.cs.uidaho.edu
Subject: Parity example


Their is an example of a parity circuit I have seen in several papers
(bibtex entries below).  Can someone tell me what the source of this
circuit is?

Thanks, 

Miriam
mel@ee.cornell.edu


@inproceedings{embedding-tpcd92,
	author = {R. Boulton and A. Gordon and M. Gordon and J.
Harrison and J. Herbert and J. Van Tassel},
	title = {Experience with Embedding Hardware Description
Languages in {HOL}},
	booktitle = {Theorem Provers in Circuit Design},
	year = {1992},
	publisher = {North Holland},
	editor = {V. Stavridou and T. F. Melham and R. T. Boute}
}


@inproceedings{schneider-vlsi91,
 title     = {Structuring Hardware Proofs: 
              First Steps Toward Automation a Higher Order Environment},
 author    = {K. Schneider and R. Kumar and T. Kropf},
 booktitle = {International Conference on {VLSI}},
 year      = {1991},
}