Physics-informed machine learning might help verify microchips