Logic Equivalence Checking (LEC), Static Timing Analysis (STA), Python, Tcl, RTL Synthesis, Low Power UPF IEEE 1801, primetime, Fishtail

Java, Cassandra, Spring Boot, Kafka, J2EE, Spring Cloud, Google Cloud, Spring, Microservices, Jms, Docker, MySQL, Openshift, MongoDB, Oracle, Azure, Kubernetes, AWS, CI/CD

Unix, Shell, Linux, Verilog, Python, Tcl, Synthesis, cdc, Simulation, RTL, make, systemverilog, RDC, LINT, Low Power

Nosql, Databases, Docker, OLAP, Distributed Systems, Rest Apis, Python, Kubernetes, AWS, Oltp, AI-native development

Tcl, Python, Perl, Innovus, Physical Formal Verification, Cross-Functional Collaboration, LEC, primetime, EDA Tools, Fusion Compiler, Calibre, Red Hawk, Tempus, Timing Closure STA, RTL-to-GDSII Execution, Programming Scripting, VCLP, PPA Optimization

Ipsec, Nat, Dns, SSL, BGP, Vlans, DHCP, Network Drivers, Routing Protocols, OSPF, Python, Go, L2 L3 stateful firewalls, Pim, Linux kernel-based networking, DTLS, QUIC, Gre, WireGuard