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