Tie Xiao
Senior IC Verification Engineer
Beijing, China
Summary
👤
Senior🎓
Top SchoolTie Xiao is a Senior IC Verification Engineer based in Beijing with 11 years of experience specializing in front-end verification and design for complex AMBA and multimedia systems. At MediaTek he leads dynamic verification using VMM, applies formal methods for static verification, and develops and deploys in-house EDA utilities that bridge verification and tool automation. His background includes FPGA-based high-speed interface development during an MSRA internship, reflecting strong hands-on digital design and prototyping skills. Holding an MS in Signal & Information Processing from Peking University, he combines rigorous academic training with pragmatic engineering practice. He is particularly effective at turning verification challenges into reusable tooling, accelerating team productivity across large SoC projects.
11 years of coding experience
MS, Signal & information processing, MS, Signal & information processing at Peking University
Github Skills (81)
python10
deep-learning10
xmpp10
tensorflow10
machine-learning10
emacs-lsp9
matrix9
ml9
melpa9
emacs9
neural-network9
messaging9
spacemacs9
ejabberd9
vim9
Programming languages (7)
Github contributions (5)
wudixiaotie/MyConfig
Feb 2015 - May 2023
Contributions:93 pushes in 8 years 4 months
wudixiaotie/gatling
Apr 2015 - Jun 2015
Contributions:49 commits, 48 pushes, 1 branch in 1 month
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.