Год выпуска: 1981 Издательство: Радио и связь Страниц: 236
Описание
Рассмотрены вопросы логического проектирования цифровых устройств. Приведены формальные методы синтеза дискретных устройств, их логического моделирования и построения проверяющих тестов. Основное внимание уделено практическим методам, алгоритмам и программам, а также принципам автоматизации этих процессов. Для специалистов в области разработки средств цифровой техники и систем автоматизированного проектирования. Может быть полезна студентам вузов.
