|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
| | ||
| Search | ||
| ||
Euromicro Symposium on Digital System Design (DSD'04)
Boolean Minimizer FC-Min: Coverage Finding Process
Rennes, France
August 31-September 03
ISBN: 0-7695-2203-3
| ASCII Text | x | ||
| Petr Fiser, Hana Kub?tov?, "Boolean Minimizer FC-Min: Coverage Finding Process," 2012 15th Euromicro Conference on Digital System Design, pp. 152-159, Euromicro Symposium on Digital System Design (DSD'04), 2004. | |||
| BibTex | x | ||
| @article{ 10.1109/DSD.2004.1333271, author = {Petr Fiser and Hana Kub?tov?}, title = {Boolean Minimizer FC-Min: Coverage Finding Process}, journal ={2012 15th Euromicro Conference on Digital System Design}, volume = {0}, year = {2004}, isbn = {0-7695-2203-3}, pages = {152-159}, doi = {http://doi.ieeecomputersociety.org/10.1109/DSD.2004.1333271}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - 2012 15th Euromicro Conference on Digital System Design TI - Boolean Minimizer FC-Min: Coverage Finding Process SN - 0-7695-2203-3 SP152 EP159 A1 - Petr Fiser, A1 - Hana Kub?tov?, PY - 2004 KW - null VL - 0 JA - 2012 15th Euromicro Conference on Digital System Design ER - | |||
This paper describes principles of a novel two-level multi-output Boolean minimizer FC-Min, namely its Find Coverage phase. The problem of Boolean minimization is approached in a reverse way than common minimizers do. First, the cover of the on-set is found, and after that the appropriate implicants are being constructed to satisfy this cover. Thus, only the necessary group implicants are being generated, which makes FC-Min an extremely fast and efficient minimizer for functions with many output variables. An essential phase of the algorithm is the Find Coverage procedure. This phase determines the number of terms in the final solution, which has to be reduced to minimum. It solves an NP-hard problem, thus some heuristic has to be applied. We propose our heuristic method to solve this problem and study the influence of parameters on the final solution quality and runtime.
Citation:
Petr Fiser, Hana Kub?tov?, "Boolean Minimizer FC-Min: Coverage Finding Process," dsd, pp.152-159, Euromicro Symposium on Digital System Design (DSD'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.
