Testability properties of acyclic structures and applications to partial scan design | IEEE Conference Publication | IEEE Xplore