IP-XACT
IP-КОНТАКТ Определение и использование IP-XACT IP-XACT — это формат XML для описания электронных схем многократного использования. Стандарт разработан консорциумом SPIRIT […]
Стандарты IEEE DASC
Вики
Стандартный формат задержки
Стандартный формат задержки Определение и применение SDF SDF — это стандарт IEEE для представления временных данных в электронном проектировании. Он
Вики
Единый формат власти
Единый формат питания Определение и история UPF UPF — это стандарт IEEE для оптимизации энергопотребления в электронном проектировании. Стандарт основан
Вики
Язык спецификации свойств
Язык спецификации свойств Определение и использование PSL PSL — это темпоральная логика, расширяющая LTL для повышения выразительности. Используется в аппаратном