Return-Path: <John.Harrison-request@cl.cam.ac.uk>
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, 12 May 1995 18:26:18 +0100
Received: by leopard.cs.byu.edu (1.37.109.15/16.2) id AA297057479;
          Fri, 12 May 1995 10:51:19 -0600
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: list
Received: by leopard.cs.byu.edu (1.37.109.15/16.2) id AA297017478;
          Fri, 12 May 1995 10:51:18 -0600
From: Mike Jones <jones@lal.cs.byu.edu>
Subject: What is a netlist?
To: info-hol@leopard.cs.byu.edu
Date: Fri, 12 May 1995 10:51:18 MDT
X-Mailer: Elm [revision: 109.14]
Message-ID: <"swan.cl.cam.:188700:950512172707"@cl.cam.ac.uk>

The context is hardware description or something along those lines.
Here's the sentence:

"In this paper we give an overview of HML and show how it can be used
to generate netlists and to specify a floating point adder."

So what, exactly, is a netlist?

--
mik.e
I think its safe to stop praying for rain.