The semantics of VHDL with VAL and HOL towards practical verification tools /

Description

Thesis (M.A.)--Wright State University, 1990. / Cover title. "June 1990." Includes bibliographical references.

Links & Downloads

1. http://catalog.hathitrust.org/api/volumes/oclc/24313700.html

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/610200921
Date	January 1900
Creators	Van Tassel, John P.
Publisher	Cambridge [Cambridgeshire] : University of Cambridge, Computer Laboratory,
Source Sets	OCLC
Language	English
Detected Language	English