QBM - Mapping User-Specified Functions to Programmable Logic through a QBF Satisfiability Problem

TL;DR

This paper introduces QBM, a tool that maps user-defined functions to programmable logic by formulating the problem as a QBF satisfiability challenge, with details on formula generation and open-source availability.

Contribution

It presents a formal method for generating QBF formulas for programmable logic mapping, including a practical tool and test set formulas.

Findings

QBM effectively maps functions to logic circuits.

The tool generates test set formulas for validation.

Open-source implementation is available.

Abstract

This is a brief overview on the background behind the test set formulas generated by the QBM tool. After establishing its application context, its formal approach to the generation of QBF formulas and the concrete test set formulas are described. Finally, some related work will be credited and the source to obtain the open-source tool will be identified.