Forecasting the Efficiency of Test Generation Algorithms for Combinational Circuits.

Shiyi Xu Tukwasibwe Justaf Frank

Published in: J. Comput. Sci. Technol. (2000)

Keyphrases

test generation
computational complexity
high speed
computational efficiency
databases
computer vision
high quality
integrity constraints
formal specification