Publication:

Experience with widening based equivalence checking in realistic multimedia systems

Date

2009
Proceedings Paper
Simple item page Full metadata Statistics
 
dc.contributor.authorVerdoolaege, Sven
dc.contributor.authorPalkovic, Martin
dc.contributor.authorBruynooghe, Maurice
dc.contributor.authorJanssens, Gerda
dc.contributor.authorCatthoor, Francky
dc.contributor.imecauthorCatthoor, Francky
dc.contributor.orcidimecCatthoor, Francky::0000-0002-3599-8515
dc.date.accessioned2021-10-18T04:43:30Z
dc.date.available2021-10-18T04:43:30Z
dc.date.embargo9999-12-31
dc.date.issued2009
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/16466
dc.source.beginpage122
dc.source.conferenceIEEE International High Level Design Validation and Test Workshop - HLDVT
dc.source.conferencedate4/11/2009
dc.source.conferencelocationSan Francisco, CA USA
dc.source.endpage129
dc.title

Experience with widening based equivalence checking in realistic multimedia systems

dc.typeProceedings paper
dspace.entity.typePublication
Files

Original bundle

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