Project: Declarative specification and transformational design of systems, circuits and programs, with applications in signal processing

1993-10-01 – 9999-12-31

Abstract

In signal processing there exist well developed formalisms at the abstract level for theory development and at the realization level for algorithm optimization (see Blahut, Fast Signal Processing Algorithms). This project envisages the application ofa new formalism (Funmath) in the still largely unexplored area between abstract (input/output) specification and concrete realization in the form of a circuit or program.