Семантика языка описания аппаратуры HaSCoL

Статья описывает семантику высокоуровневого языка описания аппаратуры HaSCoL. Данный язык позволяет описывать синхронные цифровые интегральные схемы в терминах блокирующей посылки сообщений, блокируемых конвейеров, а также конструкций управления, знакомых всем по языкам программирования. Для всех этих сложных конструкций заданы их проекции в простой базовый язык, который, в свою очередь, определен в терминах простой модели вычислений синхронной цифровой схемы. Библиогр. 11 назв.