 |
| English | Russian |
| describe both expected and prohibited behavior | описание как ожидаемых, так и запрещённых сценариев поведения (устройства ssn) |
| Furthermore, assertions/properties can be used to describe both expected and prohibited behavior | Кроме того, утверждения / свойства могут использоваться для описания как ожидаемых, так и запрещённых сценариев поведения (устройства; см. 'The Design Warrior's Guide to FPGAs' by Clive "Max" Maxfield (2004)) |