著者

Nobutaka Kito Kazuyoshi Takagi Naofumi Takagi

出版者

Information Processing Society of Japan

雑誌

IPSJ Transactions on System LSI Design Methodology (ISSN:18826687)

巻号頁・発行日

vol.12, pp.78-80, 2019 (Released:2019-08-01)

参考文献数

11

被引用文献数

4

---

A conversion method of a netlist consisting of conventional logic gates for superconducting rapid single flux quantum (RSFQ) circuit realization is proposed. The method detects OR gates which can be replaced with confluence buffers (CBs) which converge their input pulses into their outputs. The detection problem of replaceable OR gates is treated as a SAT problem. Each OR gate requires clock input in RSFQ circuits. By replacing OR gates with CBs, wiring for clocking those OR gates are eliminated and the number of active devices known as Josephson junctions is reduced.