A Framework for Designing and Testing the Digital Signal Processing unit of a Pulsar Based Navigation System