Empirical evaluation of multilevel logic minimization tools for a lookup-table-based field-programmable gate array technology | IEEE Journals & Magazine | IEEE Xplore