TY - JOUR
T1 - Series-parallel functions and FPGA logic module design
AU - Thakur, Shashidhar
AU - Wong, D.F.
N1 - Funding Information:
This work was partially supported by the Texas Advanced Research Program under grant 003658459, by a DAC Design Automation Scholarship, and by a grant from the AT&T Bell Laboratories.
Publisher Copyright:
© 1996 ACM
PY - 1996/1
Y1 - 1996/1
N2 - The need for a two-way interaction between logic synthesis and FPGA logic module design has been stressed recently. Having a logic module that can implement many functions is a good idea only if one can also give a synthesis strategy that makes efficient use of this functionality. Traditionally, technology mapping algorithms have been developed after the logic architecture has been designed. We follow a dual approach, by focusing on a specific technology mapping algorithm, namely, the structural tree-based mapping algorithm, and designing a logic module that can be mapped efficiently by this algorithm. It is known that the tree-based mapping algorithm makes optimal use of a library of functions, each of which can be represented by a tree of AND, OR, and NOT gates (series-parallel or SP functions). We show how to design a SP function with a minimum number of inputs that can implement all possible SP functions with a specified number of inputs. For instance, we demonstrate a seven-input SP function that can implement all four-input SP functions. Mapping results show that, on an average, the number blocks of this function needed to map benchmark circuits are 12% less than those for Actel's ACT1 logic modules. Our logic modules show a 4% improvement over ACT1, if the block count is scaled to take into account the number of transistors needed to implement different logic modules.
AB - The need for a two-way interaction between logic synthesis and FPGA logic module design has been stressed recently. Having a logic module that can implement many functions is a good idea only if one can also give a synthesis strategy that makes efficient use of this functionality. Traditionally, technology mapping algorithms have been developed after the logic architecture has been designed. We follow a dual approach, by focusing on a specific technology mapping algorithm, namely, the structural tree-based mapping algorithm, and designing a logic module that can be mapped efficiently by this algorithm. It is known that the tree-based mapping algorithm makes optimal use of a library of functions, each of which can be represented by a tree of AND, OR, and NOT gates (series-parallel or SP functions). We show how to design a SP function with a minimum number of inputs that can implement all possible SP functions with a specified number of inputs. For instance, we demonstrate a seven-input SP function that can implement all four-input SP functions. Mapping results show that, on an average, the number blocks of this function needed to map benchmark circuits are 12% less than those for Actel's ACT1 logic modules. Our logic modules show a 4% improvement over ACT1, if the block count is scaled to take into account the number of transistors needed to implement different logic modules.
KW - Algorithms
KW - Design
KW - Experimentation
KW - Performance
KW - Field Programmable gate arrays
KW - series-parallel technology mapping
KW - tree-based technology mapping algorithm
KW - universal logic modules
UR - http://www.scopus.com/inward/record.url?scp=4243111024&partnerID=8YFLogxK
U2 - 10.1145/225871.225891
DO - 10.1145/225871.225891
M3 - Journal article
AN - SCOPUS:4243111024
SN - 1084-4309
VL - 1
SP - 102
EP - 122
JO - ACM Transactions on Design Automation of Electronic Systems
JF - ACM Transactions on Design Automation of Electronic Systems
IS - 1
ER -