English Unordered Principles of Verifiable RTL Design - A Functional Coding Style Supporting Verification Processes Lionel Bening 2000 View book