About: A SOP Minimizer for Logic Functions Described by Many Product Terms Based on Ternary Trees

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: A SOP Minimizer for Logic Functions Described by Many Product Terms Based on Ternary Trees Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description	We introduce a new efficient minimization method for functions described by many (up to millions) product terms. The algorithm is based on processing a newly proposed efficient representation of a set of product terms - a ternary tree. The minimization procedure is based on a fast application of basic Boolean operations upon the ternary tree, combined with algorithms used in the Espresso minimizer. Minimization of incompletely specified functions is supported as well. The minimization method was tested on randomly generated large sums-of-products and collapsed ISCAS benchmark circuits. The performance of the proposed algorithm was compared with Espresso. We introduce a new efficient minimization method for functions described by many (up to millions) product terms. The algorithm is based on processing a newly proposed efficient representation of a set of product terms - a ternary tree. The minimization procedure is based on a fast application of basic Boolean operations upon the ternary tree, combined with algorithms used in the Espresso minimizer. Minimization of incompletely specified functions is supported as well. The minimization method was tested on randomly generated large sums-of-products and collapsed ISCAS benchmark circuits. The performance of the proposed algorithm was compared with Espresso. (en)
Title	A SOP Minimizer for Logic Functions Described by Many Product Terms Based on Ternary Trees A SOP Minimizer for Logic Functions Described by Many Product Terms Based on Ternary Trees (en)
skos:prefLabel	A SOP Minimizer for Logic Functions Described by Many Product Terms Based on Ternary Trees A SOP Minimizer for Logic Functions Described by Many Product Terms Based on Ternary Trees (en)
skos:notation	RIV/68407700:21240/10:00169623!RIV11-MSM-21240___
http://linked.open...avai/riv/aktivita	S Z
http://linked.open...avai/riv/aktivity	S, Z(MSM6840770014)
http://linked.open...vai/riv/dodaniDat	2011
http://linked.open...aciTvurceVysledku	Fišer, Petr
http://linked.open.../riv/druhVysledku	D - Článek ve sborníku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	České vysoké učení technické v Praze / Fakulta informačních technologií
http://linked.open...dnocenehoVysledku	244968
http://linked.open...ai/riv/idVysledku	RIV/68407700:21240/10:00169623
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	two-level minimization, Espresso, ternary trees (en)
http://linked.open.../riv/klicoveSlovo	ternary trees two-level minimization Espresso
http://linked.open...ontrolniKodProRIV	[CA5EF752BF86]
http://linked.open...v/mistoKonaniAkce	Freiberg
http://linked.open...i/riv/mistoVydani	Freiberg
http://linked.open...i/riv/nazevZdroje	Proceedings of the 9th International Workshop on Boolean Problems
http://linked.open...in/vavai/riv/obor	JC
http://linked.open...ichTvurcuVysledku	1 (xsd:int)
http://linked.open...cetTvurcuVysledku	2 (xsd:int)
http://linked.open...UplatneniVysledku	2010
http://linked.open...iv/tvurceVysledku	Fišer, Petr Toman, David
http://linked.open...vavai/riv/typAkce	WRD - Světová
http://linked.open.../riv/zahajeniAkce	2010-09-16 (xsd:date)
http://linked.open...n/vavai/riv/zamer	Výzkum perspektivních informačních a komunikačních technologií
number of pages	8 (xsd:int)
http://purl.org/ne...btex#hasPublisher	Freiberg University of Mining and Technology, Institute of Computer Science
https://schema.org/isbn	978-3-86012-404-8
http://localhost/t...ganizacniJednotka	21240
is http://linked.open...avai/riv/vysledek of	A SOP Minimizer for Logic Functions Described by Many Product Terms Based on Ternary Trees A SOP Minimizer for Logic Functions Described by Many Product Terms Based on Ternary Trees A SOP Minimizer for Logic Functions Described by Many Product Terms Based on Ternary Trees

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software