Path: 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


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