Автоматизированное проектирование цифровых устройств

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