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

Conference Object

Abstract: Polynomial abstraction has been developed for data abstraction of sequential circuits, where the fun

Palabras claves:

Autores:

Ingo Sander, Jantsch A., Raudvere T., Singh A.

Fuentes:

scopus