A formal hardware description and verification method
By: Tony Larsson
Contributors: Universitetet i Linköping
Series: Linköping studies in science and technology -- no. 214
Publisher: Linköping University, Dept. of Computer and Information Science
Published: 1989
Place of publication: Linköping, Sweden
Language: eng
Number of pages: 192
Subjects: Integrated circuits
Notes: "16 oktober 1989."

Thesis (doctoral)--Linköping University, 1989.

Includes bibliographical references.

Supported in part by Ericsson Telecom.