Trends in Functional Verification: A 2016 Industry Study