Анотація специфікації для обчислювальних пристроїв, які можуть здійснюватися різними способами, у програмному забезпеченні або устаткуванні.