Abstract: The top-down (TI) match algorithm that synthesizes single-output Boolean function based on the LSI and MSI in cells library is introduced in this paper. With the satisfactory maximum time delay, the initial synthesizing results are optimized. We also introduce the automatic logical synthesis system and the methods in which multi-output Boolean functions are synthesized.