Performance verification of start-up circuits in reference generators.

Yen-Ting Wang Chen Zhao Randall L. Geiger Degang Chen Shu-Chuan Huang

Published in: MWSCAS (2012)

Keyphrases

asynchronous circuits
high speed
face verification
formal verification
database
model checking
neural network
computer vision
digital circuits
logic circuits
concurrent systems
functional verification
tunnel diode