English ⇄ Russian

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