VADER: Voltage-Driven Netlist Pruning for Cross-Layer Approximate Arithmetic Circuits | IEEE Journals & Magazine | IEEE Xplore