hpi boot mode procedure for c6455 ?

Hi

So I am performing the following steps, dont know if its right

1> setting the dsp reset to low from a host processor

2>setting the hpi boot mode through the  pins

3> setting the dsp reset to a high

4>writing the code to the dsp internal ram memory

5> setting the dspint bit in HPIC

Am I doing this right?

thanks 

Anish