Restricted Branching Programs and Hardware Verification
| dc.contributor.advisor | Karchmer, Mauricio | en_US |
| dc.contributor.author | Ponzio, Stephen J. | en_US |
| dc.date.accessioned | 2023-03-29T15:25:27Z | |
| dc.date.available | 2023-03-29T15:25:27Z | |
| dc.date.issued | 1995-08 | |
| dc.identifier.uri | https://hdl.handle.net/1721.1/149805 | |
| dc.description.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 | en_US |
| dc.relation.ispartofseries | MIT-LCS-TR-663 | |
| dc.title | Restricted Branching Programs and Hardware Verification | en_US |
