| English | Russian |
| in the previous chapter, we assumed that time is discrete. When time is modeled in this manner, possible clock values are nonnegative integers, and events can only occur at integer time values | в предыдущей главе мы предполагали, что время дискретно. в этом случае возможные показания часов задаются неотрицательными целыми числами и события могут происходить только в целочисленные моменты времени (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
| Overloading a short-circuit operator such as "and" does not imply that the function designated by the operator symbol will be invoked in a short-circuit manner | Совмещение оператора, выполняющегося по укороченной схеме, такого как "and", не подразумевает, что функция, обозначенная таким оператором, будет активироваться по такой же схеме (см. IEЕЕ Std. 1076-87. IEЕЕ Standard VHDL. Language Reference Manual ssn) |
