EDA toolchains, Silicon IP cores (CPU/SerDes/NoC/D2D), logic synthesis, DFT/ATPG, formal verification, STA signoff, physical design, and multiphysics simulation.
Logic synthesis, automated place & route (P&R), static timing analysis (STA), IR drop & electromigration analysis, DRC/LVS physical signoff, and PDK enablement.
High-speed SerDes/D2D interface IP, ARM/RISC-V CPU IP, UVM testbenches, formal property verification (SVA), DFT/ATPG scan insertion, and SI/PI electromagnetic/thermal multiphysics co-simulation.