Abstract
In this paper, an improvement has been made on the algorithm of solving the kernels of new functions which are generated after a common divisor appearing in the original functions is replaced by a new intermediate variable. And an efficient method based on kernel heritage is presented. This method has been successfully used in synthesis of LCA (Logic Cell Array).
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
Brayton R K, McMullen C T. The decomposition and factorization of Boolean expressions. InProceedings of International Symposium on Circuits and Systems, 1982, pp.49–54.
Brayton R K, McMullen C T. Synthesis and optimization of multistage logic. InProceedings of International Symposium on Circuits and Systems, 1984, pp.23–28.
Brayton R K, Sangiovanni-Vincentelli A. Logic synthesis for programmable gate arrays. In27th ACM/IEEE Design Automation Conference, 1990, pp.620–625.
Author information
Authors and Affiliations
Additional information
Ma Guangsheng received his M.S. degree in computer science from Institute of Computing Technology, The Chinese Academy of Sciences in 1991. Currently, he is an Associate Professor and Vice-Director of the Department of Computer Science, Harbin Engineering University. He is also a member of the Chinese Association for Discrete Mathematics. His research interests include computer aided design of digital system and the design and application of multi-valued logic system.
Zhang Zhongwei received his B.S. degree in computer science from the North-East Teachers University in 1991 and his M.S. degree in computer science from Harbin Engineering University in 1994.
Huang Shaobin received his B.S. and M.S. degrees in mathematics from Jilin University in 1986 and 1989 respectively. Currently he serves as a Lecturer at Department of Computer Science, Harbin Engineering University.
Rights and permissions
About this article
Cite this article
Ma, G., Zhang, Z. & Huang, S. A new method of solving kernels in algebraic decomposition for the synthesis of logic cell array. J. of Comput. Sci. & Technol. 10, 569–573 (1995). https://doi.org/10.1007/BF02943515
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02943515