English | Russian |
A simple and effective way to allow the verification of time bounded properties is to introduce bounds in the CTL temporal operators | Простой и эффективный способ, позволяющий верифицировать свойства с ограничениями по времени, состоит в том, чтобы внести эти ограничения в темпоральные операторы CTL (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
allow the verification of time bounded properties | позволять верифицировать свойства с ограничениями по времени (ssn) |
completeness of verification with respect to the previous phase | полнота верификации в соответствии с предыдущей стадией (ssn) |
correctness of verification with respect to the previous phase | корректность верификации в соответствии с предыдущей стадией (ssn) |
implementation of the verification process | осуществление процесса верификации (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) |
independent verification of the timing constraints realised during the synthesis | независимая проверка ограничений синхронизации, осуществляемая во время синтеза (ssn) |
measures verification activity with respect to microarchitecture details of the actual implementation | мероприятия по проверке микроархитектурных особенностей готовой реализации (ssn) |
purpose of the verification process | цель процесса верификации (ssn) |
result of the successful implementation of the verification process | результат успешного осуществления процесса верификации (ssn) |
role of formal verification techniques in the context of software validation and testing | роль методов формальной верификации в контексте проверки соответствия и тестирования ПО (ssn) |
successful implementation of the verification process | успешное осуществление процесса верификации (ssn) |
the most obvious and traditional method of design verification is prototyping | Наиболее очевидный и традиционный метод верификации проекта-при помощи прототипа |
this plug-in builds the interface to a CANopen network and provides functions for down- and uploading of configuration and program data, scanning of a network, verification of device configurations, network and program control as well as layer setting services | этот дополнительный программный модуль представляет собой интерфейс для CANopen сети и выполняет функции загрузки и выгрузки данных конфигурирования и программ, сканирование сети, верификацию конфигураций устройства, управление сетью и программой, а также сервисы настройки уровней |
verification of the external system functions as stated in the external specifications | контроль внешнего поведения системы, определённого внешними спецификациями (ssn) |
verification of the gate netlist against reference model by simulation | проверочное сравнение списка соединений логических элементов с эталонной моделью средствами моделирования (ssn) |
verification of the integrity | проверка целостности (ssn) |
verification of the integrity of a produced application | проверка целостности созданного приложения (ssn) |
verification of the integrity of a produced UM application produced by the programming environment and used on a UM execution machine | проверка целостности созданного приложения системы UM, созданной посредством среды программирования и используемой на машине исполнения системы UM (ssn) |
verification of the timing constraints | проверка ограничений синхронизации (ssn) |
verification of the timing constraints realised during the synthesis | проверка ограничений синхронизации, осуществляемая во время синтеза (ssn) |