Challenges in processor modeling and validation [Guest Editors' introduction] | IEEE Journals & Magazine | IEEE Xplore