CBMC verification tool with DSP-C support