Xref: utzoo comp.lsi:492 comp.databases:1152
Path: utzoo!utgpu!water!watmath!clyde!bellcore!rutgers!uwvax!vanvleck!uwmcsd1!ig!agate!pasteur!ames!ubvax!weitek!sci!raymund
From: raymund@sci.UUCP (Raymund Galvin)
Newsgroups: comp.lsi,comp.databases
Subject: EDIF 2 0 0  rom code data and test vectors
Keywords: edif
Message-ID: <26353@sci.UUCP>
Date: 12 Jul 88 00:26:51 GMT
Organization: Silicon Compilers Systems Corp. San Jose, Ca
Lines: 30


Does anybody have an example of representing ROM code data in an EDIF 2 0 0 ?
After looking at the EDIF 2 0 0 spec, I guess it might look something
like this:

  (interface
    (port (array ADDRIN 4) (direction input))
    (port (array DATA 8) (direction output))
  )
  (contents
    (follow (protRef DATA)
      (table
        (entry (match (portRef ADDRIN) F F F F) (logicRef T F T F T F T F))
        (entry (match (portRef ADDRIN) F F F T) (logicRef T F T F T F T F))
        (entry (match (portRef ADDRIN) F F T F) (logicRef T F T F T F T F))
        (entry (match (portRef ADDRIN) F F T T) (logicRef T F T F T F T F))
        (tableDefault  (logicRef T F T F T F T F))
      )
    )
  )

Similarly, does anybody have an example of test vectors in EDIF format?

I have this horrible feeling, that the fragment shown above is all wrong
and that the correct way is 10X more verbose.   Any examples or feedback
will be appreciated.

Is there a mailing list somewhere concerning EDIF issues?

ray galvin