Re: INTERNATIONAL STANDARD FOR LOGIC: CSMF
fritz@rodin.wustl.edu (Fritz Lehmann)
Date: Fri, 9 Sep 94 17:05:28 CDT
From: fritz@rodin.wustl.edu (Fritz Lehmann)
Message-id: <9409092205.AA01265@rodin.wustl.edu>
To: dam@ai.mit.edu, tony@ontek.com
Subject: Re: INTERNATIONAL STANDARD FOR LOGIC: CSMF
Cc: E.Hunt@cgsmtp.comdt.uscg.mil, bhacker@nara.gov, cg@cs.umn.edu,
duschka@cs.stanford.edu, genesereth@cs.stanford.edu,
interlingua@isi.edu, jksharp@sandia.gov, msingh@bcr.cc.bellcore.com,
msmith@vax2.cstp.umkc.edu, roger@ci.deere.com, scott@ontek.com,
sharadg@atc.boeing.com, skperez@mcimail.com,
sowa@turing.pacss.binghamton.edu, srkb@cs.umbc.edu,
fritz@rodin.wustl.edu
Sender: owner-srkb@cs.umbc.edu
Precedence: bulk
David McAllester pointed out that connectivity of
graphs, which is not definable in First-Order semantics,
is needed as a practical matter by designers and
verifiers of circuit designs. I would add that
the same is true of planarity. Planarity is not
definable with First-Orderism, but it is very
important in circuit design. A planar subgraph
of a circuit requires only one layer -- this
reduced the number of physical layers in an
integrated circuit chip, and the number of
layers and drilled-through holes on a printed
circuit board. In IC manufacture, planarity is
a multi-million-dollar predicate.
Yours truly, Fritz Lehmann
GRANDAI Software, 4282 Sandburg Way, Irvine, CA 92715, U.S.A.
Tel:(714)-733-0566 Fax:(714)-733-0506 fritz@rodin.wustl.edu
=============================================================