On Applications of Dependent Types to Parameterised Digital Signal Processing Circuits.

Craig R. Ramsay Louise H. Crockett Robert W. Stewart

Published in: MWSCAS (2021)

Keyphrases

digital signal processing
signal processing
power dissipation
low power
image processing
data flow
computer vision and image processing
high speed
computer vision
artificial intelligence
low cost
fine grained
recent advances
modular exponentiation