1) Yes, because CCMs are single-input monotonic functions.
2) The magnitude of error can be up to 1 unit for non-optimized and 3 units for optimized ones.
3) Since HBU uses unary cores to implement a CCM, which are simple routing networks, the synthesizer simplifies the architecture as much as it can. Therefore, the number of LUT to implement HBU-based CCMs is in a range. However, the number of required LUT to implement Binary-based CCMs depends on the value of the CCM which is high for non-trivial larger CCMs.