Hardware and firmware verification and validation: an algorithm-to-firmware development methodology.

Henry Cox, Harry H. Chen

Browse the full DATE paper archive.