Title :
Automatic synthesis of Boolean functions on Xilinx and Actel programmable devices
Author :
Sicard, Pascal ; Crastes, Michel ; Sakouti, Khalid ; Saucier, Gabriele
Author_Institution :
Inst. Nat. Polytech. de Grenoble, CSI, France
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.<>
Keywords :
PLD programming; logic CAD; logic arrays; Actel programmable devices; Boolean functions; Xilinx 3000 series; Xilinx 4000 series; Xilinx programmable devices; automatic synthesis; critical path; factorization step; logic CAD; mapping; number of devices; optimization criterion; programmable gate array; synthesis methods; Boolean functions; Circuit synthesis; Input variables; Logic devices; Multiplexing; Programmable logic arrays; Routing;
Conference_Titel :
Euro ASIC '91
Conference_Location :
Paris, France
Print_ISBN :
0-8186-2185-0
DOI :
10.1109/EUASIC.1991.212877
