Matthias Függer Robert Najvirt Thomas Nowak Ulrich Schmid 0001 A Faithful Binary Circuit Model. 2784-2797 2020 39 IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 10 https://doi.org/10.1109/TCAD.2019.2937748 db/journals/tcad/tcad39.html#FuggerNNS20