Title :
The evolution of ROBDDs: preliminary results and a first analysis
Author :
Van Remortel, Piet ; Lenaerts, Tom ; Manderick, Bernard
Author_Institution :
Adaptive Syst. Group, Brussels Free Univ., Belgium
Abstract :
In this paper, we describe and analyze a number of evolutionary experiments concerning reduced ordered binary decision diagrams. These are important representations of Boolean functions for both circuit design and verification, and evolvable hardware. We experiment with the use of cube transformations in the genetic learning of unknown Boolean functions using ROBDDs
Keywords :
Boolean functions; binary decision diagrams; logic design; Boolean functions; circuit design; cube transformations; evolutionary experiments; evolvable hardware; genetic learning; reduced ordered binary decision diagrams; verification; Adaptive systems; Binary decision diagrams; Boolean functions; Circuit synthesis; Data structures; Decision trees; Evolutionary computation; Genetics; Hardware; Identity-based encryption;
Conference_Titel :
Evolvable Hardware, 1999. Proceedings of the First NASA/DoD Workshop on
Conference_Location :
Pasadena, CA
Print_ISBN :
0-7695-0256-3
DOI :
10.1109/EH.1999.785461
