DocumentCode
3057315
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
fYear
1999
fDate
1999
Firstpage
249
Lastpage
254
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Evolvable Hardware, 1999. Proceedings of the First NASA/DoD Workshop on
Conference_Location
Pasadena, CA
Print_ISBN
0-7695-0256-3
Type
conf
DOI
10.1109/EH.1999.785461
Filename
785461
Link To Document