Synthesis of optical circuits using binary decision diagrams

被引:6
|
作者
Deb, Arighna [1 ,2 ]
Wille, Robert [3 ,4 ]
Keszoecze, Oliver [1 ,4 ]
Shirinzadeh, Saeideh [1 ]
Drechsler, Rolf [1 ,4 ]
机构
[1] Univ Bremen, Inst Comp Sci, Bremen, Germany
[2] Jadavpur Univ, Comp Sci & Engn, Kolkata, India
[3] Johannes Kepler Univ Linz, Inst Integrated Circuits, Linz, Austria
[4] DFKI GmbH, Cyber Phys Syst, Bremen, Germany
关键词
Optical circuits; Synthesis; Optimization; Binary decision diagrams; XOR;
D O I
10.1016/j.vlsi.2017.05.001
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
The advances in silicon photonics motivated the consideration of optical circuits as a new and emerging circuit technology. In particular for ultra-fast interconnects, optical circuits may provide a suitable alternative since it avoids the conversion of signals from the optical to the electrical domain. Accordingly, design automation of this kind of circuits received significant attention. In this work, we consider synthesis of optical circuits based on Binary Decision Diagrams (BDDs). Although BDDs allow for a direct mapping of the function representation to an optical circuit (and, hence, a scalable synthesis), they have their shortcomings with respect to dedicated cost metrics. In this work, we investigate this issue and provide an overview of the BDD-based synthesis schemes which are available thus far. Afterwards, we propose new solutions based on a dedicated BDD optimization which aim for addressing the known shortcomings. Experimental results confirm the benefits of the proposed approach.
引用
收藏
页码:42 / 51
页数:10
相关论文
共 50 条
  • [31] BINARY DECISION DIAGRAMS
    AKERS, SB
    IEEE TRANSACTIONS ON COMPUTERS, 1978, 27 (06) : 509 - 516
  • [32] Reversible Circuits Synthesis from Functional Decision Diagrams by using Node Dependency Matrices
    Stojkovic, Suzana
    Stankovic, Radomir
    Moraga, Claudio
    Stankovic, Milena
    JOURNAL OF CIRCUITS SYSTEMS AND COMPUTERS, 2020, 29 (05)
  • [33] Ancilla-free synthesis of large reversible functions using binary decision diagrams
    Soeken, Mathias
    Tague, Laura
    Dueck, Gerhard W.
    Drechsler, Rolf
    JOURNAL OF SYMBOLIC COMPUTATION, 2016, 73 : 1 - 26
  • [34] Reversible Logic Synthesis Using Binary Decision Diagrams With Exploiting Efficient Reordering Operators
    Abdalhaq, Baker K.
    Awad, Ahmed
    Hawash, Amjad
    IEEE ACCESS, 2020, 8 (08): : 156001 - 156016
  • [35] Structuring Rule Sets Using Binary Decision Diagrams
    Beck, Florian
    Fuernkranz, Johannes
    Huynh, Van Quoc Phuong
    RULES AND REASONING, RULEML+RR 2021, 2021, 12851 : 48 - 61
  • [36] Implementation of relational algebra using binary decision diagrams
    Berghammer, R
    Leoniuk, B
    Milanese, U
    RELATIONAL METHODS IN COMPUTER SCIENCE, 2002, 2561 : 241 - 257
  • [37] Planning in the fluent calculus using binary decision diagrams
    Störr, HP
    AI MAGAZINE, 2001, 22 (03) : 103 - 105
  • [38] BOOLEAN DIVISION AND FACTORIZATION USING BINARY DECISION DIAGRAMS
    STANION, T
    SECHEN, C
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1994, 13 (09) : 1179 - 1184
  • [39] Using datalog with binary decision diagrams for program analysis
    Whaley, J
    Avots, D
    Carbin, M
    Lam, MS
    PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2005, 3780 : 97 - 118
  • [40] Synthesis for regularity using decision diagrams
    Chrzanowska-Jeske, M
    Mishchenko, A
    2005 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS), VOLS 1-6, CONFERENCE PROCEEDINGS, 2005, : 4721 - 4724