home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #20 / NN_1992_20.iso / spool / comp / lsi / cad / 949 < prev    next >
Encoding:
Internet Message Format  |  1992-09-14  |  825 b 
  1. Xref: sparky comp.lsi.cad:949 comp.lsi:591 comp.lsi.testing:220
  2. Path: sparky!uunet!dtix!darwin.sura.net!spool.mu.edu!uwm.edu!ogicse!news.u.washington.edu!uw-beaver!lobo
  3. From: lobo@cs.washington.edu (Donald A. Lobo)
  4. Newsgroups: comp.lsi.cad,comp.lsi,comp.lsi.testing
  5. Subject: Looking for a public domain BDD package
  6. Message-ID: <1992Sep15.005657.11772@beaver.cs.washington.edu>
  7. Date: 15 Sep 92 00:56:57 GMT
  8. Sender: news@beaver.cs.washington.edu (USENET News System)
  9. Organization: Computer Science & Engineering, U. of Washington, Seattle
  10. Lines: 8
  11.  
  12. I'd like information on various public domain BDD packages avalaible.
  13. I'm aware of the ones available from CMU and Berkeley. 
  14.  
  15. I'd appreciate any advice regarding these packages, and also any other
  16. BDD packages that are avalaible out there
  17.  
  18. Donald Lobo
  19. (lobo@cs.washington.edu)
  20.