Institute of Electrical and Electronics Engineers (IEEE)
сфера применения
Областью применения настоящего стандарта является определение языка функциональной проверки е. Этот стандарт призван служить авторитетным источником для определения (а) синтаксиса и семантики конструкций языка е (б) взаимодействия языка е со стандартными языками моделирования. (c) Библиотеки электронных языков. Эта версия расширяет стандарт, включив в него новые функции, связанные с проверкой.