Accelerating Physical Verification Using STPRL: a Novel Language for Test Pattern Generation | VDE Conference Publication | IEEE Xplore