Document Type

Pre-Print

Publication Date

9-2002

Subjects

Reversible computing, Genetic algorithms, Evolutionary computation, Electronic digital computers -- Evaluation

Abstract

We propose an automated synthesis of Reversible logic (RL) circuits using Darwinian and Lamarckian Genetic Algorithms (GA). Our designs are in a form of cascades of generalized gates which generalize factorized Exclusive-Or-Sum-of-Products (ESOP) circuits. GA can be used to explore the problem space of combinational functions and here it is used to evolve reversible logic circuits. We emphasize the role of problem encoding - a well-designed encoding leads to improved results. Our method with well-encoded circuits is compared to standard method on classical benchmarks in GA, and shows good results for synthesis of both random functions and benchmark functions with practical meaning, such as adders.

Description

Originally presented at the 5th International Workshop on Boolean Problems, Freiberg University of Mining and Technology, September 19-20, 2002, and subsequently included in its proceedings.

Persistent Identifier

http://archives.pdx.edu/ds/psu/12772

Share

COinS