Not sure if this helps or not.
Using Roman Black's Btc Sound encoder with arduion:
http://arduino.cc/forum/index.php/topic,50017.0.html
Also, I did a small article on generating multiple pwm sounds with timers. I managed to get 6 voices, each on its own pwm output pin, with a regular arduino. I posted here at the Audio forum area.
Wk