Principles of verifiable RTL designLionel Bening, Harry D. Foster · First published 2000Open the Tome