
Search by job, company or skills
Showing 4 jobs
Skills:
Verification of IP designs, ASIC standard interfaces, Verification of AI ML Accelerators, Electrical Engineering, Memory system architecture, Functional coverage, systemverilog
Skills:
Python, Low Power Formal Methodology, Jasper VC Formal, formal verification, Formal Tools, Property-based FV, SVA, Questa Formal
Skills:
model checking, formal proofs, equivalence checking algorithms, abstraction models, formal verification tools
Skills:
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
