This HTML5 document contains 138 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

Prefix	IRI
n16	http://ticsp.cs.tut.fi/images/a/a5/
dbpedia-de	http://de.dbpedia.org/resource/
dcterms	http://purl.org/dc/terms/
dbo	http://dbpedia.org/ontology/
n22	http://dbpedia.org/resource/File:
foaf	http://xmlns.com/foaf/0.1/
n19	https://global.dbpedia.org/id/
dbpedia-ru	http://ru.dbpedia.org/resource/
dbt	http://dbpedia.org/resource/Template:
n20	http://web.cecs.pdx.edu/~mperkows/=PUBLICATIONS/PER/G1995/
dbpedia-uk	http://uk.dbpedia.org/resource/
rdfs	http://www.w3.org/2000/01/rdf-schema#
freebase	http://rdf.freebase.com/ns/
dbpedia-sr	http://sr.dbpedia.org/resource/
dbpedia-el	http://el.dbpedia.org/resource/
dbpedia-pt	http://pt.dbpedia.org/resource/
n33	http://bn.dbpedia.org/resource/
dbpedia-fi	http://fi.dbpedia.org/resource/
dbpedia-fa	http://fa.dbpedia.org/resource/
n28	http://commons.wikimedia.org/wiki/Special:FilePath/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
dbpedia-ar	http://ar.dbpedia.org/resource/
owl	http://www.w3.org/2002/07/owl#
dbpedia-zh	http://zh.dbpedia.org/resource/
n31	https://web.archive.org/web/20210328181709/http:/web.cecs.pdx.edu/~mperkows/=PUBLICATIONS/PER/G1995/
dbpedia-fr	http://fr.dbpedia.org/resource/
wikipedia-en	http://en.wikipedia.org/wiki/
dbp	http://dbpedia.org/property/
dbc	http://dbpedia.org/resource/Category:
prov	http://www.w3.org/ns/prov#
xsdh	http://www.w3.org/2001/XMLSchema#
gold	http://purl.org/linguistics/gold/
wikidata	http://www.wikidata.org/entity/
dbr	http://dbpedia.org/resource/
n29	https://web.archive.org/web/20170809064702/http:/ticsp.cs.tut.fi/images/a/a5/
dbpedia-ja	http://ja.dbpedia.org/resource/

Statements

Subject Item

dbr:Logic_synthesis

rdf:type

owl:Thing dbo:Election

rdfs:label

Синтез логіки Logiksynthese Logic synthesis 逻辑综合 Логический синтез Λογική Σχεδίαση 論理合成 Synthèse logique Síntese lógica تصميم منطقي

rdfs:comment

