Prototyping Generators for on-line test vector generation based on PSL properties | IEEE Conference Publication | IEEE Xplore