Circuit partitioning for pipelined pseudo-exhaustive testing using simulated annealing | IEEE Conference Publication | IEEE Xplore