Sign in
Compatible Equivalence Checking of X-Valued Circuits.
Yu-Neng Wang
Yun-Rong Luo
Po-Chun Chien
Ping-Lun Wang
Hao-Ren Wang
Wan-Hsuan Lin
Jie-Hong Roland Jiang
Chung-Yang (Ric) Huang
Published in:
ICCAD (2021)
Keyphrases
</>
high speed
consistency checking
digital circuits
analog circuits
delay insensitive
analog vlsi
equivalence relation
logic synthesis
tunnel diode
real time
search algorithm
multi valued
power dissipation
logic circuits
quantum computing
high level synthesis