Verification of IP designs, ASIC standard interfaces, Verification of AI ML Accelerators, Electrical Engineering, Memory system architecture, Functional coverage, systemverilog

Python, Low Power Formal Methodology, Jasper VC Formal, formal verification, Formal Tools, Property-based FV, SVA, Questa Formal

model checking, formal proofs, equivalence checking algorithms, abstraction models, formal verification tools

Networking, Servers, Databases, Nginx, Elasticsearch, Python, Java, Identity And Access Management, Redis, Big Data Technologies, Devops, Rabbitmq, Load Balancers, Storage, Ansible, Firewalls, Puppet, Kubernetes, Chef, Relational Databases, Security, Infrastructure, Google Kubernetes Engine, NoSQL Databases, Compute