We are experiencing some difficulties with our submission forms, which we are working to resolve. If you have any issues, please contact us at dspace-lib@mit.edu.

Restricted Branching Programs and Hardware Verification

Thumbnail Image
Download
Name

MIT-LCS-TR-663.pdf

Size

7.16 MB

Format

Adobe PDF

Checksum (MD5)

2a9f2f571981c28e2ecb483852557610

Author(s)
Ponzio, Stephen J.
Advisor(s)
Karchmer, Mauricio
Date Issued
August 1995
Series/Report no.
MIT-LCS-TR-663
Abstract
Recent developments in the field of digital design and hardware verification have found great use for restricted forms of branching programs. In particular, oblivious read-once branching programs (also called "OBDD's") are central to a very common techni
Persistent DSpace Link
PrivacyPermissionsAccessibilityContact us
Notify us about copyright concerns.