A Verification Algorithm for Logic Circuits with Internal Variables.

Toshihiro Nakaoa Shin'ichi Wakabayashi Tetsushi Koide Noriyoshi Yoshida

Published in: ISCAS (1995)

Keyphrases

objective function
k means
dynamic programming
detection algorithm
optimal solution
computational complexity
parallel implementation
sensor networks
object oriented
expectation maximization
load balancing