Efficient verification of VLSI circuits based on syntax and denotational semantics

Aelten, Filip Van.

تاريخ: 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.

الملفات في هذه المادة

الملفات	الحجم	الصيغة	عرض
لا توجد أي ملفات مرتبطة بهذه المادة.