इसका टेक्स्ट मैसेज भेजे: Relational STE and theorem proving for formal verification of industrial circuit designs