Synthesis of hazard-free multi-level logic under multiple-input changes from binary decision diagrams.

Bill Lin, Srinivas Devadas

Browse the full ICCAD paper archive.