Alexey Terentyev is an IP Verification Engineer with 14 years of experience designing and validating complex digital IPs across semiconductor and EDA environments, currently contributing to Intel's verification efforts. He has a strong systems-verification background from roles at eASIC and Alphachip, spanning SystemVerilog testbenches, synthesis-aware verification, DFT/ATPG flows, and memory block validation. Alexey pairs hands-on hardware verification with software craftsmanship—he contributes backend features to the popular open-source Gitea project, improving repository search, topic management, and robustness. Trained with a Master's in Integrated Microcircuit Technology and Design from MIET, he brings both theoretical depth and practical FPGA/LEC experience to delivery-focused verification teams. Known for tackling migration and validation tasks, he combines meticulous documentation and automation to reduce integration risk and speed IP bring-up.
14 years of coding experience
12 years of employment as a software developer
Master's degree, Integrated Microcircuit Technology and Design, Master's degree, Integrated Microcircuit Technology and Design at National Research University of Electronic Technology (MIET)
Git with a cup of tea! Painless self-hosted all-in-one software development service, including Git hosting, code review, team collaboration, package registry and CI/CD
Role in this project:
Back-end Developer
Contributions:92 reviews, 17 commits, 18 PRs in 3 years 4 months
Contributions summary:Alexey primarily contributed to the back-end functionality of the Gitea project, with a focus on repository search and topic management. They implemented features for sorting repositories by stars and forks, and added functionality to manage repository topics, including validation and migration tasks. The user also addressed bug fixes related to file handling and dependency updates within the project.
Contributions:56 pushes, 40 branches in 3 years 4 months
giteateacup
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.