Acceleration of transition test generation for acyclic sequential circuits utilizing constrained combinational stuck-at test generation | IEEE Conference Publication | IEEE Xplore