⚡ Circuit VerificationHardware Formal Methods, FPGA Validation, Logic Synthesis, Digital Design Proofs