Guest Editorial Special Section on Design Verification and Validation | IEEE Journals & Magazine | IEEE Xplore