В електроніці, синтез логіки — процес за допомогою якого абстрактний опис бажаної поведінки електронної схеми, як правило на рівні передачі регістрів (англ. Register-transfer level, RTL), перетворюється на конструкторську реалізацію в термінах логічних вентилів, як правило за допомогою комп'ютерної програми, що відноситься до класу засобів синтезування (англ. synthesis tool). Типовим прикладом цієї процедури є синтез проєктів, описаних мовами опису апаратури (англ. hardware description language), до яких відносяться VHDL та Verilog. Деякі засоби синтезування генерують бітові потоки для ПЛІС компонентів таких як PAL або FPGA, в той час як інші мають на меті створювати ASIC компоненти. Синтез логіки є одним із аспектів автоматизації проєктування електронних систем. En électronique, la synthèse logique (anglais : RTL synthesis) est la traduction d'une forme abstraite de description du comportement d'un circuit (voir Register Transfer Level) en sa réalisation concrète sous forme de portes logiques. Le point de départ peut être un langage de description de matériel comme VHDL ou Verilog, un schéma logique du circuit. D'autres sources sont venues s'additionner depuis les années 2010, comme l'utilisation de la programmation en OpenCL. Le point d'arrivée peut être un code objet pour un CPLD ou FPGA ou la création d'un ASIC. 論理合成（ろんりごうせい、英: logic synthesis）は、抽象的な回路の動作に関する記述（レジスタ転送レベルなど）から論理回路の実装設計を行う工程である。一般にVHDLやVerilogなどのハードウェア記述言語が使われる。ツールによっては、PAL や FPGA といったプログラマブルロジックデバイス向けの を生成する。また、ASIC向けの生成を行うツールもある。論理合成はEDAの一部である。 Die Logiksynthese ist ein Bereich der technischen Informatik und Elektrotechnik/Nachrichtentechnik, der sich mit dem Entwurf von elektronischen Schaltungen beschäftigt, die eine boolesche Funktion realisieren. Basis ist die boolesche Algebra. Ziel ist es, aus den vielen Möglichkeiten zur Realisierung einer Booleschen Funktion die kostengünstigste zu finden. Für die Realisierung von Booleschen Funktionen durch ein PLA bedeutet kostengünstig, eine Boolesche Funktion mit möglichst wenig Zeilen (entsprechend den Monomen des Booleschen Ausdrucks) sowie insgesamt möglichst wenig Transistoren pro Zeile (entsprechend den Literalen des Booleschen Ausdrucks) zu finden. Dies wird mit dem Verfahren nach Quine und McCluskey oder der veralteten Methode des Karnaugh-Veitch-Diagramms erreicht. Логический синтез в электронике — процесс получения списка соединений логических вентилей из абстрактной модели поведения логической схемы (например, на уровне регистровых передач). Наиболее распространенный пример этого процесса — синтез спецификаций, написанных на языках описания аппаратуры. Синтез выполняют программы-синтезаторы, способные оптимизировать проект согласно различным особенностям устройства, таким как временные ограничения, площадь и используемые компоненты. Такие программы обычно специализируются на генерации битовых потоков для программируемой логики или создании интегральных схем специального назначения. Логический синтез является составной частью автоматизации проектирования электронных приборов. A síntese lógica é uma das etapas na produção de um IPcore. A partir de um algoritmo escrito em uma HDL (linguagem de descrição de hardware), o objetivo dessa atividade é refinar o código implementado, através da transformação de um código RTL (register transfer level) para o nível de portas lógicas. Essa atividade pode ser realizada manualmente ou usando ferramentas de síntese. As etapas são: refinamento do código RTL para o nível de Netlist e execução de verificação para eliminar os erros da sintetização. O artefato de entrada é o componente em RTL. O artefato de saída é a componente de Netlist. التصميم المنطقي (Logic Design) أو التصميم الرقمي (Digital Design) هو علم متخصص بالدوائر الإلكترونية الرقمية، التي تُستخدم في تصميم نظم كالحواسيب الرقمية (digital computers) والآلات الحاسبة الإلكترونيـة (electronic calculators) ومعدات الاتصال الرقمية وتطبيقات أخرى عديدة تتطلب معدات رقمية إلكترونية. Στη λογική σχεδίαση επιχειρείται είτε με τους κανόνες της άλγεβρας Boole είτε με τα (Karnaugh map) να μετασχηματιστεί ένα κύκλωμα του οποίου έχουμε δημιουργήσει τον πίνακα αληθείας σε ένα είτε πιο απλό είτε διαφορετικής υλοποίησης (με διαφορετικές λογικές πύλες). Σκοπός της λογικής σχεδίασης είναι η αξιοποίηση της άλγεβρας Μπουλ για την περιγραφή της λειτουργίας ενός ηλεκτρονικού συνήθως κυκλώματος. Κάθε στοιχείο στο φυσικό κύκλωμα έχει ακριβώς δύο επιτρεπτές καταστάσεις, οι οποίες συμβολίζονται με 0 και 1. In computer engineering, logic synthesis is a process by which an abstract specification of desired circuit behavior, typically at register transfer level (RTL), is turned into a design implementation in terms of logic gates, typically by a computer program called a synthesis tool. Common examples of this process include synthesis of designs specified in hardware description languages, including VHDL and Verilog. Some synthesis tools generate bitstreams for programmable logic devices such as PALs or FPGAs, while others target the creation of ASICs. Logic synthesis is one aspect of electronic design automation. 在集成电路设计中，邏輯合成（英語：logic synthesis）是所设计数字电路的高抽象级描述，经过布尔函数化简、优化后，转换到的逻辑门级别的电路连线网表的过程。

rdfs:seeAlso

dbr:Logic_optimization

foaf:depiction

n28:Baops.gif

dcterms:subject

dbc:Electronic_design dbc:Computer_engineering dbc:Electronic_design_automation dbc:Logic_design dbc:Digital_electronics dbc:Electronic_engineering

