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

Thomas B. Preußer

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…