A Framework for Satisfying Input and Output Encoding Constraints.

Alexander Saldanha, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli

Browse the full DAC paper archive.