home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / comp / lang / vhdl / 537 < prev    next >
Encoding:
Internet Message Format  |  1992-11-18  |  818 b 
  1. Path: sparky!uunet!olivea!spool.mu.edu!sol.ctr.columbia.edu!ira.uka.de!uka!uka!news
  2. From: S_KARL@iravcl.ira.uka.de (|S| Holger Karl)
  3. Newsgroups: comp.lang.vhdl
  4. Subject: Papers on hardware verification?
  5. Message-ID: <1eg3frINNd2d@iraul1.ira.uka.de>
  6. Date: 19 Nov 92 13:06:03 GMT
  7. Organization: University of Karlsruhe (FRG) - Informatik Rechnerabt.
  8. Lines: 10
  9. NNTP-Posting-Host: irav1.ira.uka.de
  10. X-News-Reader: VMS NEWS 1.23
  11.  
  12.  
  13. Hi, 
  14. I know this isn't the very proper newsgroup for this question, but is anybody
  15. out there able to tell me about papers on other publications concerning the
  16. verification of hardware using abstract methods like higher order logic or
  17. sequent calculus? Any hints would be highly appreciated! If this seems
  18. interesting to more people, I will collect the answers and post them.
  19.  
  20. Thanks 
  21. Holger Karl
  22.