A Framework For Designing And Testing The Digital Signal Processing Unit Of A Pulsar Based Navigation System