Show simple item record

Experience with widening based equivalence checking in realistic multimedia systems

dc.contributor.authorVerdoolaege, Sven
dc.contributor.authorPalkovic, Martin
dc.contributor.authorBruynooghe, Maurice
dc.contributor.authorJanssens, Gerda
dc.contributor.authorCatthoor, Francky
dc.date.accessioned2021-10-18T04:43:30Z
dc.date.available2021-10-18T04:43:30Z
dc.date.issued2009
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/16466
dc.sourceIIOimport
dc.titleExperience with widening based equivalence checking in realistic multimedia systems
dc.typeProceedings paper
dc.contributor.imecauthorCatthoor, Francky
dc.contributor.orcidimecCatthoor, Francky::0000-0002-3599-8515
dc.date.embargo9999-12-31
dc.source.peerreviewno
dc.source.beginpage122
dc.source.endpage129
dc.source.conferenceIEEE International High Level Design Validation and Test Workshop - HLDVT
dc.source.conferencedate4/11/2009
dc.source.conferencelocationSan Francisco, CA USA
imec.availabilityPublished - open access


Files in this item

Thumbnail
Name:
19083.pdf
Size:
164.2Kb
Format:
PDF
View/open

This item appears in the following collection(s)

Show simple item record