Impact and cost of modeling memories for ATPG for partial scan designs | IEEE Conference Publication | IEEE Xplore