तार्किक संकलन: Difference between revisions

Latest revision as of 09:56, 21 October 2022

कंप्यूटर इंजीनियरिंग में, तर्क संमिश्रण एक ऐसी प्रक्रिया है जिसके द्वारा वांछित परिपथ (इलेक्ट्रॉनिक्स) व्यवहार का एक तत्त्व विनिर्देश,आमतौर पर रजिस्टर स्थानान्तरण लेवल (आरटीएल) पर, तर्क द्वार के संदर्भ में एक नमूना कार्यान्वयन में बदल दिया जाता है। जिसे आमतौर पर एक कंप्यूटर प्रोग्राम द्वारा कहा जाता है। संश्लेषण उपकरण की इस प्रक्रिया के सामान्य उदाहरणों में वीएचडीएल और वेरिलॉग सहित हार्डवेयर विवरण भाषाओं में निर्दिष्ट नमूनाों का संश्लेषण शामिल है।^[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 I

[Verilog_2005-1] "Synthesis:Verilog to Gates" (PDF).

[Sherwani_1999-2] Naveed A. Sherwani (1999). Algorithms for VLSI physical design automation (3rd ed.). Kluwer Academic Publishers. p. 4. ISBN 978-0-7923-8393-2.

[EETimes_2017-3] 3.0 ^3.1 EETimes: High-level synthesis rollouts enable ESL^{[permanent dead link]}

[1]

[2]

[3]

@@ Line 1: / Line 1: @@
 {{more citations needed|date=January 2013}}
-{{use dmy dates|date=March 2021|cs1-dates=y}}
+कंप्यूटर इंजीनियरिंग में, तर्क संमिश्रण एक ऐसी प्रक्रिया है जिसके द्वारा वांछित[[ सर्किट (इलेक्ट्रॉनिक्स) | परिपथ (इलेक्ट्रॉनिक्स)]] व्यवहार का एक तत्त्व विनिर्देश,आमतौर पर [[ रजिस्टर ट्रांसफर लेवल |रजिस्टर स्थानान्तरण लेवल]] (आरटीएल) पर, [[ तर्क द्वार |तर्क द्वार]] के संदर्भ में एक नमूना कार्यान्वयन में बदल दिया जाता है। जिसे आमतौर पर एक [[ कंप्यूटर प्रोग्राम ]] द्वारा कहा जाता है। ''संश्लेषण उपकरण की''  इस प्रक्रिया के सामान्य उदाहरणों में [[ वीएचडीएल ]]और वेरिलॉग सहित [[ हार्डवेयर विवरण भाषा | हार्डवेयर विवरण भाषाओं]] में निर्दिष्ट नमूनाों का संश्लेषण शामिल है।<ref name="Verilog_2005"/>कुछ संश्लेषण उपकरण प्रोग्रामयोग्य तर्क यंत्र के लिए [[ बिटस्ट्रीम ]]उत्पन्न करते हैं जैसे प्रोग्राम योग्य सरणी तर्क या[[ क्षेत्र में प्रोग्राम की जा सकने वाली द्वार श्रंखला ]], जबकि अन्य ऐसीक यस  के निर्माण को लक्षित करते हैं। तर्क संश्लेषण [[ इलेक्ट्रॉनिक डिजाइन स्वचालन | इलेक्ट्रॉनिक नमूना स्वचालन]] का एक पहलू है।
-[[ कंप्यूटर इंजीनियरिंग ]] में, लॉजिक सिंथेसिस एक ऐसी प्रक्रिया है जिसके द्वारा वांछित [[ सर्किट (इलेक्ट्रॉनिक्स) ]] व्यवहार का एक सार विनिर्देश, आमतौर पर [[ रजिस्टर ट्रांसफर लेवल ]] (RTL) पर, [[ तर्क द्वार ]] के संदर्भ में एक डिज़ाइन कार्यान्वयन में बदल दिया जाता है, जिसे आमतौर पर एक [[ कंप्यूटर प्रोग्राम ]] द्वारा कहा जाता है। ''संश्लेषण उपकरण''। इस प्रक्रिया के सामान्य उदाहरणों में [[ वीएचडीएल ]] और [[ Verilog ]] सहित [[ हार्डवेयर विवरण भाषा ]]ओं में निर्दिष्ट डिज़ाइनों का संश्लेषण शामिल है।<ref name="Verilog_2005"/>कुछ संश्लेषण उपकरण प्रोग्रामयोग्य तर्क उपकरणों के लिए [[ बिटस्ट्रीम ]] उत्पन्न करते हैं जैसे प्रोग्रामयोग्य सरणी लॉजिक्स या [[ क्षेत्र में प्रोग्राम की जा सकने वाली द्वार श्रंखला ]], जबकि अन्य [[ ASIC ]]s के निर्माण को लक्षित करते हैं। तर्क संश्लेषण [[ इलेक्ट्रॉनिक डिजाइन स्वचालन ]] का एक पहलू है।
 == तर्क संश्लेषण का इतिहास ==
-तर्क संश्लेषण की जड़ें [[ जॉर्ज बूले ]] (1815 से 1864) द्वारा तर्क के उपचार के लिए खोजी जा सकती हैं, जिसे अब [[ [[ बूलियन बीजगणित ]] (तर्क) ]] कहा जाता है। 1938 में, [[ क्लाउड एलवुड शैनन ]] ने दिखाया कि दो-मूल्यवान बूलियन बीजगणित स्विचिंग सर्किट के संचालन का वर्णन कर सकते हैं। शुरुआती दिनों में, तर्क डिजाइन में कर्णघ मानचित्रों के रूप में सत्य तालिका प्रस्तुतियों में हेरफेर करना शामिल था। [[ कर्णघ नक्शा ]]-आधारित तर्क को कम करने के नियमों के एक सेट द्वारा निर्देशित किया जाता है कि नक्शे में प्रविष्टियों को कैसे जोड़ा जा सकता है। एक मानव डिजाइनर आमतौर पर केवल कर्णघ मानचित्रों के साथ काम कर सकता है जिसमें चार से छह चर होते हैं।
+तर्क संश्लेषण की जड़ें[[ जॉर्ज बूले ]] (1815 से 1864) द्वारा तर्क के उपचार के लिए खोजी जा सकती हैं। जिसे अब ([[ बूलियन बीजगणित ]]) तर्क कहा जाता है। 1938 में,[[ क्लाउड एलवुड शैनन ]] ने दिखाया कि दो-मूल्यवान बूलियन बीजगणित स्विचिंग परिपथ के संचालन का वर्णन कर सकते हैं। शुरुआती दिनों में, तर्क नमूना  में कर्णघ अभिचित्र  के रूप में सत्य सारिणी प्रस्तुतियों में हेरफेर करना शामिल था। [[ कर्णघ नक्शा ]]आधारित तर्क को कम करने के नियमों के एक सेट द्वारा निर्देशित किया जाता है कि नक्शे में प्रविष्टियों को कैसे जोड़ा जा सकता है। एक मानवोचित अभिकल्पक आमतौर पर केवल कर्णघ अभिचित्र के साथ काम कर सकता है जिसमें चार से छह चर होते हैं।
-[[ तर्क न्यूनीकरण ]] के स्वचालन की दिशा में पहला कदम क्विन-मैकक्लुस्की एल्गोरिथम की शुरूआत थी जिसे कंप्यूटर पर लागू किया जा सकता था। इस सटीक न्यूनीकरण तकनीक ने प्राइम इंप्लिकेंट्स और न्यूनतम लागत कवर की धारणा प्रस्तुत की जो [[ दो-स्तरीय न्यूनीकरण ]] की आधारशिला बन जाएगी। आजकल, अधिक कुशल [[ एस्प्रेसो हेयुरिस्टिक लॉजिक मिनिमाइज़र ]] इस ऑपरेशन के लिए मानक उपकरण बन गया है।{{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 के दशक में तर्क संश्लेषण में तेजी से अनुसंधान प्रगति को प्रेरित किया। कई विश्वविद्यालयों ने अपने शोध को जनता के लिए उपलब्ध कराने में योगदान दिया, विशेष रूप से कैलिफोर्निया विश्वविद्यालय, बर्कले से एसआईएस, कैलिफोर्निया विश्वविद्यालय, लॉस एंजिल्स से आरएएसपी और कोलोराडो विश्वविद्यालय, बोल्डर से बोल्ड। एक दशक के भीतर, प्रौद्योगिकी इलेक्ट्रॉनिक डिजाइन ऑटोमेशन कंपनियों द्वारा पेश किए गए वाणिज्यिक तर्क संश्लेषण उत्पादों में चली गई।
+हालांकि, बहुत [[ बड़े पैमाने पर एकीकरण ]] (वीएलएसआई) नमूना में दो-स्तरीय तर्क परिपथ सीमित महत्व के हैं; अधिकांश नमूना तर्क के कई स्तरों का उपयोग करते हैं। वास्तव में, आरटीएल या व्यवहार विवरण में लगभग कोई भी परिपथ प्रतिनिधित्व एक बहु-स्तरीय प्रतिनिधित्व है। एक प्रारंभिक प्रणाली जिसका उपयोग बहुस्तरीय परिपथों को नमूना करने के लिए किया गया था, वह आईबीएम से एलएसएस था। इसने तर्क को सरल बनाने के लिए स्थानीय परिवर्तनों का उपयोग किया। एलएसएस और यॉर्कटाउन सिलिकॉन संकलक पर काम ने 1980 के दशक में तर्क संश्लेषण में तेजी से अनुसंधान प्रगति को प्रेरित किया। कई विश्वविद्यालयों ने अपने अन्वेषण को सर्वप्रचलित के लिए उपलब्ध कराने में योगदान दिया, विशेष रूप से कैलिफोर्निया विश्वविद्यालय, बर्कले से एसआईएस, कैलिफोर्निया विश्वविद्यालय, लॉस एंजिल्स से आरएएसपी और कोलोराडो विश्वविद्यालय, बोल्डर से बोल्ड एक दशक के भीतर, प्रौद्योगिकी इलेक्ट्रॉनिक नमूना ऑटोमेशन कंपनियों द्वारा पेश किए गए वाणिज्यिक तर्क संश्लेषण उत्पादों में चली गई।
-==तर्क तत्व==
+==तर्क अवयव==
-लॉजिक डिज़ाइन मानक डिज़ाइन चक्र में एक चरण है जिसमें [[ विद्युत सर्किट ]] के कार्यात्मक डिज़ाइन को प्रतिनिधित्व में परिवर्तित किया जाता है जो बूलियन बीजगणित (तर्क), अंकगणितीय संचालन, नियंत्रण प्रवाह इत्यादि को कैप्चर करता है। इस चरण का एक सामान्य आउटपुट [[ आरटीएल विवरण ]] है। तर्क डिजाइन आमतौर पर [[ सर्किट डिज़ाइन ]] चरण के बाद होता है। आधुनिक इलेक्ट्रॉनिक डिजाइन में लॉजिकल डिजाइन के ऑटोमेशन भागों को सर्किट के व्यवहार विवरण के आधार पर [[ उच्च स्तरीय संश्लेषण ]] उपकरणों का उपयोग करके स्वचालित किया जा सकता है।<ref name="Sherwani_1999"/>
+तर्क अवयव मानक नमूना चक्र में एक चरण है जिसमें [[ विद्युत सर्किट | विद्युत परिपथ]] के कार्यात्मक नमूना को प्रतिनिधित्व में परिवर्तित किया जाता है। जो बूलियन बीजगणित (तर्क), अंकगणितीय संचालन, नियंत्रण प्रवाह इत्यादि को कैप्चर करता है। इस चरण का एक सामान्य आउटपुट [[ आरटीएल विवरण ]] है। तर्क नमूना आमतौर पर[[ सर्किट डिज़ाइन | परिपथ नमूना]] चरण के बाद होता है। आधुनिक इलेक्ट्रॉनिक नमूना में तर्कल नमूना के ऑटोमेशन भागों को परिपथ के व्यवहार विवरण के आधार पर [[ उच्च स्तरीय संश्लेषण ]] यंत्र का उपयोग करके स्वचालित किया जा सकता है।<ref name="Sherwani_1999"/>
 [[Image:Baops.gif|right|thumb|450px|बूलियन संचालन के विभिन्न अभ्यावेदन]]
-लॉजिक ऑपरेशंस में आमतौर पर बूलियन AND, OR, XOR और NAND ऑपरेशंस शामिल होते हैं, और इलेक्ट्रॉनिक सर्किट में ऑपरेशंस के सबसे बुनियादी रूप होते हैं। अंकगणितीय संचालन आमतौर पर तर्क ऑपरेटरों के उपयोग के साथ कार्यान्वित किए जाते हैं।
+तर्क ऑपरेशंस में आमतौर पर बूलियन एंड, और, XOR और NAND ऑपरेशंस शामिल होते हैं, और इलेक्ट्रॉनिक परिपथ में ऑपरेशंस के सबसे बुनियादी रूप होते हैं। अंकगणितीय संचालन आमतौर पर तर्क चालक के उपयोग के साथ कार्यान्वित किए जाते हैं।
 ==उच्च स्तरीय संश्लेषण या व्यवहार संश्लेषण==
-{{Main|High-level synthesis}}
+{{Main|उच्च स्तरीय संश्लेषण}}
-डिजाइनर उत्पादकता बढ़ाने के लक्ष्य के साथ, व्यवहार स्तर पर निर्दिष्ट सर्किट के संश्लेषण पर अनुसंधान प्रयासों ने 2004 में व्यावसायिक समाधानों का उदय किया है,<ref name="EETimes_2017"/>जिनका उपयोग जटिल ASIC और FPGA डिज़ाइन के लिए किया जाता है। ये उपकरण स्वचालित रूप से उच्च स्तरीय भाषाओं, जैसे एएनएसआई सी/सी++ या सिस्टमसी का उपयोग करके निर्दिष्ट सर्किट को एक रजिस्टर ट्रांसफर लेवल (आरटीएल) विनिर्देश में संश्लेषित करते हैं, जिसे गेट-स्तरीय तर्क संश्लेषण प्रवाह में इनपुट के रूप में उपयोग किया जा सकता है।<ref name="EETimes_2017"/>उच्च-स्तरीय संश्लेषण का उपयोग करना, जिसे ईएसएल संश्लेषण के रूप में भी जाना जाता है, घड़ी चक्रों और संरचनात्मक घटकों जैसे फ्लोटिंग-पॉइंट एएलयू में काम का आवंटन, एक अनुकूलन प्रक्रिया का उपयोग करके संकलक द्वारा किया जाता है, जबकि आरटीएल तर्क संश्लेषण के साथ (व्यवहार से भी) वेरिलोग या वीएचडीएल, जहां निष्पादन का एक धागा एक घड़ी चक्र के भीतर एक चर को कई बार पढ़ता और लिखता है) वे आवंटन निर्णय पहले ही किए जा चुके हैं।
+अभिकल्पक उत्पादकता बढ़ाने के लक्ष्य के साथ, व्यवहार स्तर पर निर्दिष्ट परिपथ के संश्लेषण पर अनुसंधान प्रयासों ने 2004 में व्यावसायिक समाधानों का उदय किया है।<ref name="EETimes_2017"/>जिनका उपयोग जटिल (एएसआईसी) और (एफ़पीजीए)  नमूना के लिए किया जाता है। ये उपकरण स्वचालित रूप से उच्च स्तरीय भाषाओं, जैसे एएनएसआई सी/सी++ या सिस्टमसी का उपयोग करके निर्दिष्ट परिपथ को एक रजिस्टर स्थानान्तरण लेवल (आरटीएल) विनिर्देश में संश्लेषित करते हैं। जिसे गेट-स्तरीय तर्क संश्लेषण प्रवाह में इनपुट के रूप में उपयोग किया जा सकता है।<ref name="EETimes_2017"/>उच्च-स्तरीय संश्लेषण का उपयोग करना, जिसे ईएसएल संश्लेषण के रूप में भी जाना जाता है। घड़ी चक्रों और संरचनात्मक घटकों जैसे फ्लोटिंग-पॉइंट एएलयू में काम का आवंटन, एक अनुकूलन प्रक्रिया का उपयोग करके संकलक द्वारा किया जाता है, जबकि आरटीएल तर्क संश्लेषण के साथ (व्यवहार से भी) वेरिलोग या वीएचडीएल, जहां निष्पादन का एक क्रम एक घड़ी चक्र के भीतर एक चर को कई बार पढ़ता और लिखता है वे आवंटन निर्णय पहले ही किए जा चुके हैं।
 ==बहु-स्तरीय तर्क न्यूनीकरण==
-{{see also|Logic optimization|Circuit minimization}}
+{{see also|तर्क अनुकूलन|परिपथ न्यूनीकरण}}
-तर्क फ़ंक्शन के विशिष्ट व्यावहारिक कार्यान्वयन तर्क तत्वों के बहु-स्तरीय नेटवर्क का उपयोग करते हैं। एक डिजाइन के आरटीएल विवरण से शुरू होकर, संश्लेषण उपकरण एक संबंधित बहुस्तरीय [[ बूलियन नेटवर्क ]] का निर्माण करता है।
+तर्क फलन के विशिष्ट व्यावहारिक कार्यान्वयन तर्क तत्वों के बहु-स्तरीय नेटवर्क का उपयोग करते हैं। एक नमूना के आरटीएल विवरण से शुरू होकर, संश्लेषण उपकरण एक संबंधित बहुस्तरीय[[ बूलियन नेटवर्क ]]का निर्माण करता है।
-इसके बाद, इस नेटवर्क को प्रौद्योगिकी-निर्भर अनुकूलन करने से पहले कई प्रौद्योगिकी-स्वतंत्र तकनीकों का उपयोग करके अनुकूलित किया जाता है। प्रौद्योगिकी-स्वतंत्र ऑप्टिमाइज़ेशन के दौरान विशिष्ट लागत फ़ंक्शन कुल प्रोपोज़िशनल फॉर्मूला # लिटरल। 2 सी टर्म और लॉजिक फ़ंक्शन के फ़ैक्टर प्रतिनिधित्व की वैकल्पिक गणना (जो सर्किट क्षेत्र के साथ काफी अच्छी तरह से संबंधित है)।
+इसके बाद, इस नेटवर्क को प्रौद्योगिकी-निर्भर अनुकूलन करने से पहले कई प्रौद्योगिकी-स्वतंत्र तकनीकों का उपयोग करके अनुकूलित किया जाता है। प्रौद्योगिकी-स्वतंत्र ऑप्टिमाइज़ेशन के दौरान विशिष्ट लागत फलन कुल प्रोपोज़िशनल फॉर्मूला लिटरल। 2 सी टर्म और तर्क फलन के फ़ैक्टर प्रतिनिधित्व की वैकल्पिक गणना जो परिपथ क्षेत्र के साथ काफी अच्छी तरह से संबंधित है।
-अंत में, प्रौद्योगिकी-निर्भर अनुकूलन प्रौद्योगिकी-स्वतंत्र सर्किट को किसी दिए गए प्रौद्योगिकी में गेट्स के नेटवर्क में बदल देता है। सरल लागत अनुमानों को प्रौद्योगिकी मानचित्रण के दौरान और बाद में अधिक ठोस, कार्यान्वयन-संचालित अनुमानों द्वारा प्रतिस्थापित किया जाता है। मानचित्रण प्रौद्योगिकी पुस्तकालय में उपलब्ध गेट्स (लॉजिक फ़ंक्शंस), प्रत्येक गेट के लिए ड्राइव आकार, और देरी, [[ विद्युत शक्ति ]] और प्रत्येक गेट की क्षेत्र विशेषताओं जैसे कारकों से विवश है।
+अंत में, प्रौद्योगिकी-निर्भर अनुकूलन प्रौद्योगिकी-स्वतंत्र परिपथ को किसी दिए गए प्रौद्योगिकी में गेट्स के नेटवर्क में बदल देता है। सरल लागत अनुमानों को प्रौद्योगिकी मानचित्रण के दौरान और बाद में अधिक ठोस, कार्यान्वयन-संचालित अनुमानों द्वारा प्रतिस्थापित किया जाता है। मानचित्रण प्रौद्योगिकी पुस्तकालय में उपलब्ध गेट्स तर्क फलन, प्रत्येक गेट के लिए प्रेरित करना आकार, और देरी, [[ विद्युत शक्ति ]]और प्रत्येक गेट की क्षेत्र विशेषताओं जैसे कारकों से विवश है।
 ==यह भी देखें==
-*[[ सिलिकॉन संकलक ]]
+*[[ सिलिकॉन संकलक | सिलिकॉन संकलक]]
 *[[ द्विआधारी निर्णय आरेख ]]
 *[[ कार्यात्मक सत्यापन ]]
@@ Line 58: / Line 57: @@
 {{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]]

Anonymous

Search

तार्किक संकलन: Difference between revisions

Namespaces

More

Page actions