Skip to main content
Log in

Some covering problems and their solutions in automatic logic synthesis systems

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

Abstract

This paper describes the partitioning of the set of the Boolean equations generated by the hardware logic translator and the conversion of the subsets into cube arrays. Subsequent to this, it is aimed: (1) to find out the minimal sets of input variables; (2) to finish the logic minimization; and (3) to decompose a large logic array into smaller ones to meet the design constraints if necessary.

These three problems can all be reduced to solving the corresponding covering problems, which may have considerable scales. This paper gives the method to solve large cycling cover tables of these problems with cover-matrix complementation (sharp operation). The salient feature of the method is that it can give the optimal solutions and need not store the covering matrix.

The above work is intended to set up an automatic logic synthesis system to translate register transfer level language descriptions into hardware logic diagrams.

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

Access this article

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

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Liu Mingye, Theory of computer-aided logic design, Science Press, China, 1985.

    Google Scholar 

  2. Liu Mingye, Computer-aided design of digital systems, Industry of National Defence Press, China, 1980.

    Google Scholar 

  3. Liu Mingye and Li Jianyi, A solution to the cover-matrix complementation of covering problem in multiple-output logic function,Chinese Journal of computers,6:2(1983), 136–146.

    Google Scholar 

  4. Liu Mingye and Hong Enyu, Decomposition of PLA and method to solve the minimum set of input variables,Chinese Computer Engineering,3(1985), 20–80.

    Google Scholar 

  5. M. A. Breuer, Digital system design automation: languages, simulation & data base, Computer Science Press, Inc., 1975.

  6. M. A. Breuer and A. D. Friedman, Diagnosis & reliable design of digital systems, Computer Science Press, Inc., 1976.

  7. D. L. Dietmeyer, Logic design of digital system, second edition, Allyn and Bacon, Inc., 1978.

  8. D. L. Dietmeyer and M. H. Doshi, Automated PLA synthesis of the combinational logic of a DDL description, Design Automation & Fault-tolerant Computing, Vol. III issue 3/4, 241–257.

  9. F. J. Hill and G. R. Peterson, Digital systems: hardware organization and design, second edition, 1978.

  10. Y. Kambayashi, Logic design of programmable logic arrays,IEEE Trans. on Computers, C-28:9(1979), 609–617.

    Article  MATH  MathSciNet  Google Scholar 

  11. Y. Kambayashi, Optimum logic design using memory-type arrays, Proceeding of the International Symposium on Uniformly Structured Automata and Logic, Tokyo, Japan, August 21–23, 1975.

  12. Nobuaki Kawataet al., An interactive logic synthesis system based upon AI techniques, 19th Design Automation Conference, 1982, 858–864.

  13. S. Kang and W. M. van Cleemput, Automatic PLA synthesis from a DDL-P description, 18th Design Automation Conference, 1981, 391–397.

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Liu, M., Hong, E. Some covering problems and their solutions in automatic logic synthesis systems. J. of Compt. Sci. & Technol. 1, 83–92 (1986). https://doi.org/10.1007/BF02943275

Download citation

  • Received:

  • Issue Date:

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

Keywords

Navigation