Restricted Branching Programs and Hardware Verification
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
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
2023
|
| Online Access: | https://hdl.handle.net/1721.1/149805 |
| _version_ | 1826202872433344512 |
|---|---|
| author | Ponzio, Stephen J. |
| author2 | Karchmer, Mauricio |
| author_facet | Karchmer, Mauricio Ponzio, Stephen J. |
| author_sort | Ponzio, Stephen J. |
| collection | MIT |
| description | 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 |
| first_indexed | 2024-09-23T12:23:25Z |
| id | mit-1721.1/149805 |
| institution | Massachusetts Institute of Technology |
| last_indexed | 2024-09-23T12:23:25Z |
| publishDate | 2023 |
| record_format | dspace |
| spelling | mit-1721.1/1498052023-03-30T03:45:38Z Restricted Branching Programs and Hardware Verification Ponzio, Stephen J. Karchmer, Mauricio 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 2023-03-29T15:25:27Z 2023-03-29T15:25:27Z 1995-08 https://hdl.handle.net/1721.1/149805 MIT-LCS-TR-663 application/pdf |
| spellingShingle | Ponzio, Stephen J. Restricted Branching Programs and Hardware Verification |
| title | Restricted Branching Programs and Hardware Verification |
| title_full | Restricted Branching Programs and Hardware Verification |
| title_fullStr | Restricted Branching Programs and Hardware Verification |
| title_full_unstemmed | Restricted Branching Programs and Hardware Verification |
| title_short | Restricted Branching Programs and Hardware Verification |
| title_sort | restricted branching programs and hardware verification |
| url | https://hdl.handle.net/1721.1/149805 |
| work_keys_str_mv | AT ponziostephenj restrictedbranchingprogramsandhardwareverification |