Shell, Perl, Python, formal property verification, complexity reduction techniques, formal verification technologies, formal testbenches, testplans

Debugging, Scripting, formal verification, assertions, hardware micro-architecture, testplans

Verilog, Debugging, Automation Scripting, SVA, Protocol Verification, Formal Analysis, formal verification, systemverilog, Property Checking, AI-assisted Workflows, Equivalence Checking