Tarvo Raudvere Ashish Kumar Singh Ingo Sander Axel Jantsch System level verification of digital signal processing applications based on the polynomial abstraction technique. 285-290 2005 conf/iccad/2005 ICCAD db/conf/iccad/iccad2005.html#RaudvereSSJ05