Post-Silicon Validation Opportunities, Challenges and Recent Advances Integration of Hardware Assertions in Systems-on-Chip Jeroen Geuzebroek Bart Vermeulen [email protected]…