Verilog, Python, Tcl, Fusion Compiler, LP signoff tools, clock gating, LEC, UPF, Synthesis tools, VHDL, QoR optimization, Genus, Equivalence Checking

Pytorch, Kubernetes, Python, Sglang, Transformers, vLLM, Red Hat OpenShift