तार्किक संकलन: Difference between revisions
No edit summary |
No edit summary |
||
| (7 intermediate revisions by 4 users not shown) | |||
| Line 1: | Line 1: | ||
{{more citations needed|date=January 2013}} | {{more citations needed|date=January 2013}} | ||
कंप्यूटर इंजीनियरिंग में, तर्क संमिश्रण एक ऐसी प्रक्रिया है जिसके द्वारा वांछित[[ सर्किट (इलेक्ट्रॉनिक्स) | परिपथ (इलेक्ट्रॉनिक्स)]] व्यवहार का एक तत्त्व विनिर्देश,आमतौर पर [[ रजिस्टर ट्रांसफर लेवल |रजिस्टर स्थानान्तरण लेवल]] (आरटीएल) पर, [[ तर्क द्वार |तर्क द्वार]] के संदर्भ में एक नमूना कार्यान्वयन में बदल दिया जाता है। जिसे आमतौर पर एक [[ कंप्यूटर प्रोग्राम ]] द्वारा कहा जाता है। ''संश्लेषण उपकरण की'' इस प्रक्रिया के सामान्य उदाहरणों में [[ वीएचडीएल ]]और वेरिलॉग सहित [[ हार्डवेयर विवरण भाषा | हार्डवेयर विवरण भाषाओं]] में निर्दिष्ट नमूनाों का संश्लेषण शामिल है।<ref name="Verilog_2005"/>कुछ संश्लेषण उपकरण प्रोग्रामयोग्य तर्क यंत्र के लिए [[ बिटस्ट्रीम ]]उत्पन्न करते हैं जैसे प्रोग्राम योग्य सरणी तर्क या[[ क्षेत्र में प्रोग्राम की जा सकने वाली द्वार श्रंखला ]], जबकि अन्य ऐसीक यस के निर्माण को लक्षित करते हैं। तर्क संश्लेषण [[ इलेक्ट्रॉनिक डिजाइन स्वचालन | इलेक्ट्रॉनिक नमूना स्वचालन]] का एक पहलू है। | |||
कंप्यूटर इंजीनियरिंग में, तर्क संमिश्रण एक ऐसी प्रक्रिया है जिसके द्वारा वांछित[[ सर्किट (इलेक्ट्रॉनिक्स) | परिपथ (इलेक्ट्रॉनिक्स)]] व्यवहार का एक तत्त्व विनिर्देश,आमतौर पर [[ रजिस्टर ट्रांसफर लेवल |रजिस्टर स्थानान्तरण लेवल]] ( | |||
== तर्क संश्लेषण का इतिहास == | == तर्क संश्लेषण का इतिहास == | ||
| Line 8: | Line 7: | ||
[[ तर्क न्यूनीकरण ]] के स्वचालन की दिशा में पहला कदम क्विन-मैकक्लुस्की कलन विधि की शुरूआत की। थी जिसे कंप्यूटर पर लागू किया जा सकता था। इस सटीक न्यूनीकरण तकनीक ने प्राइम इंप्लिकेंट्स और न्यूनतम लागत कवर की धारणा प्रस्तुत की जो [[ दो-स्तरीय न्यूनीकरण ]] की आधारशिला बन जाएगी। आजकल,अधिक कुशल [[ एस्प्रेसो हेयुरिस्टिक लॉजिक मिनिमाइज़र | एस्प्रेसो हेयुरिस्टिक तर्क मिनिमाइज़र]] इस ऑपरेशन के लिए मानक उपकरण बन गया है।{{update inline|date=May 2017|reason=This correctly describes the situation around 1995. We need to expand this to include the changes of the past twenty years, however.}} प्रारंभिक अन्वेषण का एक अन्य क्षेत्र राज्य के न्यूनतमकरण और परिमित-राज्य मशीनों (एफएसएम) के एन्कोडिंग में था, एक ऐसा कार्य जो अभिकल्पक के लिए अभिशाप था। तर्क संश्लेषण के लिए आवेदन मुख्य रूप से डिजिटल कंप्यूटर नमूने में होते हैं। इसलिए,[[ आईबीएम ]]और[[ बेल लैब्स ]]ने तर्क संश्लेषण के प्रारंभिक स्वचालन में एक महत्वपूर्ण भूमिका निभाई।[[ असतत तर्क ]]घटकों से प्रोग्राम करने योग्य तर्क सरणियों (पीएलए) के विकास ने कुशल दो-स्तरीय न्यूनतमकरण की आवश्यकता को तेज कर दिया, क्योंकि दो-स्तरीय प्रतिनिधित्व में शर्तों को कम करने से पीएलए में क्षेत्र कम हो जाता है। | [[ तर्क न्यूनीकरण ]] के स्वचालन की दिशा में पहला कदम क्विन-मैकक्लुस्की कलन विधि की शुरूआत की। थी जिसे कंप्यूटर पर लागू किया जा सकता था। इस सटीक न्यूनीकरण तकनीक ने प्राइम इंप्लिकेंट्स और न्यूनतम लागत कवर की धारणा प्रस्तुत की जो [[ दो-स्तरीय न्यूनीकरण ]] की आधारशिला बन जाएगी। आजकल,अधिक कुशल [[ एस्प्रेसो हेयुरिस्टिक लॉजिक मिनिमाइज़र | एस्प्रेसो हेयुरिस्टिक तर्क मिनिमाइज़र]] इस ऑपरेशन के लिए मानक उपकरण बन गया है।{{update inline|date=May 2017|reason=This correctly describes the situation around 1995. We need to expand this to include the changes of the past twenty years, however.}} प्रारंभिक अन्वेषण का एक अन्य क्षेत्र राज्य के न्यूनतमकरण और परिमित-राज्य मशीनों (एफएसएम) के एन्कोडिंग में था, एक ऐसा कार्य जो अभिकल्पक के लिए अभिशाप था। तर्क संश्लेषण के लिए आवेदन मुख्य रूप से डिजिटल कंप्यूटर नमूने में होते हैं। इसलिए,[[ आईबीएम ]]और[[ बेल लैब्स ]]ने तर्क संश्लेषण के प्रारंभिक स्वचालन में एक महत्वपूर्ण भूमिका निभाई।[[ असतत तर्क ]]घटकों से प्रोग्राम करने योग्य तर्क सरणियों (पीएलए) के विकास ने कुशल दो-स्तरीय न्यूनतमकरण की आवश्यकता को तेज कर दिया, क्योंकि दो-स्तरीय प्रतिनिधित्व में शर्तों को कम करने से पीएलए में क्षेत्र कम हो जाता है। | ||
हालांकि, बहुत [[ बड़े पैमाने पर एकीकरण ]] (वीएलएसआई) नमूना में दो-स्तरीय तर्क परिपथ सीमित महत्व के हैं; अधिकांश नमूना तर्क के कई स्तरों का उपयोग करते हैं। वास्तव में, आरटीएल या व्यवहार विवरण में लगभग कोई भी परिपथ प्रतिनिधित्व एक बहु-स्तरीय प्रतिनिधित्व है। एक प्रारंभिक प्रणाली जिसका उपयोग बहुस्तरीय परिपथों को नमूना | हालांकि, बहुत [[ बड़े पैमाने पर एकीकरण ]] (वीएलएसआई) नमूना में दो-स्तरीय तर्क परिपथ सीमित महत्व के हैं; अधिकांश नमूना तर्क के कई स्तरों का उपयोग करते हैं। वास्तव में, आरटीएल या व्यवहार विवरण में लगभग कोई भी परिपथ प्रतिनिधित्व एक बहु-स्तरीय प्रतिनिधित्व है। एक प्रारंभिक प्रणाली जिसका उपयोग बहुस्तरीय परिपथों को नमूना करने के लिए किया गया था, वह आईबीएम से एलएसएस था। इसने तर्क को सरल बनाने के लिए स्थानीय परिवर्तनों का उपयोग किया। एलएसएस और यॉर्कटाउन सिलिकॉन संकलक पर काम ने 1980 के दशक में तर्क संश्लेषण में तेजी से अनुसंधान प्रगति को प्रेरित किया। कई विश्वविद्यालयों ने अपने अन्वेषण को सर्वप्रचलित के लिए उपलब्ध कराने में योगदान दिया, विशेष रूप से कैलिफोर्निया विश्वविद्यालय, बर्कले से एसआईएस, कैलिफोर्निया विश्वविद्यालय, लॉस एंजिल्स से आरएएसपी और कोलोराडो विश्वविद्यालय, बोल्डर से बोल्ड एक दशक के भीतर, प्रौद्योगिकी इलेक्ट्रॉनिक नमूना ऑटोमेशन कंपनियों द्वारा पेश किए गए वाणिज्यिक तर्क संश्लेषण उत्पादों में चली गई। | ||
==तर्क | ==तर्क अवयव== | ||
तर्क | तर्क अवयव मानक नमूना चक्र में एक चरण है जिसमें [[ विद्युत सर्किट | विद्युत परिपथ]] के कार्यात्मक नमूना को प्रतिनिधित्व में परिवर्तित किया जाता है। जो बूलियन बीजगणित (तर्क), अंकगणितीय संचालन, नियंत्रण प्रवाह इत्यादि को कैप्चर करता है। इस चरण का एक सामान्य आउटपुट [[ आरटीएल विवरण ]] है। तर्क नमूना आमतौर पर[[ सर्किट डिज़ाइन | परिपथ नमूना]] चरण के बाद होता है। आधुनिक इलेक्ट्रॉनिक नमूना में तर्कल नमूना के ऑटोमेशन भागों को परिपथ के व्यवहार विवरण के आधार पर [[ उच्च स्तरीय संश्लेषण ]] यंत्र का उपयोग करके स्वचालित किया जा सकता है।<ref name="Sherwani_1999"/> | ||
[[Image:Baops.gif|right|thumb|450px|बूलियन संचालन के विभिन्न अभ्यावेदन]] | [[Image:Baops.gif|right|thumb|450px|बूलियन संचालन के विभिन्न अभ्यावेदन]] | ||
| Line 17: | Line 16: | ||
==उच्च स्तरीय संश्लेषण या व्यवहार संश्लेषण== | ==उच्च स्तरीय संश्लेषण या व्यवहार संश्लेषण== | ||
{{Main| | {{Main|उच्च स्तरीय संश्लेषण}} | ||
अभिकल्पक उत्पादकता बढ़ाने के लक्ष्य के साथ, व्यवहार स्तर पर निर्दिष्ट परिपथ के संश्लेषण पर अनुसंधान प्रयासों ने 2004 में व्यावसायिक समाधानों का उदय किया है।<ref name="EETimes_2017"/>जिनका उपयोग जटिल ( | अभिकल्पक उत्पादकता बढ़ाने के लक्ष्य के साथ, व्यवहार स्तर पर निर्दिष्ट परिपथ के संश्लेषण पर अनुसंधान प्रयासों ने 2004 में व्यावसायिक समाधानों का उदय किया है।<ref name="EETimes_2017"/>जिनका उपयोग जटिल (एएसआईसी) और (एफ़पीजीए) नमूना के लिए किया जाता है। ये उपकरण स्वचालित रूप से उच्च स्तरीय भाषाओं, जैसे एएनएसआई सी/सी++ या सिस्टमसी का उपयोग करके निर्दिष्ट परिपथ को एक रजिस्टर स्थानान्तरण लेवल (आरटीएल) विनिर्देश में संश्लेषित करते हैं। जिसे गेट-स्तरीय तर्क संश्लेषण प्रवाह में इनपुट के रूप में उपयोग किया जा सकता है।<ref name="EETimes_2017"/>उच्च-स्तरीय संश्लेषण का उपयोग करना, जिसे ईएसएल संश्लेषण के रूप में भी जाना जाता है। घड़ी चक्रों और संरचनात्मक घटकों जैसे फ्लोटिंग-पॉइंट एएलयू में काम का आवंटन, एक अनुकूलन प्रक्रिया का उपयोग करके संकलक द्वारा किया जाता है, जबकि आरटीएल तर्क संश्लेषण के साथ (व्यवहार से भी) वेरिलोग या वीएचडीएल, जहां निष्पादन का एक क्रम एक घड़ी चक्र के भीतर एक चर को कई बार पढ़ता और लिखता है वे आवंटन निर्णय पहले ही किए जा चुके हैं। | ||
==बहु-स्तरीय तर्क न्यूनीकरण== | ==बहु-स्तरीय तर्क न्यूनीकरण== | ||
{{see also| | {{see also|तर्क अनुकूलन|परिपथ न्यूनीकरण}} | ||
तर्क | तर्क फलन के विशिष्ट व्यावहारिक कार्यान्वयन तर्क तत्वों के बहु-स्तरीय नेटवर्क का उपयोग करते हैं। एक नमूना के आरटीएल विवरण से शुरू होकर, संश्लेषण उपकरण एक संबंधित बहुस्तरीय[[ बूलियन नेटवर्क ]]का निर्माण करता है। | ||
इसके बाद, इस नेटवर्क को प्रौद्योगिकी-निर्भर अनुकूलन करने से पहले कई प्रौद्योगिकी-स्वतंत्र तकनीकों का उपयोग करके अनुकूलित किया जाता है। प्रौद्योगिकी-स्वतंत्र ऑप्टिमाइज़ेशन के दौरान विशिष्ट लागत | इसके बाद, इस नेटवर्क को प्रौद्योगिकी-निर्भर अनुकूलन करने से पहले कई प्रौद्योगिकी-स्वतंत्र तकनीकों का उपयोग करके अनुकूलित किया जाता है। प्रौद्योगिकी-स्वतंत्र ऑप्टिमाइज़ेशन के दौरान विशिष्ट लागत फलन कुल प्रोपोज़िशनल फॉर्मूला लिटरल। 2 सी टर्म और तर्क फलन के फ़ैक्टर प्रतिनिधित्व की वैकल्पिक गणना जो परिपथ क्षेत्र के साथ काफी अच्छी तरह से संबंधित है। | ||
अंत में, प्रौद्योगिकी-निर्भर अनुकूलन प्रौद्योगिकी-स्वतंत्र परिपथ को किसी दिए गए प्रौद्योगिकी में गेट्स के नेटवर्क में बदल देता है। सरल लागत अनुमानों को प्रौद्योगिकी मानचित्रण के दौरान और बाद में अधिक ठोस, कार्यान्वयन-संचालित अनुमानों द्वारा प्रतिस्थापित किया जाता है। मानचित्रण प्रौद्योगिकी पुस्तकालय में उपलब्ध गेट्स | अंत में, प्रौद्योगिकी-निर्भर अनुकूलन प्रौद्योगिकी-स्वतंत्र परिपथ को किसी दिए गए प्रौद्योगिकी में गेट्स के नेटवर्क में बदल देता है। सरल लागत अनुमानों को प्रौद्योगिकी मानचित्रण के दौरान और बाद में अधिक ठोस, कार्यान्वयन-संचालित अनुमानों द्वारा प्रतिस्थापित किया जाता है। मानचित्रण प्रौद्योगिकी पुस्तकालय में उपलब्ध गेट्स तर्क फलन, प्रत्येक गेट के लिए प्रेरित करना आकार, और देरी, [[ विद्युत शक्ति ]]और प्रत्येक गेट की क्षेत्र विशेषताओं जैसे कारकों से विवश है। | ||
==यह भी देखें== | ==यह भी देखें== | ||
*[[ सिलिकॉन संकलक ]] | *[[ सिलिकॉन संकलक | सिलिकॉन संकलक]] | ||
*[[ द्विआधारी निर्णय आरेख ]] | *[[ द्विआधारी निर्णय आरेख ]] | ||
*[[ कार्यात्मक सत्यापन ]] | *[[ कार्यात्मक सत्यापन ]] | ||
| Line 58: | Line 57: | ||
{{DEFAULTSORT:Logic Synthesis}} | {{DEFAULTSORT:Logic Synthesis}} | ||
[[Category:Machine Translated Page]] | |||
[[Category:All Wikipedia articles in need of updating|Logic Synthesis]] | |||
[[Category:All articles needing additional references|Logic Synthesis]] | |||
[[Category:All articles with dead external links]] | |||
[[Category:Articles needing additional references from January 2013|Logic Synthesis]] | |||
[[Category:Articles with dead external links from May 2017]] | |||
[[Category:Articles with hatnote templates targeting a nonexistent page|Logic Synthesis]] | |||
[[Category:Articles with invalid date parameter in template|Logic Synthesis]] | |||
[[Category:Articles with permanently dead external links]] | |||
[[Category:Collapse templates|Logic Synthesis]] | |||
[[Category:Commons category link is locally defined|Logic Synthesis]] | |||
[[Category:Navigational boxes| ]] | |||
[[Category:Navigational boxes without horizontal lists|Logic Synthesis]] | |||
[[Category:Pages with script errors|Logic Synthesis]] | |||
[[Category:Sidebars with styles needing conversion|Logic Synthesis]] | |||
[[Category:Template documentation pages|Documentation/doc]] | |||
[[Category:Templates generating microformats|Logic Synthesis]] | |||
[[Category:Templates that are not mobile friendly|Logic Synthesis]] | |||
[[Category:Templates using TemplateData|Logic Synthesis]] | |||
[[Category:Wikipedia articles in need of updating from May 2017|Logic Synthesis]] | |||
[[Category:Wikipedia metatemplates|Logic Synthesis]] | |||
Latest revision as of 09:56, 21 October 2022
 | This article needs additional citations for verification. (January 2013) (Learn how and when to remove this template message) |
कंप्यूटर इंजीनियरिंग में, तर्क संमिश्रण एक ऐसी प्रक्रिया है जिसके द्वारा वांछित परिपथ (इलेक्ट्रॉनिक्स) व्यवहार का एक तत्त्व विनिर्देश,आमतौर पर रजिस्टर स्थानान्तरण लेवल (आरटीएल) पर, तर्क द्वार के संदर्भ में एक नमूना कार्यान्वयन में बदल दिया जाता है। जिसे आमतौर पर एक कंप्यूटर प्रोग्राम द्वारा कहा जाता है। संश्लेषण उपकरण की इस प्रक्रिया के सामान्य उदाहरणों में वीएचडीएल और वेरिलॉग सहित हार्डवेयर विवरण भाषाओं में निर्दिष्ट नमूनाों का संश्लेषण शामिल है।[1]कुछ संश्लेषण उपकरण प्रोग्रामयोग्य तर्क यंत्र के लिए बिटस्ट्रीम उत्पन्न करते हैं जैसे प्रोग्राम योग्य सरणी तर्क याक्षेत्र में प्रोग्राम की जा सकने वाली द्वार श्रंखला , जबकि अन्य ऐसीक यस के निर्माण को लक्षित करते हैं। तर्क संश्लेषण इलेक्ट्रॉनिक नमूना स्वचालन का एक पहलू है।
तर्क संश्लेषण का इतिहास
तर्क संश्लेषण की जड़ेंजॉर्ज बूले (1815 से 1864) द्वारा तर्क के उपचार के लिए खोजी जा सकती हैं। जिसे अब (बूलियन बीजगणित ) तर्क कहा जाता है। 1938 में,क्लाउड एलवुड शैनन ने दिखाया कि दो-मूल्यवान बूलियन बीजगणित स्विचिंग परिपथ के संचालन का वर्णन कर सकते हैं। शुरुआती दिनों में, तर्क नमूना में कर्णघ अभिचित्र के रूप में सत्य सारिणी प्रस्तुतियों में हेरफेर करना शामिल था। कर्णघ नक्शा आधारित तर्क को कम करने के नियमों के एक सेट द्वारा निर्देशित किया जाता है कि नक्शे में प्रविष्टियों को कैसे जोड़ा जा सकता है। एक मानवोचित अभिकल्पक आमतौर पर केवल कर्णघ अभिचित्र के साथ काम कर सकता है जिसमें चार से छह चर होते हैं।
तर्क न्यूनीकरण के स्वचालन की दिशा में पहला कदम क्विन-मैकक्लुस्की कलन विधि की शुरूआत की। थी जिसे कंप्यूटर पर लागू किया जा सकता था। इस सटीक न्यूनीकरण तकनीक ने प्राइम इंप्लिकेंट्स और न्यूनतम लागत कवर की धारणा प्रस्तुत की जो दो-स्तरीय न्यूनीकरण की आधारशिला बन जाएगी। आजकल,अधिक कुशल एस्प्रेसो हेयुरिस्टिक तर्क मिनिमाइज़र इस ऑपरेशन के लिए मानक उपकरण बन गया है।[needs update] प्रारंभिक अन्वेषण का एक अन्य क्षेत्र राज्य के न्यूनतमकरण और परिमित-राज्य मशीनों (एफएसएम) के एन्कोडिंग में था, एक ऐसा कार्य जो अभिकल्पक के लिए अभिशाप था। तर्क संश्लेषण के लिए आवेदन मुख्य रूप से डिजिटल कंप्यूटर नमूने में होते हैं। इसलिए,आईबीएम औरबेल लैब्स ने तर्क संश्लेषण के प्रारंभिक स्वचालन में एक महत्वपूर्ण भूमिका निभाई।असतत तर्क घटकों से प्रोग्राम करने योग्य तर्क सरणियों (पीएलए) के विकास ने कुशल दो-स्तरीय न्यूनतमकरण की आवश्यकता को तेज कर दिया, क्योंकि दो-स्तरीय प्रतिनिधित्व में शर्तों को कम करने से पीएलए में क्षेत्र कम हो जाता है।
हालांकि, बहुत बड़े पैमाने पर एकीकरण (वीएलएसआई) नमूना में दो-स्तरीय तर्क परिपथ सीमित महत्व के हैं; अधिकांश नमूना तर्क के कई स्तरों का उपयोग करते हैं। वास्तव में, आरटीएल या व्यवहार विवरण में लगभग कोई भी परिपथ प्रतिनिधित्व एक बहु-स्तरीय प्रतिनिधित्व है। एक प्रारंभिक प्रणाली जिसका उपयोग बहुस्तरीय परिपथों को नमूना करने के लिए किया गया था, वह आईबीएम से एलएसएस था। इसने तर्क को सरल बनाने के लिए स्थानीय परिवर्तनों का उपयोग किया। एलएसएस और यॉर्कटाउन सिलिकॉन संकलक पर काम ने 1980 के दशक में तर्क संश्लेषण में तेजी से अनुसंधान प्रगति को प्रेरित किया। कई विश्वविद्यालयों ने अपने अन्वेषण को सर्वप्रचलित के लिए उपलब्ध कराने में योगदान दिया, विशेष रूप से कैलिफोर्निया विश्वविद्यालय, बर्कले से एसआईएस, कैलिफोर्निया विश्वविद्यालय, लॉस एंजिल्स से आरएएसपी और कोलोराडो विश्वविद्यालय, बोल्डर से बोल्ड एक दशक के भीतर, प्रौद्योगिकी इलेक्ट्रॉनिक नमूना ऑटोमेशन कंपनियों द्वारा पेश किए गए वाणिज्यिक तर्क संश्लेषण उत्पादों में चली गई।
तर्क अवयव
तर्क अवयव मानक नमूना चक्र में एक चरण है जिसमें विद्युत परिपथ के कार्यात्मक नमूना को प्रतिनिधित्व में परिवर्तित किया जाता है। जो बूलियन बीजगणित (तर्क), अंकगणितीय संचालन, नियंत्रण प्रवाह इत्यादि को कैप्चर करता है। इस चरण का एक सामान्य आउटपुट आरटीएल विवरण है। तर्क नमूना आमतौर पर परिपथ नमूना चरण के बाद होता है। आधुनिक इलेक्ट्रॉनिक नमूना में तर्कल नमूना के ऑटोमेशन भागों को परिपथ के व्यवहार विवरण के आधार पर उच्च स्तरीय संश्लेषण यंत्र का उपयोग करके स्वचालित किया जा सकता है।[2]
तर्क ऑपरेशंस में आमतौर पर बूलियन एंड, और, XOR और NAND ऑपरेशंस शामिल होते हैं, और इलेक्ट्रॉनिक परिपथ में ऑपरेशंस के सबसे बुनियादी रूप होते हैं। अंकगणितीय संचालन आमतौर पर तर्क चालक के उपयोग के साथ कार्यान्वित किए जाते हैं।
उच्च स्तरीय संश्लेषण या व्यवहार संश्लेषण
अभिकल्पक उत्पादकता बढ़ाने के लक्ष्य के साथ, व्यवहार स्तर पर निर्दिष्ट परिपथ के संश्लेषण पर अनुसंधान प्रयासों ने 2004 में व्यावसायिक समाधानों का उदय किया है।[3]जिनका उपयोग जटिल (एएसआईसी) और (एफ़पीजीए) नमूना के लिए किया जाता है। ये उपकरण स्वचालित रूप से उच्च स्तरीय भाषाओं, जैसे एएनएसआई सी/सी++ या सिस्टमसी का उपयोग करके निर्दिष्ट परिपथ को एक रजिस्टर स्थानान्तरण लेवल (आरटीएल) विनिर्देश में संश्लेषित करते हैं। जिसे गेट-स्तरीय तर्क संश्लेषण प्रवाह में इनपुट के रूप में उपयोग किया जा सकता है।[3]उच्च-स्तरीय संश्लेषण का उपयोग करना, जिसे ईएसएल संश्लेषण के रूप में भी जाना जाता है। घड़ी चक्रों और संरचनात्मक घटकों जैसे फ्लोटिंग-पॉइंट एएलयू में काम का आवंटन, एक अनुकूलन प्रक्रिया का उपयोग करके संकलक द्वारा किया जाता है, जबकि आरटीएल तर्क संश्लेषण के साथ (व्यवहार से भी) वेरिलोग या वीएचडीएल, जहां निष्पादन का एक क्रम एक घड़ी चक्र के भीतर एक चर को कई बार पढ़ता और लिखता है वे आवंटन निर्णय पहले ही किए जा चुके हैं।
बहु-स्तरीय तर्क न्यूनीकरण
तर्क फलन के विशिष्ट व्यावहारिक कार्यान्वयन तर्क तत्वों के बहु-स्तरीय नेटवर्क का उपयोग करते हैं। एक नमूना के आरटीएल विवरण से शुरू होकर, संश्लेषण उपकरण एक संबंधित बहुस्तरीयबूलियन नेटवर्क का निर्माण करता है।
इसके बाद, इस नेटवर्क को प्रौद्योगिकी-निर्भर अनुकूलन करने से पहले कई प्रौद्योगिकी-स्वतंत्र तकनीकों का उपयोग करके अनुकूलित किया जाता है। प्रौद्योगिकी-स्वतंत्र ऑप्टिमाइज़ेशन के दौरान विशिष्ट लागत फलन कुल प्रोपोज़िशनल फॉर्मूला लिटरल। 2 सी टर्म और तर्क फलन के फ़ैक्टर प्रतिनिधित्व की वैकल्पिक गणना जो परिपथ क्षेत्र के साथ काफी अच्छी तरह से संबंधित है।
अंत में, प्रौद्योगिकी-निर्भर अनुकूलन प्रौद्योगिकी-स्वतंत्र परिपथ को किसी दिए गए प्रौद्योगिकी में गेट्स के नेटवर्क में बदल देता है। सरल लागत अनुमानों को प्रौद्योगिकी मानचित्रण के दौरान और बाद में अधिक ठोस, कार्यान्वयन-संचालित अनुमानों द्वारा प्रतिस्थापित किया जाता है। मानचित्रण प्रौद्योगिकी पुस्तकालय में उपलब्ध गेट्स तर्क फलन, प्रत्येक गेट के लिए प्रेरित करना आकार, और देरी, विद्युत शक्ति और प्रत्येक गेट की क्षेत्र विशेषताओं जैसे कारकों से विवश है।
यह भी देखें
संदर्भ
- ↑ "Synthesis:Verilog to Gates" (PDF).
- ↑ Naveed A. Sherwani (1999). Algorithms for VLSI physical design automation (3rd ed.). Kluwer Academic Publishers. p. 4. ISBN 978-0-7923-8393-2.
- ↑ 3.0 3.1 EETimes: High-level synthesis rollouts enable ESL[permanent dead link]
- Electronic Design Automation For Integrated Circuits Handbook, by Lavagno, Martin, and Scheffer, ISBN 0-8493-3096-3 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.
अग्रिम पठन
- Burgun, Luc; Greiner, Alain; Prado Lopes Eudes (October 1994). "A Consistent Approach in Logic Synthesis for FPGA Architectures". Proceedings of the International Conference on ASIC (ASICON). Pekin: 104–107.
- Jiang, Jie-Hong "Roland"; Devadas, Srinivas (2009). "Chapter 6: Logic synthesis in a nutshell". In Wang, Laung-Terng; Chang, Yao-Wen; Cheng, Kwang-Ting (eds.). Electronic design automation: synthesis, verification, and test. Morgan Kaufmann. ISBN 978-0-12-374364-0.
- Hachtel, Gary D.; Somenzi, Fabio (2006) [1996]. Logic Synthesis and Verification Algorithms. Springer Science & Business Media. ISBN 0-7923-9746-0.
- Hassoun, Soha; Sasao, Tsutomu, eds. (2002). Logic synthesis and verification. Kluwer. ISBN 978-0-7923-7606-4.
- Perkowski, Marek A.; Grygiel, Stanislaw (1995-11-20). "6. Historical Overview of the Research on Decomposition". A Survey of Literature on Function Decomposition (PDF). Version IV. Functional Decomposition Group, Department of Electrical Engineering, Portland University, Portland, Oregon, USA. CiteSeerX 10.1.1.64.1129. Archived (PDF) from the original on 2021-03-28. Retrieved 2021-03-28. (188 pages)
- Stanković, Radomir S.; Sasao, Tsutomu; Astola, Jaakko T. (August 2001). "Publications in the First Twenty Years of Switching Theory and Logic Design" (PDF). Tampere International Center for Signal Processing (TICSP) Series. Tampere University of Technology / TTKK, Monistamo, Finland. ISSN 1456-2774. S2CID 62319288. #14. Archived (PDF) from the original on 2017-08-09. Retrieved 2021-03-28. (4+60 pages)
बाहरी संबंध
Media related to Logic design at Wikimedia Commons
