Abstract:
This paper introduces a logic programming approach for specifying, simulating, and testing Digital Signal Processing (DSP) systems. Prolog is used as a Hardware Description Language and a host one, too. Backtracking and pattern matching of Prolog are employed for simulation and testing, respectively. Prolog provides homogeneity to the developed system as it supports hierarchical development and mixing of description at various hierarchical levels. The developed system belongs to Algorithmic Specific CAD family. It can be employed for many DSP algorithms and applications development.