Guest editor's introduction to special section on high-level design validation and test | IEEE Journals & Magazine | IEEE Xplore