Sven Verdoolaege, Martin Palkovic, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor. Experience with widening based equivalence checking in realistic multimedia systems. In IEEE International High Level Design Validation and Test Workshop, HLDVT 2009, San Francisco, CA, USA, 4-6 November 2009. pages 122-129, IEEE, 2009. [doi]
Abstract is missing.