home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / comp / lang / vhdl / 538 < prev    next >
Encoding:
Internet Message Format  |  1992-11-20  |  1.1 KB
  1. Path: sparky!uunet!mcsun!uknet!newcastle.ac.uk!noyce!namk
  2. From: Albert.Koelmans@newcastle.ac.uk (Albert Koelmans)
  3. Newsgroups: comp.lang.vhdl
  4. Subject: Re: Papers on hardware verification?
  5. Message-ID: <By0CvD.GxH@newcastle.ac.uk>
  6. Date: 20 Nov 92 09:26:00 GMT
  7. References: <1eg3frINNd2d@iraul1.ira.uka.de>
  8. Organization: University of Newcastle upon Tyne, UK, NE1 7RU
  9. Lines: 17
  10. Nntp-Posting-Host: noyce
  11.  
  12. S_KARL@iravcl.ira.uka.de (|S| Holger Karl) writes:
  13.  
  14.  
  15. >I know this isn't the very proper newsgroup for this question, but is anybody
  16. >out there able to tell me about papers on other publications concerning the
  17. >verification of hardware using abstract methods like higher order logic or
  18. >sequent calculus? Any hints would be highly appreciated! If this seems
  19. >interesting to more people, I will collect the answers and post them.
  20.  
  21. Check out the Springer and North-Holland catalogues. You'll find several
  22. conference proceedings of interest.
  23.  
  24. --
  25.  
  26. E-mail address:  Albert.Koelmans@newcastle.ac.uk
  27. Computing Science Department, University of Newcastle upon Tyne,
  28. Newcastle upon Tyne, NE1 7RU, UK (telephone +44 091-2228155,fax 2228232) 
  29.