@inproceedings{ff40214394bf48b2a18608340448c4e5,
title = "BLINK: A Multiple-Option and XOR Karnaugh Map Solver Tool for Logic Synthesis",
abstract = "This paper presents BLINK, a didactic tool for solving Karnaugh maps and logic synthesis. It can help learners with test cases and see all the possible solutions regarding a single function. It derives from a Karnaugh map and can express solutions in sums of products, products of sums, and exclusive sum of products. It counts with support for 'don't care' cases, multiple solutions, and solutions for XOR gates employing a version of the folding method. It is very useful to learn the basics of logic synthesis and to know the XOR gates, which are an essential topic for this area.",
keywords = "Digital design, exclusive-or, Karnaugh map, logic gates, Reed-Muller",
author = "Daniel Campana and Mario Raffo and Carlos Silva",
note = "Publisher Copyright: {\textcopyright} 2025 IEEE.; 32nd IEEE International Conference on Electronics, Electrical Engineering and Computing, INTERCON 2025 ; Conference date: 20-08-2025 Through 22-08-2025",
year = "2025",
doi = "10.1109/INTERCON67304.2025.11244654",
language = "English",
series = "Proceedings of the 2025 IEEE 32nd International Conference on Electronics, Electrical Engineering and Computing, INTERCON 2025",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
editor = "Ramirez, \{Gianpierre Zapata\} and Ibanez, \{Carlos Raymundo\} and Arias, \{Heyul Chavez\}",
booktitle = "Proceedings of the 2025 IEEE 32nd International Conference on Electronics, Electrical Engineering and Computing, INTERCON 2025",
}