An accurate exploration of timing and area trade-offs in arithmetic optimization using carry-save adder cells | IEEE Conference Publication | IEEE Xplore