home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / comp / lsi / testing / 211 < prev    next >
Encoding:
Internet Message Format  |  1992-09-01  |  646 b 
  1. Path: sparky!uunet!olivea!hal.com!darkstar.UCSC.EDU!ararat!karplus
  2. From: karplus@ararat.ucsc.edu (Kevin Karplus)
  3. Newsgroups: comp.lsi.testing
  4. Subject: Re: Rise and shine
  5. Message-ID: <180rokINNkpp@darkstar.UCSC.EDU>
  6. Date: 1 Sep 92 22:44:36 GMT
  7. References: <1992Aug28.143621.1917@mcc.com>  <1992Aug28.162856.23272@watson.ibm.com> <1992Aug31.145127.4912@mcc.com>
  8. Sender: karplus@ararat (Kevin Karplus)
  9. Organization: UC Santa Cruz CIS/CE
  10. Lines: 6
  11. NNTP-Posting-Host: ararat.ucsc.edu
  12.  
  13. Logic minimization is also NP-hard.
  14.  
  15. In fact, damn near any interesting design or testing teachnique is NP-hard (after all, that
  16. is what makes it interesting).
  17.  
  18. Kevin
  19.