 |
Конъюнкция Дизъюнкция
|
|
|
|
1. Коммутативный (переместительный) закон:
а) 
б) 
2. Ассоциативный (сочетательный) закон:
а) 
б) 
3. Закон повторения:
а) 
б) 
4. Закон обращения:
Если Х1=Х2, то 
5. Закон двойной инверсии:
6. Закон нулевого множества:
а) 
б) 
7. Закон универсального множества:
а) 
б) 
8. Закон дополнительности:
а) 
б) 
9. Дистрибутивный (распределительный) закон:
а) 
б) 
10. Закон поглощения:
а) 
б) 
11. Закон склеивания:
а) 
б) 
12. Закон инверсии (закон Де Моргана):\
а) 
б) 
второй вариант:
а) 
б) 
2. Краткое описание САПР MAX+PLUS II (Multiple MatriX Programmeble Logic User Systems).
Система автоматизированного проектирования MAX+PLUS II предназначена для автоматизированного проектирования логических и цифровых устройств на основе программируемых логических интегральных схем (ПЛИС) фирмы ALTERA. Проектирование логических и цифровых устройств включает в себя следующие основные этапы:
1. Описание устройства.
2. Компиляция проекта и логический синтез.
3. Тестирование разработанного устройства.
4. Программирование ПЛИС.
Описание проекта устройства в рамках изучаемой САПР, возможно, многими способами с помощью разнообразных редакторов: графического, символьного, текстового и др. В предлагаемом цикле лабораторных работ мы будем использовать в основном графический редактор. Файл с графическим описанием устройства имеет расширение *.gdf.
Компиляция проекта и логический синтез осуществляются автоматически без участия разработчика. Разработчик имеет возможность выбора из предлагаемого списка метода синтеза логического устройства с необходимой минимизацией его логической функции.
Для проверки функционирования разрабатываемого устройства и его тестирования в САПР MAX+PLUS II предусмотрен специальный редактор Waveform Editor, в котором создается файл тестирования с расширением *.scf.
|
|
|
После проверки на правильность функционирования разработчик имеет возможность записать программу в ПЛИС, используя программатор.
При разработке проекта имеется возможность использования различных типовых логических элементов - от примитивов до сложных функциональных узлов, хранящихся в соответствующих библиотеках.
|
|
|
