Логичка синтеза — разлика између измена

Садржај обрисан Садржај додат
Нема описа измене
Autobot (разговор | доприноси)
м razne izmene; козметичке измене
Ред 14:
''Логички дизајн '' је корак у циклусу стандарда дизајна у коме је функционалан дизајн електронског кола конвертован у репрезентацију [[Булова алгебра (логика)|булове алгебре]], [[аритметичке операције]], [[контролисан проток]], идр. Чест испис овог корака је [[РТЛ опис]]. Логички дизајн је често праћен и дизајном кола. У модерној аутомизацији електронског дизајна делови логичког дизајна могу бити аутоматизовани користећи алате [[Синтеза високог степена|синтезе висогог степена]] базиране на опису понасања кола.
 
[[Датотека:Baops.gif|rightдесно|thumbмини|450px|Различите репрезентације Боолеан операција]]
 
Логичке операције се обично састоје од И, ИЛИ , НИ, КСИЛИ операција, и представњају најосновије форме операција у електронском колу. Аритметичке операције се обично имплементују са коришћењем логичких оператора. Кола као сто су бинарни множилац или бинарни додавч су примери много комплекснијих бинарних операција које се могу имплементирати користећи основне логичке операторе.
Ред 37:
== Литература ==
{{refbegin}}
* {{Cite book | ref= harv|last= Sherwani|first=Naveed A.|title=Algorithms for VLSI physical design automation|year=1999|edition=3rd|publisher=Kluwer Academic Publishers|isbn=978-0-7923-8393-2|pages=4}}
* -{''Electronic Design Automation For Integrated Circuits Handbook'', by Lavagno, Martin, and Scheffer, ISBN 978-0-8493-3096-4 A survey of the field of Electronic design automation. The above summary was derived, with permission, from Volume 2, Chapter 2, ''Logic Synthesis'' by Sunil Khatri and Narendra Shenoy.}-
* -{''A Consistent Approach in Logic Synthesis for FPGA Architectures'', by Burgun Luc, Greiner Alain, and Prado Lopes Eudes, Proceedings of the international Conference on Asic (ASICON), Pekin, October (1994). стр. 104–107.}-
* {{Cite book | ref= harv|editor=Laung-Terng Wang |editor2 = Yao-Wen Chang |editor3 = Kwang-Ting Cheng|title=Electronic design automation: synthesis, verification, and test|year=2009|author=Jie-Hong Jiang |author2 = Srinivas Devadas|chapter=Logic synthesis in a nutshell|publisher=Morgan Kaufmann|isbn=978-0-12-374364-0|id=chapter 6}}
* {{Cite book | ref= harv|last1last=Hachtel|first1first=Gary D.|last2=Somenzi|first2=Fabio|title=Logic synthesis and verification algorithms|year=1996|publisher=Springer|isbn=978-0-7923-9746-5}} also as published as softcover ISBN 978-0-387-31004-6 in 2006
* {{Cite book | ref= harv|editor=Soha Hassoun |editor2 = Tsutomu Sasao|title=Logic synthesis and verification|year=2002|publisher=Kluwer|isbn=978-0-7923-7606-4}}
{{refend}}