Russian | English |
если действием некоторого перехода будет действие только одного из двух процессов, то для каждой позиции второго временного автомата в параллельной композиции будет совместный переход | if the action of a transition is only an action of one of the two processes, then there will be a transition in the parallel composition for each location of the other timed automaton (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
Спецификация подпрограммы бинарного оператора должна иметь два параметра. В каждом использовании этого оператора первый параметр выступает в роли левого операнда, а второй – в роли правого операнда | the subprogram specification of a binary operator must have two parameters. For each use of this operator, the first parameter is associated with the left operand, and the second parameter is associated with the right operand (см. IEЕЕ Std. 1076-87. IEЕЕ Standard VHDL. Language Reference Manual) |
Спецификация подпрограммы бинарного оператора должна иметь два параметра. В каждом использовании этого оператора первый параметр выступает в роли левого операнда, а второй в роли правого операнда | the subprogram specification of a binary operator must have two parameters. For each use of this operator, the first parameter is associated with the left operand, and the second parameter is associated with the right operand (см. IEEE Std. 1076-87. IEEE Standard VHDL. Language Reference Manual) |