Experience with widening based equivalence checking in realistic multimedia systems

Thumbnail
View/open
Metadata
Show full item record
Authors
Verdoolaege, Sven; Palkovic, Martin; Bruynooghe, Maurice; Janssens, Gerda; Catthoor, Francky
Conference
IEEE International High Level Design Validation and Test Workshop - HLDVT
Title
Experience with widening based equivalence checking in realistic multimedia systems
Publication type
Proceedings paper
Embargo date
9999-12-31
Collections