Seol mar théacs é seo: A designer's guide to built-in self-test