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