Equivalence Checking for Superconducting RSFQ Logic Circuits.

Rongliang Fu Junying Huang Zhimin Zhang

Published in: ACM Great Lakes Symposium on VLSI (2021)

Keyphrases

logic circuits
low power
delay insensitive
asynchronous circuits
low cost
high speed
power consumption
functional decomposition
gate array
magnetic field
digital signal processing
tunnel diode
logic synthesis
high temperature
power dissipation
real time
end to end
neural network