Using term rewriting systems to design and verify processors | IEEE Journals & Magazine | IEEE Xplore