Covering conditions and algorithms for the synthesis of speed-independent circuits

Peter A. Beerel, Chris J. Myers, Teresa H. Y. Meng. Covering conditions and algorithms for the synthesis of speed-independent circuits. IEEE Trans. on CAD of Integrated Circuits and Systems, 17(3):205-219, 1998. [doi]

Abstract

Abstract is missing.