Shell, Python, Perl, complexity reduction techniques, formal verification technologies, high quality testplans, formal testbenches, root-causing counter-examples

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