skip to main content
research-article

VTR 7.0: Next Generation Architecture and CAD System for FPGAs

Published:04 July 2014Publication History
Skip Abstract Section

Abstract

Exploring architectures for large, modern FPGAs requires sophisticated software that can model and target hypothetical devices. Furthermore, research into new CAD algorithms often requires a complete and open source baseline CAD flow. This article describes recent advances in the open source Verilog-to-Routing (VTR) CAD flow that enable further research in these areas. VTR now supports designs with multiple clocks in both timing analysis and optimization. Hard adder/carry logic can be included in an architecture in various ways and significantly improves the performance of arithmetic circuits. The flow now models energy consumption, an increasingly important concern. The speed and quality of the packing algorithms have been significantly improved. VTR can now generate a netlist of the final post-routed circuit which enables detailed simulation of a design for a variety of purposes. We also release new FPGA architecture files and models that are much closer to modern commercial architectures, enabling more realistic experiments. Finally, we show that while this version of VTR supports new and complex features, it has a 1.5× compile time speed-up for simple architectures and a 6× speed-up for complex architectures compared to the previous release, with no degradation to timing or wire-length quality.

References

  1. C. Ababei, H. Mogal, and K. Barzargan. 2006. Three-dimensional place and route for FPGAs. IEEE Trans. CAD. 1132--1140. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. M. Abdelfattah and V. Betz. 2013. The power of communication: energy-efficient NoCs for FPGAs. In Proceedings of the International Conference on Field Programmable Logic and Applications. 1--8.Google ScholarGoogle Scholar
  3. Altera. 2009. Stratix IV Device Family Overview. http://www.altera.com/literature/hb/stratix-iv/stx4_siv51001.pdf.Google ScholarGoogle Scholar
  4. Altera. 2012a. PowerPlay Early Power Estimator: User Guide. http://www.altera.com/support/devices/estimator/pow-powerplay.jsp.Google ScholarGoogle Scholar
  5. Altera. 2012b. Stratix V Device family overview. http://www.altera.com/devices/fpga/stratix-fpgas/stratix-v/stxv-index.jsp.Google ScholarGoogle Scholar
  6. Altera. 2013. Quartus II Version 13.0 Handbook. http://www.altera.com/.Google ScholarGoogle Scholar
  7. V. Betz and J. Rose. 2000. Automatic generation of FPGA routing architectures from high-level descriptions. In Proceedings of the ACM International Symposium on FPGAs. 175--184. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. V. Betz, J. Rose, and A. Marquardt. 1999. Architecture and CAD for Deep-Submicron FPGAs. Kluwer Academic Publishers, Norwell, MA. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. Y. Cao. 2008. Berkeley predictive technology model. http://ptm.asu.edu/.Google ScholarGoogle Scholar
  10. C. Chiasson and V. Betz. 2013. COFFE: Fully-automated transistor sizing for FPGAs. In Proceedings of the IEEE International Conference on Field-Programmable Technology.Google ScholarGoogle Scholar
  11. K. Chung and J. Rose. 1992. TEMPT: Technology mapping for the exploration of FPGA architectures with hard-wired connections. In Proceedings of the ACM/IEEE Design Automation Conference. 361--367. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. S. Gangadharan and S. Churiwala. 2013. Constraining Designs for Synthesis and Timing Analysis: A Practical Guide to Synopsys Design Constraints. Springer. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. J. Goeders and S. Wilton. 2012. VersaPower: Power estimation for diverse FPGA architectures. In Proceedings of the IEEE International Conference on Field Programmable Technology. 229--234.Google ScholarGoogle Scholar
  14. H.-C. Hsieh, W. Carter, J. Ja, E. Cheung, S. Schreifels, C. Erickson, P. Freidin, L. Tinkey, and R. Kanazawa. 1990. Third-generation architecture boosts speed and density of field-programmable gate arrays. In Proceedings of the IEEE Custom Integrated Circuits Conference. 31.2/1--31.2/7.Google ScholarGoogle Scholar
  15. M. Hutton, D. Karchmer, B. Archell, and J. Govig. 2005. Efficient static timing analysis and applications using edge masks. In Proceedings of the ACM International Symposium on FPGAs. 175--183. Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. ITRS. 2011. Interconnect chapter. http://www.itrs.net/Links/2011ITRS/2011Chapters/2011Interconnect.pdf.Google ScholarGoogle Scholar
  17. P. Jamieson, K. Kent, F. Gharibian, and L. Shannon. 2010. Odin II: An open-source Verilog HDL synthesis tool for CAD research. In Proceedings of the IEEE International Symposium on Field-Programmable Custom Computing Machines. 149--156. Google ScholarGoogle ScholarDigital LibraryDigital Library
  18. P. Jamieson, W. Luk, S. J. Wilton, and G. A. Constantinides. 2009. An energy and power consumption analysis of FPGA routing architectures. In Proceedings of the IEEE International Conference on Field Programmable Technology. 324--327.Google ScholarGoogle Scholar
  19. I. Kuon and J. Rose. 2008. Automated transistor sizing for fpga architecture exploration. In Proceedings of the 45th Annual Design Automation Conference (DAC'08). ACM, New York, 792--795. Google ScholarGoogle ScholarDigital LibraryDigital Library
  20. J. Lamoureux and S. J. Wilton. 2006. Activity estimation for field-programmable gate arrays. In Proceedings of the International Conference on Field Programmable Logic and Applications. 1--8.Google ScholarGoogle Scholar
  21. LATTICE. 2012. ECP3 family. http://www.latticesemi.com/products/fpga/ecp3/index.cfm.Google ScholarGoogle Scholar
  22. C. Lavin, M. Padilla, J. Lamprecht, P. Lundrigan, B. Nelson, and B. Hutchings. 2011. Rapid-Smith: Do-It-yourself CAD tools for Xilinx FPGAs. In Proceedings of the International Conference on Field-Programable Logic and Applications. 349--355. Google ScholarGoogle ScholarDigital LibraryDigital Library
  23. F. Li and L. He. 2005. Power Modeling and Characteristics of Field Programmable Gate Arrays. IEEE Trans. CAD 24, 11, 1712--1724. Google ScholarGoogle ScholarDigital LibraryDigital Library
  24. J. Libby, A. Furrow, P. O'Brien, and K. Kent. 2011. A framework for verifying functional correctness in Odin II. In Proceedings of the IEEE International Conference on Field-Programmable Technology. 1--6.Google ScholarGoogle Scholar
  25. J. Luu, J. Anderson, and J. Rose. 2011. Architecture description and packing for logic blocks with hierarchy, modes and complex interconnect. In Proceedings of the ACM International Symposium on FPGAs. 227--236. Google ScholarGoogle ScholarDigital LibraryDigital Library
  26. J. Luu, I. Kuon, P. Jamieson, T. Campbell, A. Ye, W. M. Fang, and J. Rose. 2009. VPR 5.0: FPGA CAD and architecture exploration tools with single-driver routing, heterogeneity and process scaling. In Proceedings of the ACM International Symposium on FPGAs. 133--142. Google ScholarGoogle ScholarDigital LibraryDigital Library
  27. Microsemi. 2013. Smartfusion2 SoC FPGAs. http://www.microsemi.com/fpga-soc/soc-fpga/smartfusion2.Google ScholarGoogle Scholar
  28. A. Mishchenko. 2009. ABC: A system for sequential synthesis and verification. http://www.eecs.berkeley. edu/alanmi/abc.Google ScholarGoogle Scholar
  29. K. Murray, S. Whitty, J. Luu, S. Liu, and V. Betz. 2013. Titan: Enabling large and realistic benchmarks for FPGAs. In Proceedings of the IEEE International Conference on Field-Programmable Logic and Applications. 1--8.Google ScholarGoogle Scholar
  30. K. Nasartschuk, R. Herpers, and K. Kent. 2012. Visualization support for FPGA architecture exploration. In Proceedings of the IEEE International Symposiumon Rapid System Prototyping. 128--134.Google ScholarGoogle Scholar
  31. K. K. W. Poon, S. J. E. Wilton, and A. Yan. 2005. A detailed power model for field-programmable gate arrays. ACM Trans. Des. Autom. Electron. Syst. 10, 2, 279--302. Google ScholarGoogle ScholarDigital LibraryDigital Library
  32. J. Rose, J. Luu, C. W. Yu, O. Densmore, J. Goeders, A. Somerville, K. B. Kent, P. Jamieson, and J. Anderson. 2012. The VTR project: Architecture and CAD for FPGAs from Verilog to routing. In Proceedings of the ACM International Symposium on FPGAs. 77--86. Google ScholarGoogle ScholarDigital LibraryDigital Library
  33. A. Sharma, C. Ebeling, and S. Hauck. 2005. Architecture-adaptive routability-driven placement for FPGAs. In Proceedings of the International Conference on Field-Programmable Logic and Applications. 427--432. Google ScholarGoogle ScholarDigital LibraryDigital Library
  34. W. W.-K. Shum and J. H. Anderson. 2011. FPGA glitch power analysis and reduction. In Proceedings of the IEEE/ACM International Symposium on Low-Power Electronics and Design. 27--32. Google ScholarGoogle ScholarDigital LibraryDigital Library
  35. A. Somerville and K. Kent. 2012. Improving memory support in the VTR flow. In Proceedings of the International Conference on Field Programmable Logic and Applications. 197--202.Google ScholarGoogle Scholar
  36. N. Steiner, A. Wood, H. Shojaei, J. Couch, P. Athanas, and M. French. 2011. Torc: Towards an open-source tool flow. In Proceedings of the ACM International Symposium on FPGAs. 41--44. Google ScholarGoogle ScholarDigital LibraryDigital Library
  37. N. Weste and D. Harris. 2010. CMOS VLSI Design: A Circuits and Systems Perspective 4th Ed. Addison Wesley. Google ScholarGoogle ScholarDigital LibraryDigital Library
  38. H. Wong, V. Betz, and J. Rose. 2011. Comparing FPGA vs. custom CMOS and the impact on processor microarchitecture. In Proceedings of the ACM International Symposium on FPGAs. 5--14. Google ScholarGoogle ScholarDigital LibraryDigital Library
  39. N.-S. Woo. 1995. Revisiting the cascade circuit in logic cells of lookup table based FPGAs. In Proceedings of the ACM International Symposium on FPGAs. 90--96. Google ScholarGoogle ScholarDigital LibraryDigital Library
  40. Xilinx. 2011. Xilinx Power Estimator User Guide.Google ScholarGoogle Scholar
  41. Xilinx. 2013a. Vivado design software. http://www.xilinx.com/.Google ScholarGoogle Scholar
  42. Xilinx. 2013b. Xilinx Virtex-7 family overview. http://www.xilinx.com/products/silicon-devices/fpga/virtex-7/index.htm.Google ScholarGoogle Scholar

Index Terms

  1. VTR 7.0: Next Generation Architecture and CAD System for FPGAs

            Recommendations

            Comments

            Login options

            Check if you have access through your login credentials or your institution to get full access on this article.

            Sign in

            Full Access

            • Published in

              cover image ACM Transactions on Reconfigurable Technology and Systems
              ACM Transactions on Reconfigurable Technology and Systems  Volume 7, Issue 2
              June 2014
              199 pages
              ISSN:1936-7406
              EISSN:1936-7414
              DOI:10.1145/2638850
              Issue’s Table of Contents

              Copyright © 2014 ACM

              Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

              Publisher

              Association for Computing Machinery

              New York, NY, United States

              Publication History

              • Published: 4 July 2014
              • Accepted: 1 March 2014
              • Revised: 1 February 2014
              • Received: 1 December 2013
              Published in trets Volume 7, Issue 2

              Permissions

              Request permissions about this article.

              Request Permissions

              Check for updates

              Qualifiers

              • research-article
              • Research
              • Refereed

            PDF Format

            View or Download as a PDF file.

            PDF

            eReader

            View online with eReader.

            eReader