An algorithm for functional verification of digital ECL circuits.

Elizabeth J. Brauer Sung-Mo Kang

Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1995)

Keyphrases

objective function
learning algorithm
dynamic programming
k means
np hard
computational complexity
detection algorithm
highly efficient
digital straight line
real time
information systems