Validation of SoC firmware-hardware flows: Challenges and solution directions | IEEE Conference Publication | IEEE Xplore