Verifying an extensible processor is more than a one-step process, especially when software compatibility is important.