В монографии обсуждается широкий круг вопросов, связанных с проектированием микроэлектронных устройств с программным управлением. Рассматриваются задачи и методы разработки программ и аппаратуры с использованием языка ПРАЛУ, область применения которого расширена задачами верификации. Описывается разработка программы для кластерного компьютера, решающей комбинаторно-сложные задачи. Книга адресована специалистам в области проектирования дискретных устройств и может быть полезна для студентов и аспирантов, специализирующихся в данном направлении.
Чтобы оставить свою оценку и/или комментарий, Вам нужно войти под своей учетной записью или зарегистрироваться