Efficient verification of VLSI circuits based on syntax and denotational semantics

Aelten, Filip Van.

Date: 2013-10-09

Filip Van Aelten.

Also issued as: Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1988.

Includes bibliographical references (p. 139-141).

Support provided by Analog Devices.

Files in this item

Files	Size	Format	View
There are no files associated with this item.