Областью применения настоящего стандарта является определение языка функциональной верификации Электронные языковые библиотеки Эта редакция расширяет стандарт, включив в него новые функции, связанные с верификацией.
IEEE 1647-2008 История
1970IEEE 1647-2019 Стандарт IEEE для языка функциональной проверки e
1970IEEE 1647-2016 Стандарт IEEE для языка функциональной проверки e