Логический синтез: различия между версиями
M0d3M (обсуждение | вклад) ← Новая страница: «'''Логический синтез''' — процесс получения Список соединений|списка соединени…» |
(нет различий)
|
Версия от 19:22, 11 февраля 2014
Логический синтез — процесс получения списка соединений логических вентилей из абстрактногой модели поведения логической схемы (например, на уровне регистровых передач). Наиболее распространенный пример этого процесса — синтез спецификаций, написанных на языках описания аппаратуры. Синтез выполняют программы-синтезаторы, способные оптимизировать проект согласно различным особенностям устройства, таким как временные ограничения, площадь и используемые компоненты. Такие программы обычно специализируются на генерации битовых потоков для программируемой логики или создании интегральных схем специального назначения. Логический синтез является составной частью автоматизации проектирования электронных приборов.
Синтез на уровне регистровых передач
Синтез описания на уровне логических передач широко используется в индустрии. Спецификация, написанная на языке описания аппаратуры, каком как VHDL или Verilog может содержать комбинаторные и синхронные элементы, образующие операционный автомат, и конечные автоматы, выполняющие функции управляющего автомата.[1] Синтез состоит из двух этапов. На первом этапе программа оптимизирует код независимо от используемой технологии, производя необходимые минимизации и упращения. На втором этапе проект преобразовывается в соответствии с библиотекой компонентов используемой технологии.[2]
Высокоуровневый синтез
Синтез описаний на высоких уровнях абстрации, написанных на языках высокого уровня (таких как C/C++ и SystemC), давно является объектом интенсивной разработки. Такой подход к проектированию логических устройств позволяет экономить время и разрабатывать аппаратное обеспечение без знания языков описания аппаратуры. Первые коммерческие программы, поддерживающие синтез высокоуровнего описания появились в 2004 году.[3] В настоящее время высокоуровневый синтез набирает популярность[4][5][6] и развивается благодаря появлению таких продуктов, как Vivado ESL от Xilinx.[7]
Коммерческие инструменты для логического синтеза
Программы для работы с интегральными схемами специального назначения
- Design Compiler (Synopsys)
- Encounter RTL Compiler (Cadence Design Systems)
- TalusDesign (Magma Design Automation)
- RealTime Designer (Oasys Design Systems)
- BooleDozer: (IBM)
Программы для работы с программируемой логикой
- Xilinx ISE и Vivado (Xilinx)
- Quartus II (Altera)
- IspLever (Lattice Semiconductor)
- Encounter RTL Compiler (Cadence Design Systems)
- LeonardoSpectrum and Precision (RTL / Physical) (Mentor Graphics)
- Synplify (PRO / Premier) (Synopsys)
- BlastFPGA (Magma Design Automation)
Примечания
- ↑ Samary Baranov. Logic and System Design of Digital Systems. — TUT Press, 2008. — С. 35-36. — 368 с. — ISBN 978-9-9855-9769-9.
- ↑ Donald E. Thomas, Philip R. Moorby. Register Transfer Level Synthesis // The Verilog® Hardware Description Language. — Axel Springer AG, 2002. — С. 35-36. — 381 с. — ISBN 978-1-4020-7089-1.
- ↑ EETimes: High-level synthesis rollouts enable ESL
- ↑ Ozgul, B.; Langer, J.; Noguera, J.; Visses, K. Software-programmable digital pre-distortion on the Zynq SoC (англ.) // International Conference on Very Large Scale Integration (VLSI-SoC) : сборник. — Стамбул, 2013.
- ↑ van de Belt, J. ; Sutton, P.D. ; Doyle, L.E. Accelerating software radio: Iris on the Zynq SoC, (англ.) // International Conference on Very Large Scale Integration (VLSI-SoC) : сборник. — Стамбул, 2013.
- ↑ Monson, J.; Wirthlin, M.; Hutchings, B.L.,. Implementing high-performance, low-power FPGA-based optical flow accelerators in C (англ.) // International Conference on Application-Specific Systems, Architectures and Processors (ASAP) : сборник. — Вашингтон, 2013.
- ↑ Xilinx. Vivado ESL Design (англ.). Xilinx. Дата обращения: 11 февраля 2014.
Литература
- Jie-Hong (Roland) Jiang, Srinivas Devadas. Logic synthesis in a nutshell // Electronic design automation: synthesis, verification, and test / Laung-Terng Wang, Yao-Wen Chang, Kwang-Ting Cheng. — Morgan Kaufmann, 2009. — ISBN chapter 6.
- Gary D. Hachtel. Logic synthesis and verification algorithms / Gary D. Hachtel, Fabio Somenzi. — Springer, 1996. — ISBN 0-7923-9746-0.
- Logic synthesis and verification / Soha Hassoun, Tsutomu Sasao. — Kluwer, 2002. — ISBN 978-0-7923-7606-4.
- Закревский, Аркадий Дмитриевич. Логический синтез каскадных систем. — М.: Наука, 1981. — 416 с.