A portable ATPG tool for parallel and distributed systems