DictionaryForumContacts

   Russian English
Terms for subject Programming containing строгий по | all forms
RussianEnglish
Таким образом, утверждения / свойства позволяют описывать поведение контролируемой по времени системы в формальной и строгой формеThus, assertions/properties allow you to describe the behavior of a time-based system in a formal and rigorous manner (см. 'The Design Warrior's Guide to FPGAs' by Clive "Max" Maxfield 2004)