Show simple item record

Efficient automatic verification of loop and data-flow transformations by functional equivalence checking

dc.contributor.authorKodamballi, Shashi
dc.date.accessioned2021-10-17T08:01:47Z
dc.date.available2021-10-17T08:01:47Z
dc.date.issued2008-05
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/13958
dc.sourceIIOimport
dc.titleEfficient automatic verification of loop and data-flow transformations by functional equivalence checking
dc.typePHD thesis
dc.date.embargo9999-12-31
dc.source.peerreviewno
dc.contributor.thesisadvisorBruynooghe, Maurice
dc.contributor.thesisadvisorCatthoor, Francky
imec.availabilityPublished - open access


Files in this item

Thumbnail
Name:
17813.pdf
Size:
1.910Mb
Format:
PDF
View/open

This item appears in the following collection(s)

Show simple item record