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 条
  • [1] Synthesis of circuits based on all-optical Mach-Zehnder Interferometers using Binary Decision Diagrams
    Bandyopadhyay, Chandan
    Das, Rakesh
    Wille, Robert
    Drechsler, Rolf
    Rahaman, Hafizur
    MICROELECTRONICS JOURNAL, 2018, 71 : 19 - 29
  • [2] Synthesis of Reversible Circuits Using Decision Diagrams
    Drechsler, Rolf
    Wille, Robert
    2012 INTERNATIONAL SYMPOSIUM ON ELECTRONIC SYSTEM DESIGN (ISED 2012), 2012, : 1 - 5
  • [4] Computation of Resource Circuits of Petri Nets by Using Binary Decision Diagrams
    Chen, YuFeng
    Liu, Ding
    Liu, GaiYun
    Barkaoui, Kamel
    2013 5TH INTERNATIONAL CONFERENCE ON MODELING, SIMULATION AND APPLIED OPTIMIZATION (ICMSAO), 2013,
  • [5] Formal Verification of Integer Multiplier Circuits Using Binary Decision Diagrams
    Kumar, Jitendra
    Miyasaka, Yukio
    Srivastava, Asutosh
    Fujita, Masahiro
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2023, 42 (04) : 1365 - 1378
  • [6] Reversible Circuit Synthesis Using Binary Decision Diagrams
    Podlaski, Krzysztof
    PROCEEDINGS OF THE 23RD INTERNATIONAL CONFERENCE ON MIXED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS (MIXDES 2016), 2016, : 235 - 238
  • [7] Analysis and synthesis of quantum circuits by using quantum decision diagrams
    Abdollahi, Afshin
    Pedram, Massoud
    2006 DESIGN AUTOMATION AND TEST IN EUROPE, VOLS 1-3, PROCEEDINGS, 2006, : 315 - +
  • [8] Timing simulation of digital circuits with binary decision diagrams
    Ubar, R
    Jutman, A
    Peng, Z
    DESIGN, AUTOMATION AND TEST IN EUROPE, CONFERENCE AND EXHIBITION 2001, PROCEEDINGS, 2001, : 460 - 466
  • [9] Distributed binary decision diagrams for verification of large circuits
    Arunachalam, P
    Chase, C
    Moundanos, D
    INTERNATIONAL CONFERENCE ON COMPUTER DESIGN - VLSI IN COMPUTERS AND PROCESSORS, PROCEEDINGS, 1996, : 365 - 370
  • [10] Testability analysis for crosstalk faults in VLSI circuits by using binary decision diagrams
    Pan, Zhongliang
    Chen, Ling
    SIXTH INTERNATIONAL CONFERENCE ON ELECTRONICS AND INFORMATION ENGINEERING, 2015, 9794