Еспресо истраживачки логички умањивач — разлика између измена
Садржај обрисан Садржај додат
м Робот: додато {{subst:User:Autobot/sandbox2}} |
м razne ispravke |
||
Ред 1:
{{loš seminarski}}
'''Еспресо логички
▲'''Еспресо логички минимизатор''' је компјутерски прогам који помоћу хеуристичких и посебних алогоритама ефикасно смањује комплексност дигиталних електронских кола.<ref>{{Citation |first=J.P. |last=Hayes |title=Digital Logic Design |publisher=Addison Wesley |year=1993 |isbn=978-0-201-15461-0}}</ref>Еспресо је развијен у IBM од стране [[Robert Brayton (computer scientist)|Robert Brayton]]. Rudell је 1996 објавио варијанту Еспрессо-МВ под називом "Вишеструки логички минимизатор за [[Програмабилно логичко поље|ПЛА]] синтезу“.<ref>{{Citation |url=http://www.eecs.berkeley.edu/Pubs/TechRpts/1986/ERL-86-65.pdf |title=Multiple-Valued Logic Minimization for PLA Synthesis |first=Richard L. |last=Rudell |date = 5. 6. 1986. |journal=Memorandum No. UCB/ERL M86-65 |location=Berkeley}}</ref> Еспресо је утицао на развој многих производа.
== Увод ==
Електронски уређаји се састоје од бројних блокова дигиталних кола
===
Сви дигитални системи се
Полазна тачка
<pre>
A B C D E F G
0 0000 1 1 1 1 1 1 0 -A-
Линија 28 ⟶ 27:
</pre>
Процес имплементације почиње са фазом ''
Даље, умањени резултат може се поделити на мање делове процедуром разлагања и који се на крају може видети у слободним логичким ћелијама. Ова операција се обично назива [[Логичка оптимизација|Логичка Оптимизација]].<ref>{{Citation |first=Giovanni |last=De Micheli |title=Synthesis and Optimization of Digital Circuits |publisher=McGraw-Hill Science Engineering |year=1994 |isbn=978-0-07-016333-1|pages=}}</ref>
=== Класичне методе минимизације ===▼
Минимизирање Булових функција ручно преко класичних [[Карноова карта|карнеових мапа]] је напоран, досадан и процес склон грешкама. Није погодан за више од 6 улазних променљивих и практичан је до 4 променљиве, док је дељење за више излазних функција још теже да спроведе.<ref>{{Citation |first=Douglas |last=Lewin |title=Design of Logic Systems |publisher=Van Nostrand (UK) |year=1985 |isbn=978-0-442-30606-9}}</ref>Штавише, овај метод није лак да се аутоматизује у виду компјутерског програма. Међутим, са модерним логичким функцијама нисмо ограничени на тако мали број променљивих, док је цена и ризик прављења грешке за ручно имплементацију логичких функција превелика, због тога је употреба рачунара постала неопходна. ▼
Први алтернативни метод који је постао популаран је табеларни метод који су развили Quine и McCluskey. Почевши од таблица истинитости за скуп логичких функција, комбинујући минималне вредности за које су функције активиране -ON поклопац , или вредности за које је вредност функција небитна -Don't-Care поклопац или - DC поклопац- који чине сет [[Импликант|главних импликаната]]. Коначно систематска процедура почиње у циљу проналажења најмањег скупа главних импликаната да би излазне функције могле да се реализују.<ref>{{Citation |first1=Randy H. |last1=Katz |first2=Gaetano |last2=Borriello |title=Contemporary Logic Design |publisher=The Benjamin/Cummings Publishing Company |year=1994 |isbn=978-0-8053-2703-8}}</ref><ref>{{Citation |first=Parag K. |last=Lala |title=Practical Digital Logic Design and Testing |publisher=Prentice Hall |year=1996 |isbn=978-0-02-367171-5}}</ref>▼
▲Минимизирање Булових функција ручно,
Иако је [[Квајн–Макласкијев алгоритам]] погодан да се реализује у компјутерском програму, резултат је још увек далеко од ефикасаног у смислу времена обраде и коришћења меморије. Додавање променљивих у функцији ће отприлике удвостручити обоје, зато што дужина таблице истинитости експоненцијално расте са бројем променљивих. Сличан проблем се јавља када се повећа број излазних функција комбинационог функционалног блока. Сходно томе Квајн–Макласкијев алгоритам је практичан метод само за функције са ограниченим бројем улазних променљивих и излазних функција.▼
▲Први алтернативни метод који је постао популаран је табеларни метод
== Еспресо алгоритам ==▼
Радикално другачији приступ овом питању је ЕСПРЕСО алгоритам који је развио Brayton e.a. на Универзитету Беркли у Калифорнији.<ref>{{Citation |first1=Robert King |last1=Brayton |first2=Gary D. |last2=Hachtel |first3=Curtis T. |last3=McMullen |first4=Alberto L.. |last4=Sangiovanni-Vincentelli |url=http://portal.acm.org/citation.cfm?id=577427 |title=Logic Minimization Algorithms for VLSI Synthesis |publisher=Kluwer Academic Publishers |year=1984 |isbn=978-0-89838-164-1}}</ref> Уместо проширивања логичке функције преко минималних вредности, програм ради са "коцкама ", које представљају производ услова у ON-, DC- and OFF-поклопац итеративно. Иако резултат минимизације није гарантовано глобални минимум, у пракси то је веома блиско усаглашено, а решење је увек без логичког вишка. У односу на друге методе, ова је занчајно ефикаснија, јер смањује коришћење меморије и време обраде до неколико редова величине. Име Еспресо и потиче из сличности са брзим начином прављења кафе. Готово да нема ограничења за број променљивих, излазних функција и производа на основу услова комбинационих функција блока. У принципу, десетине варијабли са десетинама излазних функција су лако решиви.▼
▲Иако је овај [[
Улазне вредности за еспресо се записују у табели функција да би добили жељену функционалност; Резултат је минимизиран табела, која описује било ON-cover или OFF-cover функције, у зависности од изабраних опција. Подразумевано термини производа ће се делити што више од стране неколико излазних функција, али програму може бити наложено да рукује сваком од излазних функција посебно. Ово омогућава ефикасно спровођење у два нивоа логичких низова, као што су [[Програмабилно логичко поље|ПЛА]] (Програмабилно логичко поље) или [[Програмабилна логика поља|ПАЛ]] (Програмабилна логика поља).▼
▲== Еспресо алгоритам ==
▲
▲
ESPRESSO алгоритам се показао толико успешан да је укључен као стандардни корак логичке минимизације у практично било ком алату логичке синтезе. За имплементирање функције у вишебазној логици, резултат минимизације је побољшан факторизацијом и приказан на слободним логичким ћелијама, било да се ово односи на [[Field-programmable gate array|FPGA (Field Programmable Gate Array)]] или [[Application-specific integrated circuit|ASIC (Application Specific Integrated Circuit)]].
=== Софтвер ===
====
''
* [http://cid-b7034765ca89b294.skydrive.live.com/browse.aspx/Quick-Install Publicad] - бесплатан Publicad скуп програма који укључује Минилог - логички програм за минимизацију.
==== Logic Friday ====
''' Logic Friday ''' је
====
Извор оригиналног
Верзија
== Референце ==
{{reflist}}
{{DEFAULTSORT:Espresso Heuristic Logic Minimizer}}
[[Категорија:Електронска оптимизација]]
|