These were derived as required in the verification of the new RTL designs described in Part V. - Bit Vectors. - Logical Operations. - Floating-Point Numbers. - Floating-Point Formats. - IEEE-Compliant Square Root.
| ISBN-13 | 9783030871833 |
| ISBN | 9783030871833 |
A nice touch is that the digital download supports text-to-speech.
