Russian ⇄ English

Кроме того, утверждения / свойства могут использоваться для описания как ожидаемых, так и запрещённых сценариев поведения stresses
progr.	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))