Automatic synthesis of Boolean functions on Xilinx and Actel programmable devices

Abstract

Synthesis methods for two types of programmable devices Xilinx and Actel are presented. The optimization criterion is first the critical path of the final circuit and secondly the number of devices required to implement the function. The methods consist of an adequate factorization step followed by a mapping adapted to each target.<>