Papers on hardware verification?

Article View: comp.lang.vhdl

Article #333

#333

From: |S| Holger Karl
Date: Thu, 19 Nov 1992 13:06

10 lines
839 bytes

Hi, 
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.

Thanks 
Holger Karl

Technical Details

Message-ID: <1eg3frINNd2d@iraul1.ira.uka.de>

Path: arc1-ca.pugleaf.net!sparky!uunet!olivea!spool.mu.edu!sol.ctr.columbia.edu!ira.uka.de!uka!uka!news

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!olivea!spool.mu.edu!sol.ctr.columbia.edu!ira.uka.de!uka!uka!news
From: S_KARL@iravcl.ira.uka.de (|S| Holger Karl)
Newsgroups: comp.lang.vhdl
Subject: Papers on hardware verification?
Message-ID: <1eg3frINNd2d@iraul1.ira.uka.de>
Date: 19 Nov 92 13:06:03 GMT
Organization: University of Karlsruhe (FRG) - Informatik Rechnerabt.
Lines: 10
NNTP-Posting-Host: irav1.ira.uka.de
X-News-Reader: VMS NEWS 1.23