Home // FUTURE COMPUTING 2012, The Fourth International Conference on Future Computational Technologies and Applications // View article

Using Symbolic Substitution Logic as an Automated Design Procedure for QCA Arithmetic Circuits

Authors:
Dietmar Fey
Bruno Kleinert

Keywords: optical computing; symbolic substitution logic; quantum-dot cellular automata, nanocomputing

Abstract:
The paper presents a work-in-progress for an automatic synthesis procedure of an optical computing design principle onto future nano¬com¬puting circuits based on Quantum-dot Cellular Automata (QCA). The goal of this work is to provide a contribution for the elimination of the lack of automatic design procedures for regular built-up QCA arithmetic circuits, which are built-up mostly manually so far. Furthermore by means of such a synthesis procedure a lot of designs made for optical computing arithmetic circuits can be directly transferred to QCA circuits. In this sense, this work is a contribution to ease the automatic synthesis of future arithmetic nanocomputing circuits.

Pages: 94 to 97

Copyright: Copyright (c) IARIA, 2012

Publication date: July 22, 2012

Published in: conference

ISSN: 2308-3735

ISBN: 978-1-61208-217-2

Location: Nice, France

Dates: from July 22, 2012 to July 27, 2012