Restricted branching programs and hardware verification
Author(s)
Ponzio, Stephen J. (Stephen John)![Thumbnail](/bitstream/handle/1721.1/35042/34097389-MIT.pdf.jpg?sequence=4&isAllowed=y)
DownloadFull printable version (4.692Mb)
Advisor
Maricio Karchmer.
Terms of use
Metadata
Show full item recordDescription
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1995. Includes bibliographical references (p. 71-77).
Date issued
1995Department
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer SciencePublisher
Massachusetts Institute of Technology
Keywords
Electrical Engineering and Computer Science