Circuit Tracing & Verifying