%0 Book
%A / Lionel Bening and Harry Foster
%T Principles of verifiable RTL design
%U /book/93558871/Principles-of-verifiable-RTL-design/