A library of register-transfer logic and computer arithmetic
This documentation is based on the directory rtl of the
ACL2 community-books. For a more thorough treatment, see "Formal Verification
of Floating-Point Hardware Design: A Mathematical Approach" by David
M. Russinoff. See file rtl/README for additional information about this
library and its connection to this book.