An automatic test pattern generation (ATPG) and fault simulation system. - View it on GitHub