Cloud-based verification and software development, bigger IP blocks, machine learning, and security issues top the list for 2018.