Keynote talk III: Industry pulse: Trends in function verification | IEEE Conference Publication | IEEE Xplore