dbo:wikiPageID

1082894

dbo:wikiPageRevisionID

1118365113

dbo:wikiPageWikiLink

dbc:Electronic_design dbr:Boolean_network dbr:Boolean_algebra dbr:University_of_Colorado,_Boulder dbr:Quine–McCluskey_algorithm dbr:Computer_engineering dbr:George_Boole dbr:Very-large-scale_integration dbr:Electric_power dbr:Claude_Elwood_Shannon dbr:Logic_minimization dbc:Computer_engineering dbr:Discrete_logic dbr:Bitstream dbr:Two-level_minimization dbr:Boolean_differential_calculus dbr:High-level_synthesis dbr:University_of_California,_Los_Angeles dbr:Propositional_formula dbr:Functional_design dbr:Boolean_algebra_(logic) dbr:Programmable_logic_array dbr:Truth_table dbr:Programmable_logic_device dbr:Control_flow dbr:University_of_California,_Berkeley dbr:Circuit_(electronics) dbr:Electronic_design_automation dbr:Verilog n22:Baops.gif dbr:Silicon_compiler dbc:Logic_design dbr:Electronic_circuit dbr:Binary_decision_diagram dbr:Karnaugh_map dbc:Electronic_design_automation dbr:Circuit_design dbc:Electronic_engineering dbr:Field-programmable_gate_array dbr:Bell_Labs dbr:Logic_gates dbc:Digital_electronics dbr:Functional_verification dbr:Computer_program dbr:Programmable_array_logic dbr:Springer_Science_&_Business_Media dbr:ASIC dbr:IBM dbr:Register_transfer_level dbr:Hardware_Description_Language dbr:Espresso_heuristic_logic_minimizer dbr:Arithmetic_operations dbr:VHDL dbr:Finite-state_machine dbr:RTL_description

dbo:wikiPageExternalLink

n16:Stari-radovi-report.pdf n20:survey.pdf n29:Stari-radovi-report.pdf n31:survey.pdf

owl:sameAs

dbpedia-de:Logiksynthese dbpedia-ja:論理合成 dbpedia-sr:Логичка_синтеза dbpedia-fi:Logiikkasynteesi dbpedia-zh:逻辑综合 dbpedia-fa:سنتز_منطق n19:gsP4 dbpedia-pt:Síntese_lógica dbpedia-ru:Логический_синтез dbpedia-el:Λογική_Σχεδίαση wikidata:Q173198 dbpedia-uk:Синтез_логіки dbpedia-ar:تصميم_منطقي n33:লজিক_ডিজাইন dbpedia-fr:Synthèse_logique freebase:m.044hrz

dbp:wikiPageUsesTemplate

dbt:Digital_systems dbt:Reflist dbt:Use_dmy_dates dbt:Commonscatinline dbt:Update_inline dbt:ISBN dbt:See_also dbt:Cite_journal dbt:Cite_web dbt:More_citations_needed dbt:Cite_book dbt:Main

dbo:thumbnail

n28:Baops.gif?width=300

dbp:cs1Dates

y

dbp:date

March 2021 May 2017

dbp:reason

This correctly describes the situation around 1995. We need to expand this to include the changes of the past twenty years, however.

dbo:abstract

