On Verifying the Correctness of Retimed Circuits.

Shi-Yu Huang Kwang-Ting Cheng Kuang-Chien Chen

Published in: Great Lakes Symposium on VLSI (1996)

Keyphrases

high speed
analog circuits
vlsi circuits
circuit design
machine learning
data structure
logic synthesis
tunnel diode
real time
data mining
knowledge base
electronic circuits
quantum computing
analog vlsi
lateral inhibition