Skip to main content
SpringerLink
Log in

A new method of solving kernels in algebraic decomposition for the synthesis of logic cell array

  • Brief Papers
  • Published:
Journal of Computer Science and Technology Aims and scope Submit manuscript

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).

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

References

  1. 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.

  2. Brayton R K, McMullen C T. Synthesis and optimization of multistage logic. InProceedings of International Symposium on Circuits and Systems, 1984, pp.23–28.

  3. Brayton R K, Sangiovanni-Vincentelli A. Logic synthesis for programmable gate arrays. In27th ACM/IEEE Design Automation Conference, 1990, pp.620–625.

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Harbin Engineering University, 150001, Harbin

    Ma Guangsheng, Zhang Zhongwei & Huang Shaobin

Authors
  1. Ma Guangsheng
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Zhang Zhongwei
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Huang Shaobin
    View author publications

    You can also search for this author in PubMed Google Scholar

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

Reprints 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

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02943515

Keywords

Search

Navigation