Real-Time DFM Verification