DictionaryForumContacts

   English
Terms for subject Programming containing design verification | all forms | exact matches only | in specified order only
EnglishRussian
design, development and verification activitiesдеятельность по проектированию, разработке и верификации программного обеспечения (корпорации AdaCore Alex_Odeychuk)
design rules verificationпроверка соблюдения правил проектирования (ssn)
design rules verificationпроверка соблюдения проектных норм (ssn)
design verificationверификация проекта (ssn)
design verificationпроверка соблюдения требований проектного задания (определение соответствия функционирования схемы (системы) в соответствии со спецификацией на неё. Методы верификации делятся на статические (см. formal verification) и динамические – с помощью прогона набора тестов ssn)
design verification and validationверификация и утверждение проекта (ssn)
design verification simulationмоделирование с целью проверки правильности проектирования (ssn)
design verification simulationверификационное моделирование (ssn)
design verification simulationмоделирование исправной схемы с целью проверки правильности проектирования (ssn)
design verification simulationмоделирование для верификации проектных решений (ssn)
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)
the most obvious and traditional method of design verification is prototypingНаиболее очевидный и традиционный метод верификации проекта-при помощи прототипа