A library of register-transfer logic and computer arithmetic

This documentation is based on the directory

- Floating-Point Exceptions and Specification of Elementary Arithmetic Instructions
- Floating-Point Exceptions and Specification of Elementary Arithmetic Instructions
- Implementation of Elementary Operations
- Implementation of Elementary Operations
- Register-Transfer Logic
- Register-Transfer Logic
- Floating-Point Arithmetic
- Floating-Point Arithmetic
- Modeling Algorithms in C++ and ACL2
- Modeling Algorithms in C++ and ACL2
- Bibliography
- Bibliography