Simplification of single-output Boolean functions by exact direct cover algorithm based on cube algebra

Basit Öğe Kaydı
dc.contributor.authorBasciftci, Fatih
dc.date.accessioned2020-03-26T17:18:12Z
dc.date.available2020-03-26T17:18:12Z
dc.date.issued2007
dc.departmentSelçuk Üniversitesien_US
dc.descriptionInternational Conference on Computer as a Tool (EUROCON 2007) -- SEP 09-12, 2007 -- Warsaw, POLANDen_US
dc.description.abstractDue to the nature of the exact two-level Boolean functions minimization methods most of practical applications rely on heuristic ones that are generally realized by a three step cyclic algorithm. First, the algorithm selects an On-minterm and it generates the set of prime implicants for this On-minterm; second, it determinates the essential prime implicant from among the generated prime implicants; and third, it performs a covering operation. The goal of this study, if the determination of the essential prime implicant is impossible, postponed the selection of essential prime implicant for this On-minterm and save it for a status word. When a new essential prime implicant determined, retrieve the status word. The proposed minimization algorithm is tested on several different kinds of problems and on standard MCNC benchmarks results of which are compared with ESPRESSO. The results show that proposed algorithm obtains exact results and faster than ESPRESSO.en_US
dc.identifier.endpage1021en_US
dc.identifier.isbn978-1-4244-0812-2
dc.identifier.scopusqualityN/Aen_US
dc.identifier.startpage1017en_US
dc.identifier.urihttps://hdl.handle.net/20.500.12395/21608
dc.identifier.wosWOS:000257261900171en_US
dc.identifier.wosqualityN/Aen_US
dc.indekslendigikaynakWeb of Scienceen_US
dc.indekslendigikaynakScopusen_US
dc.language.isoenen_US
dc.publisherIEEEen_US
dc.relation.ispartofEUROCON 2007: THE INTERNATIONAL CONFERENCE ON COMPUTER AS A TOOL, VOLS 1-6en_US
dc.relation.publicationcategoryKonferans Öğesi - Uluslararası - Kurum Öğretim Elemanıen_US
dc.rightsinfo:eu-repo/semantics/closedAccessen_US
dc.selcuk20240510_oaigen_US
dc.subjectlogic simplificationen_US
dc.subjectprime implicanten_US
dc.subjectdirectcover principleen_US
dc.subjectcube algebraen_US
dc.titleSimplification of single-output Boolean functions by exact direct cover algorithm based on cube algebraen_US
dc.typeConference Objecten_US

Dosyalar

Koleksiyon

WoS İndeksli Yayınlar Koleksiyonu
Scopus İndeksli Yayınlar Koleksiyonu