Terms for subject Programming containing majority of design engineers

English	Russian
in the not-so-distant past, the term formal verification was considered synonymous with equivalency checking for the majority of design engineers	ещё совсем недавно большинство разработчиков рассматривали термин формальная верификация как синоним проверки на эквивалентность (см. 'The Design Warrior's Guide to FPGAs' by Clive "Max" Maxfield 2004)
majority of design engineers	большинство разработчиков (ssn)