Sign in
A Verification Method for Single-Flux-Quantum Circuits Using Delay-Based Time Frame Model.
Takahiro Kawaguchi
Kazuyoshi Takagi
Naofumi Takagi
Published in:
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2015)
Keyphrases
</>
verification method
computational model
experimental data
statistical model
management system
em algorithm
quantum computing
real time
data sets
objective function
high speed
conceptual model
temporal logic
formal model
prediction model