Design and verification of a stack processor virtual componentManfred StadlerMarkus Thalmannet al.2001IEEE Micro