التصميم المنطقي (Logic Design) أو التصميم الرقمي (Digital Design) هو علم متخصص بالدوائر الإلكترونية الرقمية، التي تُستخدم في تصميم نظم كالحواسيب الرقمية (digital computers) والآلات الحاسبة الإلكترونيـة (electronic calculators) ومعدات الاتصال الرقمية وتطبيقات أخرى عديدة تتطلب معدات رقمية إلكترونية. Логический синтез в электронике — процесс получения списка соединений логических вентилей из абстрактной модели поведения логической схемы (например, на уровне регистровых передач). Наиболее распространенный пример этого процесса — синтез спецификаций, написанных на языках описания аппаратуры. Синтез выполняют программы-синтезаторы, способные оптимизировать проект согласно различным особенностям устройства, таким как временные ограничения, площадь и используемые компоненты. Такие программы обычно специализируются на генерации битовых потоков для программируемой логики или создании интегральных схем специального назначения. Логический синтез является составной частью автоматизации проектирования электронных приборов. 論理合成（ろんりごうせい、英: logic synthesis）は、抽象的な回路の動作に関する記述（レジスタ転送レベルなど）から論理回路の実装設計を行う工程である。一般にVHDLやVerilogなどのハードウェア記述言語が使われる。ツールによっては、PAL や FPGA といったプログラマブルロジックデバイス向けの を生成する。また、ASIC向けの生成を行うツールもある。論理合成はEDAの一部である。 В електроніці, синтез логіки — процес за допомогою якого абстрактний опис бажаної поведінки електронної схеми, як правило на рівні передачі регістрів (англ. Register-transfer level, RTL), перетворюється на конструкторську реалізацію в термінах логічних вентилів, як правило за допомогою комп'ютерної програми, що відноситься до класу засобів синтезування (англ. synthesis tool). Типовим прикладом цієї процедури є синтез проєктів, описаних мовами опису апаратури (англ. hardware description language), до яких відносяться VHDL та Verilog. Деякі засоби синтезування генерують бітові потоки для ПЛІС компонентів таких як PAL або FPGA, в той час як інші мають на меті створювати ASIC компоненти. Синтез логіки є одним із аспектів автоматизації проєктування електронних систем. In computer engineering, logic synthesis is a process by which an abstract specification of desired circuit behavior, typically at register transfer level (RTL), is turned into a design implementation in terms of logic gates, typically by a computer program called a synthesis tool. Common examples of this process include synthesis of designs specified in hardware description languages, including VHDL and Verilog. Some synthesis tools generate bitstreams for programmable logic devices such as PALs or FPGAs, while others target the creation of ASICs. Logic synthesis is one aspect of electronic design automation. 在集成电路设计中，邏輯合成（英語：logic synthesis）是所设计数字电路的高抽象级描述，经过布尔函数化简、优化后，转换到的逻辑门级别的电路连线网表的过程。 Die Logiksynthese ist ein Bereich der technischen Informatik und Elektrotechnik/Nachrichtentechnik, der sich mit dem Entwurf von elektronischen Schaltungen beschäftigt, die eine boolesche Funktion realisieren. Basis ist die boolesche Algebra. Ziel ist es, aus den vielen Möglichkeiten zur Realisierung einer Booleschen Funktion die kostengünstigste zu finden. Für die Realisierung von Booleschen Funktionen durch ein PLA bedeutet kostengünstig, eine Boolesche Funktion mit möglichst wenig Zeilen (entsprechend den Monomen des Booleschen Ausdrucks) sowie insgesamt möglichst wenig Transistoren pro Zeile (entsprechend den Literalen des Booleschen Ausdrucks) zu finden. Dies wird mit dem Verfahren nach Quine und McCluskey oder der veralteten Methode des Karnaugh-Veitch-Diagramms erreicht. Für FPGAs ist die Aufgabenstellung komplexer, da dieselbe Funktion aus verschiedenen Grundelementen des FPGA realisiert werden kann. Beispielsweise kann ein 4-Bit-Schieberegister aus: * 4 Flipflops oder * einem SRL16-Makro (16 bit Schieberegister) oder * einem SRAM-Block realisiert werden. Fasst man die Funktion des Schieberegisters allgemeiner und benutzt dieses zur Parallel-Seriell-Wandlung sind weitere Realisierungsmöglichkeiten möglich: * Multiplexer mit 2-Bit-Zähler * Multiplizierer-Block Für eine optimale Lösung sind hierbei die logischen Gleichungen um Randbedingungen (engl. constraints) zu ergänzen.Bei der Entwicklung von digitalen integrierten Schaltkreisen, wie zum Beispiel Mikroprozessoren, ist die Logiksynthese einer von mehreren Entwurfsschritten. A síntese lógica é uma das etapas na produção de um IPcore. A partir de um algoritmo escrito em uma HDL (linguagem de descrição de hardware), o objetivo dessa atividade é refinar o código implementado, através da transformação de um código RTL (register transfer level) para o nível de portas lógicas. Essa atividade pode ser realizada manualmente ou usando ferramentas de síntese. As etapas são: refinamento do código RTL para o nível de Netlist e execução de verificação para eliminar os erros da sintetização. O artefato de entrada é o componente em RTL. O artefato de saída é a componente de Netlist. Στη λογική σχεδίαση επιχειρείται είτε με τους κανόνες της άλγεβρας Boole είτε με τα (Karnaugh map) να μετασχηματιστεί ένα κύκλωμα του οποίου έχουμε δημιουργήσει τον πίνακα αληθείας σε ένα είτε πιο απλό είτε διαφορετικής υλοποίησης (με διαφορετικές λογικές πύλες). Σκοπός της λογικής σχεδίασης είναι η αξιοποίηση της άλγεβρας Μπουλ για την περιγραφή της λειτουργίας ενός ηλεκτρονικού συνήθως κυκλώματος. Η λογική σχεδίαση δε μελετά φυσικό κύκλωμα, αλλά λογικό, δηλαδή μια αφηρημένη αντίληψη του φυσικού στην οποία έχουν επισημανθεί τα χαρακτηριστικά που χρειάζονται για την εφαρμογή της άλγεβρας Μπουλ. Κάθε στοιχείο στο φυσικό κύκλωμα έχει ακριβώς δύο επιτρεπτές καταστάσεις, οι οποίες συμβολίζονται με 0 και 1. Ένα λογικό κύκλωμα αποτελείται από (λογικές) πύλες και . Οι λογικές πύλες αντιστοιχούν στα φυσικά εξαρτήματα, ενώ οι μεταβλητές στους φορείς των καταστάσεων που συνδέουν τα εξαρτήματα. Το φυσικό εξάρτημα στο οποίο αντιστοιχεί η πύλη λειτουργεί αντίστοιχα με τη λογική πύλη, δηλαδή για τις αντίστοιχες τιμές των μεταβλητών που εισάγονται εξάγονται οι αντίστοιχες τιμές που προβλέπει η λογική πύλη. Ουσιαστικά όλο το κύκλωμα είναι μια λογική συνάρτηση, όπου λαμβάνει ως είσοδο (ανεξάρτητη μεταβλητή) μια σειρά από ερεθίσματα (ακολουθία από 0 και 1) και παράγει ως έξοδο (εξαρτημένη μεταβλητή) μια άλλη σειρά από ερεθίσματα. Σημαντική διαφορά με άλλες συναρτήσεις είναι ότι μερικά κυκλώματα θυμούνται προηγούμενες τιμές, ώστε η εξαρτημένη μεταβλητή να μην εξαρτάται αποκλειστικά από την είσοδο που δέχεται εκείνη τη στιγμή το κύκλωμα. Η είσοδος εξαρτάται από διάφορους μηχανισμούς, ενώ η έξοδος κινητοποιεί διάφορους άλλους μηχανισμούς. Ο σκοπός του κυκλώματος είναι με κατάλληλη επεξεργασία της εισόδου να αποφασίσει πώς πρέπει να αντιδράσει η κατασκευή, η μηχανή ή ότι άλλο ελέγχει το κύκλωμα. Για παράδειγμα σε ένα εργοστάσιο ένα λογικό κύκλωμα μπορεί να αποφασίζει ανάλογα με τα αποθέματα την ταχύτητα της παραγωγής. Έτσι, λειτουργεί ο μικροεπεξεργαστής στους υπολογιστές, όπως και τα υπόλοιπα ολοκληρωμένα κυκλώματα. Τα λογικά κυκλώματα υλοποιούνται συνήθως με κρυσταλλοτριόδους. Εναλλακτικά μπορεί να χρησιμοποιηθεί ηλεκτρονόμος ή οποιοδήποτε άλλο είδος αυτόματου διακόπτη. En électronique, la synthèse logique (anglais : RTL synthesis) est la traduction d'une forme abstraite de description du comportement d'un circuit (voir Register Transfer Level) en sa réalisation concrète sous forme de portes logiques. Le point de départ peut être un langage de description de matériel comme VHDL ou Verilog, un schéma logique du circuit. D'autres sources sont venues s'additionner depuis les années 2010, comme l'utilisation de la programmation en OpenCL. Le point d'arrivée peut être un code objet pour un CPLD ou FPGA ou la création d'un ASIC.

gold:hypernym

dbr:Process

prov:wasDerivedFrom

wikipedia-en:Logic_synthesis?oldid=1118365113&ns=0

dbo:wikiPageLength

11110

foaf:isPrimaryTopicOf

wikipedia-en:Logic_synthesis