System-on-a-chip verification~methodology and techniques | IEEE Journals & Magazine | IEEE Xplore