IEEE Std 1647-2006
Стандарт IEEE для языка функциональной проверки «e»

Стандартный №

IEEE Std 1647-2006

Дата публикации

2006

Разместил

Institute of Electrical and Electronics Engineers (IEEE)

состояние

быть заменен 2008-08

быть заменен

IEEE STD 1647-2008

Последняя версия

IEEE Std 1647-2019

сфера применения

Язык функциональной верификации e — это язык программирования, ориентированный на конкретные приложения, предназначенный для автоматизации задачи проверки электронного проекта на соответствие его спецификации. Среды проверки, написанные на e, обеспечивают модель среды, в которой ожидается, что проект будет выполнять действия. включая виды ошибочных условий, которым должна противостоять конструкция.Типичная проверка...

IEEE Std 1647-2006 История

• 2019 IEEE Std 1647-2019 Стандарт IEEE для языка функциональной проверки e
• 2017 IEEE Std 1647-2016 Стандарт IEEE для языка функциональной проверки e — Redline
• 2011 IEEE Std 1647-2011 Стандарт IEEE для языка функциональной проверки e
• 2008 IEEE STD 1647-2008 Стандарт IEEE для языка функциональной проверки e
• 2006 IEEE Std 1647-2006 Стандарт IEEE для языка функциональной проверки «e»