Principles of Verifiable RTL Design häftadEngelska, 2013