System level verification of digital signal processing applications based on the polynomial abstraction technique.

Tarvo Raudvere, Ashish Kumar Singh, Ingo Sander, Axel Jantsch

Browse the full ICCAD paper archive.