James Obert, Tom J. Mannos: Semi-Supervised Learning and ASIC Path Verification. AI4I 2018: 1-4