Article View: comp.lsi
Article #374references needed
From: Michel Langevin
Date: Wed, 07 Nov 1990 19:42
Date: Wed, 07 Nov 1990 19:42
13 lines
851 bytes
851 bytes
I am looking for references on formal verification of hardware; more precisely, on the verification of micro-code, and on the comparison of sequential machines. If you have suggestions, please let me know via my e-mail address langevin@iro.umontreal.ca Thank you very much! -- Michel Langevin res. (514) 273-5494 local UdeM: T-522 langevin@iro.umontreal.ca lab. (514) 343-6111 poste 3545 local UdeM: Y-222
Technical Details
Message-ID:
<1990Nov7.194243.11344@IRO.UMontreal.CA>Path:
arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!clyde.concordia.ca!IRO.UMontreal.CA!iros5.IRO.UMontreal.CA!langevinShow Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!clyde.concordia.ca!IRO.UMontreal.CA!iros5.IRO.UMontreal.CA!langevin From: langevin@IRO.UMontreal.CA (Michel Langevin) Newsgroups: comp.lsi Subject: references needed Message-ID: <1990Nov7.194243.11344@IRO.UMontreal.CA> Date: 7 Nov 90 19:42:43 GMT Sender: news@IRO.UMontreal.CA Organization: Universite de Montreal Lines: 13