Article View: comp.lang.vhdl
Article #334Re: Papers on hardware verification?
From: Albert Koelmans
Date: Fri, 20 Nov 1992 09:26
Date: Fri, 20 Nov 1992 09:26
17 lines
1158 bytes
1158 bytes
S_KARL@iravcl.ira.uka.de (|S| Holger Karl) writes: >I know this isn't the very proper newsgroup for this question, but is anybody >out there able to tell me about papers on other publications concerning the >verification of hardware using abstract methods like higher order logic or >sequent calculus? Any hints would be highly appreciated! If this seems >interesting to more people, I will collect the answers and post them. Check out the Springer and North-Holland catalogues. You'll find several conference proceedings of interest. -- E-mail address: Albert.Koelmans@newcastle.ac.uk Computing Science Department, University of Newcastle upon Tyne, Newcastle upon Tyne, NE1 7RU, UK (telephone +44 091-2228155,fax 2228232)
Technical Details
Message-ID:
<By0CvD.GxH@newcastle.ac.uk>Path:
arc1-ca.pugleaf.net!sparky!uunet!mcsun!uknet!newcastle.ac.uk!noyce!namkReferences:
<1eg3frINNd2d@iraul1.ira.uka.de>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!uknet!newcastle.ac.uk!noyce!namk From: Albert.Koelmans@newcastle.ac.uk (Albert Koelmans) Newsgroups: comp.lang.vhdl Subject: Re: Papers on hardware verification? Message-ID: <By0CvD.GxH@newcastle.ac.uk> Date: 20 Nov 92 09:26:00 GMT References: <1eg3frINNd2d@iraul1.ira.uka.de> Organization: University of Newcastle upon Tyne, UK, NE1 7RU Lines: 17 Nntp-Posting-Host: noyce