home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #30 / NN_1992_30.iso / spool / comp / arch / 11669 < prev    next >
Encoding:
Text File  |  1992-12-15  |  1.3 KB  |  43 lines
  1. Newsgroups: comp.arch
  2. Path: sparky!uunet!zaphod.mps.ohio-state.edu!cs.utexas.edu!newsfeed.rice.edu!rice!dawn.cs.rice.edu!preston
  3. From: preston@dawn.cs.rice.edu (Preston Briggs)
  4. Subject: Re: Logic Minimization Algorithms
  5. Message-ID: <BzBCMC.332@rice.edu>
  6. Sender: news@rice.edu (News)
  7. Organization: Rice University, Houston
  8. References: <1992Dec15.024904.22554@amd.com>
  9. Date: Tue, 15 Dec 1992 18:27:47 GMT
  10. Lines: 31
  11.  
  12. roberts@angelo.amd.com (Dave Roberts) writes:
  13. >
  14. >I couldn't think of a more appropriate news group to post this in
  15.  
  16. comp.compilers comes to mind :-)
  17.  
  18. >What sort of algorithms are typically used to minimize logic equations
  19. >specified in high level hardware description languages (PAL software,
  20. >Verilog, etc.)?
  21. >[...]
  22. >So I guess my question is, how are these problems overcome?  Do people
  23. >use other algorithms than Quine-McClusky instead that don't suffer
  24. >these problems?  If so, what are they?
  25. >
  26. >Does someone have references of articles that describe this stuff?
  27.  
  28. Here's one, which has many pointers further back.
  29.  
  30.   author="Kurt Keutzer and Wayne Wolf",
  31.   title="Anatomy of a Hardware Compiler",
  32.   pages="95--104",
  33.   journal=sigplan,
  34.   year=1988,
  35.   month=jul,
  36.   volume=23,
  37.   number=7
  38.  
  39. It's in the Proceedings of the SIGPLAN '88 Conference on
  40. Programming Language Design and Implementation.
  41.  
  42. Preston Briggs
  43.