Skip to main content
SpringerLink
Log in

Evolution of binary decision diagrams for digital circuit design using genetic programming

  • Genenetic Programming
  • Conference paper
  • First Online:
Book cover Evolvable Systems: From Biology to Hardware (ICES 1996)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1259))

Included in the following conference series:

Abstract

This paper proposes the methodology for hardware evolution by genetic programming (GP). By adopting Binary Decision Diagrams (BDDs) as hardware representation, larger circuits can be evolved, and they will be easily verified by utilizing commercial CAD software. The hardware descriptions specified in BDDs are improved by GP operators, to synthesize various combinatorial logical circuits.

From the viewpoint of GP, however, some constraints of BDD must be satisfied during its search process. In other words, GP must search not only in phenotype space, but also in genotype space. In order to resolve this problem, in this paper, we attempt two approaches. One concerns the operations to obtain BDDs satisfying the genotypical constraints, and the other is the method for balancing phenotypic and genotypic evaluations.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Reference

  1. W. W. Armstrong and J. Gecsei: Adaptation Algorithms for Binary Tree Networks, IEEE Trans. on SMC, vol. SMC-9, No. 5, pp. 276–285, 1979.

    Google Scholar 

  2. R. E. Bryant: Graph-Based Algorithms for Boolean Function Manipulation, IEEE Trans, on computers, Vol. C-35, No. 8, pp. 677–691, 1986.

    Google Scholar 

  3. R. E. Bryant: Binary Decision Diagrams and Beyond: Enabling Technologies for Formal Verification, Embedded tutorial at International Conference on Computer-Aided Design November, 1995.

    Google Scholar 

  4. D. E. Goldberg: Genetic Algorithms in Search, Optimization and Machine Learning, p.412, Addison-Wesley, 1989.

    Google Scholar 

  5. J. H. Holland, Adaptation in Natural and Artificial Systems, University of Michigan Press, 1975.

    Google Scholar 

  6. T. Higuchi, H. Iba and B. Manderick: Applying Evolvable Hardware to Autonomous Agents, Parallel Problem Solving from Nature 3, pp. 524–533, Springer, 1994.

    Google Scholar 

  7. C. Jacob, Genetic L-System Programming, Parallel Problem Solving from Nature 3, pp. 334–343, Springer, 1994.

    Google Scholar 

  8. K.E. Kinner, Jr., Alternatives in Automatic Function Definition: A Comparison of Performance, Advances in Genetic Programming (Edited by K. E. Kinnear, Jr.), MIT Press, 1994.

    Google Scholar 

  9. J. R. Koza: Genetic Programming II, p.746, MIT Press, 1994.

    Google Scholar 

  10. J. P. Rosca and D. H. Ballard, Hierarchical Self-Organization in Genetic Programming, Machine Learning, Proc. of 11th Int. Conf., pp. 251–258, 1994.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Autonomous Systems Eng., Complex Systems Eng., Hokkaido University, N13-W8, Kita-ku, 060, Sapporo, Japan

    Hidenori Sakanashi & Yukinori Kakazu

  2. Eloctrotechnical Laboratory, 1-1-4, Umezono, 304, Tsukuba, Japan

    Tetsuya Higuchi & Hitoshi Iba

Authors
  1. Hidenori Sakanashi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Tetsuya Higuchi
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Hitoshi Iba
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Yukinori Kakazu
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Tetsuya Higuchi Masaya Iwata Weixin Liu

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Sakanashi, H., Higuchi, T., Iba, H., Kakazu, Y. (1997). Evolution of binary decision diagrams for digital circuit design using genetic programming. In: Higuchi, T., Iwata, M., Liu, W. (eds) Evolvable Systems: From Biology to Hardware. ICES 1996. Lecture Notes in Computer Science, vol 1259. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63173-9_66

Download citation

  • DOI: https://doi.org/10.1007/3-540-63173-9_66

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63173-6

  • Online ISBN: 978-3-540-69204-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation