Modeling, verification and pattern generation for reconfigurable scan networks | IEEE Conference Publication | IEEE Xplore