Publication:

Automatic functional verification of memory oriented global source code transformations

Date

2003
Proceedings Paper
Simple item page Full metadata Statistics
 
dc.contributor.authorKodamballi, Shashidhar
dc.contributor.authorBruynooghe, Maurice
dc.contributor.authorCatthoor, Francky
dc.contributor.authorJanssens, Gerda
dc.contributor.imecauthorCatthoor, Francky
dc.contributor.orcidimecCatthoor, Francky::0000-0002-3599-8515
dc.date.accessioned2021-10-15T05:12:39Z
dc.date.available2021-10-15T05:12:39Z
dc.date.embargo9999-12-31
dc.date.issued2003
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/7748
dc.source.beginpage31
dc.source.conference8th Annual IEEE International Workshop on High Level Design Validation and Test
dc.source.conferencedate12/11/2003
dc.source.conferencelocationSan Francisco, CA USA
dc.source.endpage36
dc.title

Automatic functional verification of memory oriented global source code transformations

dc.typeProceedings paper
dspace.entity.typePublication
Files

Original bundle

Name:
7397.pdf
Size:
452.52 KB
Format:
Adobe Portable Document Format
Download
Publication available in collections:
Conference contributions