Design and verification of a stack processor virtual component | IEEE Journals & Magazine | IEEE Xplore