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

Bill Lin, Srinivas Devadas. Synthesis of hazard-free multi-level logic under multiple-input changes from binary decision diagrams. In Jochen A. G. Jess, Richard L. Rudell, editors, Proceedings of the 1994 IEEE/ACM International Conference on Computer-Aided Design, 1994, San Jose, California, USA, November 6-10, 1994. pages 542-549, IEEE Computer Society, 1994. [doi]

Abstract

Abstract is missing.