Lin, BillBillLinDevadas, S.S.Devadas2021-09-292021-09-291994https://imec-publications.be/handle/20.500.12860/233Synthesis of hazard-free multi-level logic under multiple-input changes from binary decision diagramsProceedings paper