Path: utzoo!utgpu!jarvis.csri.toronto.edu!rutgers!cs.utexas.edu!uunet!mcvax!ukc!mucs!cim1!root
From: root@cim1.uucp (542.00000000)
Newsgroups: comp.lsi
Subject: Re: EDIF
Summary: Info on EDIF netlist
Keywords: EDIF netlist
Message-ID: <6272@ux.cs.man.ac.uk>
Date: 1 Jun 89 15:39:57 GMT
References: <1412@ncr-sd.SanDiego.NCR.COM>
Sender: news@ux.cs.man.ac.uk
Reply-To: edif-support@ux.cs.man.ac.uk
Followup-To: comp.lsi
Organization: Department of Computer Science, University of Manchester
Lines: 65

I'm posting this for Hilary Kahn in response to article 616, 
message-id <1412@ncr-sd.SanDiego.NCR.COM>

There are currently two additional official EDIF documents:
The Introduction to EDIF which covers the structure and general organisation
of EDIF and talks about syntactic issues and "A connectivity Guide" which
is due for publication now. The Connectivity document talks about all issues
relevant to the representation of connectivity - and hence covers most of
what is allowable/needed in the Netlist View. The documents are available
from the EIA (see address on the reference Guide).

In addition, there are some modelling docuuments which consider connectivity
produced in the UK and obtainable from:
A. E. Mounter
STC Technology Limited
London Road
Harlow
ESSEX CM17 9NA

Tel: (44)-279-29531 xt: 2649 
There is a small charge for these. They use a combination of IDEF1X type
models and a formal specification language, VDM. 

These documents are not, of course, official!

There are three other official documents which I can supply. These are
the Volumes of Questions and Answers. These volumes are a collection of
the queries asked by EDIF users over the past 2 years - and the official
answers given by the Technical Committee.  If you are interested in these,
let me know.

The Schematic TSC is producing a beginners guide to the Schematic View. It
deals only with simple issues - and is not necessarily of great relevance to 
netlist view generation/processing. The PCB TSC have an Application note out
for review - this covers PCB Layout (and is even less relevant to netlist
processing).

The University of Manchester also supplies an EDIF Syntax Checker for all 
levels of EDIF. The syntax checker is in Pascal and is available for Suns, 
Apollos and Vax (VMS and UNIX). We have supplied about 130 worldwide so it is 
reasonably well tested.

We are also able to supply EDIF test data to aid in software development.

Another service which we offer is the checking of EDIF files for syntactic and
semantic correctness. This service is being offered as part of a European 
project but is available for US companies too. We have already tested a number
of industrially supplied files and systems.  We also have the ability to 
produce plots of any view that has a coordinate space for any cell in the
file.

If you have any queries about EDIF can you please email them to :
edif-support@ux.cs.man.ac.uk or Fax them to (44) -61 -275 -6280 or 
send them by ordinary post to :
	H.J. Kahn
	  Dept. of Computer Science
            University of Manchester
              Oxford Road
                Manchester M13 9PL
                  U. K.
                  
One of my roles on the EDIF Technical Committee (TC) is to act as the
"Keeper of the Questions"!

			Hilary Kahn