langevin@IRO.UMontreal.CA (Michel Langevin) (11/08/90)
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