A high-level assembly language for the DSP32 Programmable DSP Chip.
Try this search on Wikipedia, OneLook, Google