Тип работы:
 Предмет:
 Язык работы:


РЕДАКТОР ГРАФИЧЕСКОГО ПРЕДСТАВЛЕНИЯ ЛОГИЧЕСКИХ СХЕМ

Работа №191035

Тип работы

Бакалаврская работа

Предмет

физика

Объем работы54
Год сдачи2018
Стоимость4220 руб.
ПУБЛИКУЕТСЯ ВПЕРВЫЕ
Просмотрено
14
Не подходит работа?

Узнай цену на написание


ВВЕДЕНИЕ 5
1.2 Логические схемы 6
1.3 Способы представления логических схем 7
2 Постановка задачи 9
2.1 Обзор графических редакторов для логических схем 9
2.2 Методы преобразования логических схем в текстовый формат 10
2.2.1 Метод №1. Перевод схемы в BLIF с использованием XML файла 10
2.2.2 Метод №2. Перевод схемы в BLIF с использованием структур данных редактора ....15
2.2.3 Сравнение методов преобразования логических схем в текстовый формат 16
2.3 Подробный обзор графического редактора 17
2.3.1 Интерфейс графического редактора 17
2.3.2 Используемые библиотеки языка Java 18
2.3.3 Основные используемые классы редактора 20
3 Особенности программной реализации 23
3.1 Представление данных в добавленных классах 23
3.2 Основные методы добавляемых классов 25
3.3 Методы и изменения, добавленные в классы редактора 27
4. Экспериментальные результаты 30
4.1 Проверка логических схем на эквивалентность 30
4.2 Минимизация логических схем 30
ЗАКЛЮЧЕНИЕ 31
СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ 32
ПРИЛОЖЕНИЕ А Алгоритм преобразования XML представления логической схемы в формат BLIF 34
ПРИЛОЖЕНИЕ Б Алгоритмы сохранения и загрузки текстовых файлов формата языка
BLIF 35
ПРИЛОЖЕНИЕ В Эксперименты с логическими схемами 36
ПРИЛОЖЕНИЕ Г Программный код добавленных методов и классов 38


Для логических схем реализовано большое количество автоматизированных методов для задач анализа и синтеза. В частности, широко используется система синтеза и верификации логических схем ABC [1].
Программные системы, содержащие реализации таких методов используют, в основном, текстовый формат описания логических схем. Наиболее распространенными текстовыми форматами описания логических схем являются такие форматы, как BLIF [2], BENCH, EQN.
Одним из наиболее удобных способов разработки описания цифровых схем является проектирование схемы в графическом виде с использованием графических примитивов, представляющих элементарные логические элементы. В открытом доступе существуют программные инструменты, так называемые графические редакторы логических схем, позволяющие создавать описание схем в графическом виде, производить их редактирование и симуляцию. В некоторых случаях может появиться необходимость перевода логической схемы, созданной при помощи графического редактора, в один из текстовых форматов описания схем для автоматического применения методов анализа и синтеза, в частности, в системе ABC.
Графические редакторы, находящиеся в свободном доступе, не предоставляют возможности перевода описания схем в текстовые форматы. Некоторые из них, используют XML описание созданных схем в качестве выходного формата файлов, который можно использовать для перевода в текстовый формат BLIF путем парсинга XML файла. Данный способ подразумевает создание внешнего программного инструмента, реализующего XML парсер. Другим способом реализации перевода схемы в текстовый формат является составление BLIF описания на основе структур данных, представляющих логическую схему в исходном коде графического редактора. Данный способ подразумевает создание собственного графического редактора схем, либо расширение функционала существующих редакторов путем использования части их исходных кодов.
Таким образом, в данной работе ставится задача реализации графического редактора с возможностью вывода описания схем в текстовом формате BLIF.


Возникли сложности?

Нужна помощь преподавателя?

Помощь в написании работ!
ДИПЛОМНЫЕ МАГИСТЕРСКИЕ ДИССЕРТАЦИИ
КУРСОВЫЕ СТАТЬИ ВКР

