In some modern FPGAs and CPLDs, PLA(programmable logic array)-style logic blocks can be used as the storage elements for improved logic density and performance. PLA-style logic blocks were originally deployed in the early PLDs. Due to recent research developments in the FPGA community such as [6] and [4], PLA-style logic blocks are becoming an effective storage alternative in FPGAs. This paper presents an approach with clustering and functional decomposition to implement the circuits using the minimum number of PLA-style logic blocks. One important feature is that it simultaneously considers the routing resource reduction for better circuit performance after place-and-route. In order to effectively use PLA-style logic blocks in large clusters, functional decompositions are used to decompose large clusters so that the encoding functions and base functions can be mapped into PLA-blocks. Furthermore, implicit representation[5] of the crucial steps in the functional decomposition is used to consider 1) number of inputs, 2) number of product terms. 3) number of outputs required for the PLA-block synthesis. We have developed an algorithm called PLA_SynT that can be used in the logic synthesis flow for CPLDs and FPGAs with PLA-blocks. MCNC benchmarks are used to test PLA_SynT and the experimental results are compared with TEMPLA[1]. PLA_SynT shows 10.24% improvement over TEMPLA[1], in terms of the number of PLA-blocks needed to implement the circuit. PLA_SynT also shows 14.41% improvement over EMB_Syn[3] in circuit performances while maintaining comparable circuit areas.
[1]
Jason Cong,et al.
Synthesis for FPGAs with embedded memory blocks
,
2000,
FPGA '00.
[2]
Klaus Eckl,et al.
Functional Multiple-Output Decomposition: Theory and an Implicit Algorithm
,
1995,
32nd Design Automation Conference.
[3]
Jason Helge Anderson,et al.
Technology mapping for large complex PLDs
,
1998,
Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175).
[4]
Stephen Dean Brown,et al.
The Hybrid Field-Programmable Architecture
,
1999,
IEEE Des. Test Comput..
[5]
Tiziano Villa,et al.
Implicit computation of compatible sets for state minimization of ISFSMs
,
1997,
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[6]
Jason Cong,et al.
Large scale circuit partitioning with loose/stable net removal and signal flow based clustering
,
1997,
ICCAD 1997.
[7]
Andrew Leaver,et al.
Hybrid product term and LUT based architectures using embedded memory blocks
,
1999,
FPGA '99.