Полное описание
>
Соловьев, Валерий Васильевич. Проектирование конечных автоматов. Теория и практика / В. В. Соловьев. - Москва : Горячая линия - Телеком, 2024. - 359 с. : ил. - Загл. на корешке : Проектирование конечных автоматов. - Библиогр.: с. 342-343 (27 назв.). - Предм. указ.: с. 348-352. - 500 экз. - ISBN 978-5-9912-1092-8. - Текст : непосредственный.| ГРНТИ | УДК | |
| 50.09.29 | 004.3'12 |
Рубрики:
Дискретные устройства -- Проектирование -- Автоматизация
Кл.слова (ненормированные): КОДИРОВАНИЕ СОСТОЯНИЙ -- КОМБИНАЦИОННЫЕ СХЕМЫ -- ПОСЛЕДОВАТЕЛЬНОСТНЫЕ СХЕМЫ -- ПРЕДСТАВЛЕНИЕ КОНЕЧНЫХ АВТОМАТОВ -- ПРОГРАММИРОВАНИЯ ЯЗЫКИ - VERILOG -- ПРОГРАММИРОВАНИЯ ЯЗЫКИ - VHDL -- СИНТЕЗ -- ЦИФРОВАЯ АППАРАТУРА -- ЭЛЕМЕНТНАЯ БАЗА
Аннотация: Конечные автоматы (Finite State Machines – FSMs) занимают важное место в разработке цифровой аппаратуры, поскольку в каждом устройстве их приходиться проектировать всякий раз заново. Показано место конечных автоматов в методике проектирования цифровых устройств. При этом внимание концентрируется на проблемах, с которыми сталкивается инженер при разработке устройств управления. Рассмотрены способы представления конечных автоматов, которые наиболее часто используются на практике. Освещена современная элементная база цифровых систем (CPLD, FPGA, SoC). Особое внимание уделено реализации конечных автоматов в программируемых логических интегральных схемах (ПЛИС - FPGA). Дан обзор методов синтеза, реализованных в средствах проектирования (Quartus). Подробно рассмотрены стили и способы представления конечных автоматов на языках описания аппаратуры (Verilog, SystemVerilog, VHDL). Представлены популярные коды, используемые для кодирования состояний конечных автоматов. Особо отмечены моменты, когда используемое кодирование состояний конечного автомата не соответствует ожидаемому результату. Продемонстрировано использование значений входных и выходных переменных конечного автомата для кодирования состояний. Излагаемый материал сопровождается большим количеством примеров, листингов кодов конечных автоматов и рисунков с результатами синтеза и моделирования. Для специалистов в области разработки цифровых систем - инженеров-практиков, научных работников, аспирантов, преподавателей и студентов соответствующих специальностей.
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Ж2-24/79152)>
Шифр в сводном ЭК: 1da782e7e0f4d17c16d6149db566aeac
Соловьев, Валерий Васильевич. Основы языка проектирования цифровой аппаратуры Verilog / В. В. Соловьев, 2019. - 205 с. - Текст : непосредственный.Соловьев, Валерий Васильевич. Язык Verilog в проектировании встраиваемых систем на FPGA / В. В. Соловьев, 2020. - 439 с. - Текст : непосредственный.Соловьев, Валерий Васильевич. Проектирование функциональных блоков встраиваемых систем на FPGA / В. В. Соловьев, 2021. - 348 с. - Текст : непосредственный.Соловьев, Валерий Васильевич. Язык SystemVerilog для синтеза / В. В. Соловьев, 2022. - 439 с. - Текст : непосредственный.Соловьев, Валерий Васильевич. Основы языка проектирования цифровой аппаратуры Verilog / В. В. Соловьев, 2022. - 283 с. - Текст : непосредственный.Соловьев, Валерий Васильевич. Язык SystemVerilog для моделирования / В. В. Соловьев, 2023. - 687 с. - Текст : непосредственный.Соловьев, Валерий Васильевич. Архитектуры ПЛИС фирмы Xilinx: CPLD и FPGA 7-й серии / В. В. Соловьев, 2024. - 392 с. - Текст : непосредственный.Соловьев, Валерий Васильевич. Проектирование конечных автоматов. Теория и практика / В. В. Соловьев, 2024. - 359 с. - Текст : непосредственный.Соловьев, Валерий Васильевич. Язык Verilog в проектировании встраиваемых систем на FPGA / В. В. Соловьев, 2024. - 439 с. - Текст : непосредственный.
Юшин А.М. Цифровые микросхемы для электронных устройств / А. М. Юшин, 1993. - 176 c. - Текст : непосредственный.Кармазинский А.Н. Анализ и синтез цифровых устройств / А. Н. Кармазинский, 1989. - 67 c. - Текст : непосредственный.Садовая И.М. Оценка точности моделей задержек фрагментов субмикронных МОП БИС / И. М. Садовая, 2004. - 16 с. - Текст : непосредственный.Гришкин А.С. Генераторы псевдослучайных символов на регистрах сдвига с внутренними сумматорами по модулю при использовании инвесных выходов : специальность 05.13.05 "Элементы и устройства вычислительной техники и систем управления" : диссертация на соискание ученой степени канд. техн. наук / А. С. Гришкин, 2006. - 17 с. - Текст : непосредственный.Mahapatra S. Hybrid CMOS single-electron-transistor device and circuit design / S. Mahapatra, A. M. Ionescu, 2006. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный.Токарев В.Л. Базовые схемы цифровой вычислительной техники / В. Л. Токарев, 1995. - 127 c. - Текст : непосредственный.Быстрицкий А.В. Проектирование структуры межсоединений программируемых логических интегральных схем / А. В. Быстрицкий, 2012. - 16 с. - Текст : непосредственный.Кузелин М.О. Современные семейства ПЛИС фирмы XILINX / М. О. Кузелин, Д. А. Кнышев, В. Ю. Зотов, 2004. - 440 с. - Текст : непосредственный.Опадчий Ю.Ф. Аналоговая и цифровая электроника / Ю. Ф. Опадчий, О. П. Глудкин, А. И. Гуров, 2000. - 768 с. - Текст : непосредственный.Останин С.А. Методы синтеза контролепригодных дискретных устройств : специальность 05.13.01 "Системный анализ,управление и обработка информации (по отраслям)" : автореферат диссертации на соискание ученой степени канд. техн. наук / С. А. Останин, 2000. - 23 с. - Текст : непосредственный.Инютин С.А. Арифметико-логические основы вычислительных систем / С. А. Инютин, 2001. - 117 с. - Текст : непосредственный.Браммер Ю.А. Импульсные и цифровые устройства / Ю. А. Браммер, И. Н. Пащук, 2002. - 351 с. - Текст : непосредственный.Микропроцессорные, аналоговые и цифровые системы: проектирование и схемотехника, теория и вопросы применения : материалы временных коллективов / Южно-Российский гос. технический ун-т (Новочеркасск), 2007. - 59 с. - Текст : непосредственный.Мальцев П.П. Цифровые интегральные микросхемы / П. П. Мальцев, П. П. Мальцев, Н. С. Долидзе, М. И. Критенко, 1994. - 240 c. - Текст : непосредственный.Цифровые интегральные микросхемы : Справочник / Сост.:В.Ю.Толкачев, Т.А.Кузьмина. Т. 2 : Логические быстродействующие биполярные микросхемы, триггеры и коммутаторы, 1994. - 288 с. - Текст : непосредственный.Ицхоки Я.С. Импульсные и цифровые устройства, 1973. - 591, [1] с. - Текст : непосредственный.Музыченко О.Н. Универсальные методы синтеза логических схем : учеб. пособие. Кн.1, 2005. - 149 с. - Текст : непосредственный.Битар Б. Логические программируемые элементы : препринт / Б. Битар, 1993. - 22 с. - Текст : непосредственный.Деменкова Т.А. Современные методы проектирования цифровых устройств / Т. А. Деменкова, Ю. Д. Тювин, Г. А. Оганян, 2001. - 61 с. - Текст : непосредственный.Hamblen J.O. Rapid prototyping of digital systems / J. O. Hamblen, M. D. Furman, T. S. Hall, 2008 r=on-line
Показать все результатыОстанин С.А. Методы синтеза контролепригодных дискретных устройств : специальность 05.13.01 "Системный анализ,управление и обработка информации (по отраслям)" : автореферат диссертации на соискание ученой степени канд. техн. наук / С. А. Останин, 2000. - 23 с. - Текст : непосредственный.Деменкова Т.А. Современные методы проектирования цифровых устройств / Т. А. Деменкова, Ю. Д. Тювин, Г. А. Оганян, 2001. - 61 с. - Текст : непосредственный.Hamblen J.O. Rapid prototyping of digital systems / J. O. Hamblen, M. D. Furman, T. S. Hall, 2008 r=on-lineNavabi Z. Digital design and implementation with field programmable devices / Z. Navabi, 2005 r=on-line.Чередов А.Д. Проектирование цифровых устройств / А. Д. Чередов, 1994. - 96 c. - Текст : непосредственный.Computer-aided design of discrete devices. CAD DD'97 : Second international conference: Proceedings, Minsk, November 12-14,1997 / Институт технической кибернетики (Минск), International conference on computer-aided design of discrete devices(2;1997;Minsk). Vol. 1, 1997. - 189 с. - Текст : непосредственный.Хородов В.С. Разработка методов и средств многоагентного распределенного автоматизированного проектирования структурно-функциональных лингвистических моделей вычислительных устройств / В. С. Хородов, 2015. - 23 с. - Текст : непосредственный.Проектирование средств вычислительной техники.Проектирование цифровых устройств РТС : сборник научных трудовЧ. 2 / Ред. В. Б. Смолов, 1973. - 270 c. - Текст : непосредственный.Макаров Г.В. Проектирование цифровых устройств на микропроцессорах / Г. В. Макаров, Е. Д. Алперин, В. Я. Кнох, 2004. - 194 с. - Текст : непосредственный.Грушвицкий Р.И. Проектирование систем на микросхемах с программируемой структурой / Р. И. Грушвицкий, А. Х. Мурсаев, Е. П. Угрюмов, 2006. - 736 с. - Текст : непосредственный.Матушкин Н.Н. Проектирование дискретных устройств на больших интегральных схемах / Н. Н. Матушкин, 1998. - 35 с. - Текст : непосредственный.Рябец Л.В. Сложность и алгоритмы построения проверяюших тестов и некоторых классов полиномиальных форм булевых функций : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : диссертация на соискание ученой степени канд. физ.-мат. наук / Л. В. Рябец, 2007. - 18 с. - Текст : непосредственный.Грушвицкий Р. Проектирование систем на микросхемах программируемой логики / Р. Грушвицкий, А. Мурсаев, Е. Угрюмов, 2002. - 606 с. - Текст : непосредственный.Филиппов В.А. Разработка методов синтеза программно-аппаратных комплексов с использованием высокоуровневых языков описания : специальность 05.13.05 "Элементы и устройства вычислительной техники и систем управления" : автореферат диссертации на соискание ученой степени канд. техн. наук / В. А. Филиппов, 2001. - 16 с. - Текст : непосредственный.Уэйкерли Д.Ф. Проектирование цифровых устройств. Т. 1, 2002. - 543 с. - Текст : непосредственный.Nedjah N. Co-design for system acceleration / N. Nedjah, L. D. Mourelle, 2007 r=on-line. - Текст : электронный.Макаров Н.Н. Конструкторское проектирование электронных модулей : выставочные материалы / Н. Н. Макаров, Е. Н. Викулова, П. С. Кулясов, 2017. - 61 с. - Текст : непосредственный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
Заказ фрагмента документа ₽