В ходе выполнения бакалаврской работы были изучены графический и текстовый способы описания логических схем и некоторые свободно распространяемые программные инструменты для работы с этими представлениями. В частности, графические редакторы логических схем QelectroTech и Logic Scheme Editor, текстовый формат описания логических схем BLIF, являющийся основным форматом при описании схем для использования в системе логического синтеза и верификации ABC. Также, были программно реализованы два способа преобразования графического описания комбинационных логических схем в формат BLIF. Показано, что способ, основанный на внесении изменений в исходный код графического редактора, позволяет избежать промежуточных преобразований схемы в формат XML и использования дополнительных программных инструментов для синтаксического анализа XML файлов. Также, была реализована загрузка в редактор Logic Scheme Editor схем, описанных в формате BLIF для возможности их редактирования. Программная реализация графического редактора была опробована в работе на ряде примеров комбинационных логических схем. После реализации загрузки и сохранения был проведен ряд экспериментов по сравнению двух логических схем на эквивалентность и эксперименты по минимизации логических схем, указанные эксперименты были выполнены с помощью системы ABC.


1. Berkeley Verification and Synthesis Research Center [Электронный ресурс] / ABC: A system for Sequential Synthesis and Verification. - Электрон. дан. - Berkeley|EECS, 2005. - URL: https://people.eecs.berkeley.edu/~alanmi/abc/abc.htm(дата обращения 15.09.2017)
2. Berkeley Logic Interchange Format (BLIF) : Berkeley: University of California Berkeley, 1992. -10c.
3. Емельянов В.А. Физическая электроника [Электронный ресурс] : Лабораторный практикум / StudFiles: Файловый архив студентов. - Электрон. дан., 2015. - URL: http://www.studfiles.rU/preview/5786780/page:9/(дата обращения: 15.09.2017).
4. Физическая энциклопедия : в 5 т. / гл.ред А. М. Прохоров. - М. : Советская энциклопедия, 1998. - Т. 5 : Стробоскопические приборы. - 687 с.
5. Автоматизированные телевизионные системы наблюдения : в 2 ч. / А. Л. Андреев. - СПб.: СПбГУИТМО, 2005. - Ч. 1: Аппаратные средства и элементная база. - 88 с.
6. QElectroTech free electrical diagram [Электронный ресурс] / - Электрон. дан., 2009. - URL: https://qelectrotech.org(дата обращения 24.09.2017)
7. Welcome to MultiMedia Logic [Электронный ресурс] / - Электрон. дан., 2016. - URL: http://www.softronix.com/logic.html(дата обращения 25.09.2017)
8. Getting Started with Digital Works [Электронный ресурс] / Sam Houston State University. - Электрон. дан., 1997. - URL: http://www.shsu.edu/csc_tjm/fall2003/cs272/dworks_howto.html(дата обращения
15.10.2017)
9. Программы, написанные в рамках курса Software Design [Электронный ресурс] /
Computer Science центр : Академия современного программирования. - Электрон. дан., 2007. - URL: http://www.amse.ru/courses/softwaredesign3/progs.php(дата обращения
18.10.2017)
10. Logic Scheme Constructor. Исходники программы [Электронный ресурс] / Delphi sources.
- Электрон. дан. 2015. - URL:
http://www.delphisources.ru/pages/sources/raznoe/2015/postroenie-logicheskih-sxem.html(дата обращения 18.10.2017)
11. Cirucit Diagram. Design and share diagrams using a wide range of components [Электронный ресурс] / - Электрон. дан., 2017. - URL: http://www.circuit-diagram.org/(дата обращения 19.10.2017)
12. pugixml [Электронный ресурс] / A.Kapoulkine. - Электрон. дан., 2010. - URL:
http://pugixml.org(дата обращения 15.01.2017)
13. TinyXML Documentation [Электронный ресурс] / - Электрон. дан. 2006. - URL:
http://www.cs.cmu.edu/~preethi/src/tinyxml/docs/(дата обращения 18.01.2017)
14. RAPIDXML [Электронный ресурс] / M.Kalicinski. - Электрон. дан., 2009. - URL: http://rapidxml.sourceforge.net/(дата обращения 18.01.2017)
15. Package javax.swing [Электронный ресурс] / Java Platform, Standard Edition 8 API
Specification. - Электрон. дан., 2017. - URL:
https://docs.oracle.com/javase/8/docs/api/javax/swing/package-summary.html (дата
обращения 20.10.2017)
16. Package java.awt [Электронный ресурс] / Java Platform, Standard Edition 7 API Specification. - Электрон. дан., 2017. - URL: https://docs.oracle.com/javase/7/docs/api/java/awt/package-summary.html(дата обращения
21.10.2017)


Работу высылаем на протяжении 30 минут после оплаты.



Подобные работы


©2025 Cервис помощи студентам в выполнении работ
.