Publication:
Efficient automatic verification of loop and data-flow transformations by functional equivalence checking
Date
| dc.contributor.author | Kodamballi, Shashi | |
| dc.contributor.thesisadvisor | Bruynooghe, Maurice | |
| dc.contributor.thesisadvisor | Catthoor, Francky | |
| dc.date.accessioned | 2021-10-17T08:01:47Z | |
| dc.date.available | 2021-10-17T08:01:47Z | |
| dc.date.embargo | 9999-12-31 | |
| dc.date.issued | 2008-05 | |
| dc.identifier.uri | https://imec-publications.be/handle/20.500.12860/13958 | |
| dc.title | Efficient automatic verification of loop and data-flow transformations by functional equivalence checking | |
| dc.type | PHD thesis | |
| dspace.entity.type | Publication | |
| Files | Original bundle
| |
| Publication available in collections: |