Towards early validation of firmware-based power management using virtual prototypes: A constrained random approach | IEEE Conference Publication | IEEE Xplore