Frage zu Artikel "Principles of Verifiable RTL Design"