Hardware and firmware verification and validation: an algorithm-to-firmware development methodology | IEEE Conference Publication | IEEE Xplore