Takahiro Kawaguchi, Kazuyoshi Takagi, Naofumi Takagi. A Verification Method for Single-Flux-Quantum Circuits Using Delay-Based Time Frame Model. IEICE Transactions, 98-A(12):2556-2564, 2015. [doi]
@article{KawaguchiTT15,
title = {A Verification Method for Single-Flux-Quantum Circuits Using Delay-Based Time Frame Model},
author = {Takahiro Kawaguchi and Kazuyoshi Takagi and Naofumi Takagi},
year = {2015},
url = {http://search.ieice.org/bin/summary.php?id=e98-a_12_2556},
researchr = {https://researchr.org/publication/KawaguchiTT15},
cites = {0},
citedby = {0},
journal = {IEICE Transactions},
volume = {98-A},
number = {12},
pages = {2556-2564},
}