Login / Signup
Using range-equivalent circuits for facilitating bounded sequential equivalence checking.
Yung-Chih Chen
Wei-An Ji
Chih-Chung Wang
Ching-Yi Huang
Chia-Cheng Wu
Chia-Chun Lin
Chun-Yao Wang
Published in:
VLSI-DAT (2018)
Keyphrases
</>
wide range
interactive dynamic influence diagrams
range data
analog vlsi
analog circuits
sequential search
quantum computing
databases
neural network
artificial intelligence
case study
low cost
high speed
consistency checking
logic circuits
equivalence relationship