Login / Signup
System level verification of digital signal processing applications based on the polynomial abstraction technique.
Tarvo Raudvere
Ashish Kumar Singh
Ingo Sander
Axel Jantsch
Published in:
ICCAD (2005)
Keyphrases
</>
digital signal processing
signal processing
low power
high level
data flow
image processing
pattern recognition
computer vision and image processing
databases
neural network
computer vision
computer science
model checking
information systems
high speed