CMAP-Technology mapping for multiplexor based FPGA architectures using certificate of generic Boolean function

Using certificate of generic Boolean function, a technology mapper and several other applications are introduced. For multiplexor-based FPGAs (field programmable gate arrays), this technology mapper has the same quality as MIS-PGA in terms of area, while running faster and having the advantage of being independent of module functionality. Other applications include library function generation, routing cost minimization, and peephole logic optimization.