Test generation of sequential circuits based on the use of the Sandia controllability/observability analysis program to measure ant colony observation (SACO) and partide swarm optimization (PSO)