skip to main content
10.1145/503048.503068acmconferencesArticle/Chapter ViewAbstractPublication PagesfpgaConference Proceedingsconference-collections
Article

Timing verification of dynamically reconfigurable logic for the xilinx virtex FPGA series

Authors Info & Claims
Published:24 February 2002Publication History

ABSTRACT

This paper reports on a method for extending existing VHDL design and verification software available for the Xilinx Virtex series of FPGAs. It allows the designer to apply standard hardware design and verification tools to the design of dynamically reconfigurable logic (DRL). The technique involves the conversion of a dynamic design into multiple static designs, suitable for input to standard synthesis and APR tools. For timing and functional verification after APR, the sections of the design can then be recombined into a single dynamic system. The technique has been automated by extending an existing DRL design tool named DCSTech, which is part of the Dynamic Circuit Switching (DCS) CAD framework. The principles behind the tools are generic and should be readily extensible to other architectures and CAD toolsets. Implementation of the dynamic system involves the production of partial configuration bitstreams to load sections of circuitry. The process of creating such bitstreams, the final stage of our design flow, is summarized.

References

  1. 1.D. Robinson and P. Lysaght, "Verification of Dynamically Reconfigurable Logic", in Field Programmable Logic and Applications, R. Hartenstein and H. Grunbacher (Eds), pp. 141 - 150, Villach, Austria, August 2000.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. 2.D. Robinson and P. Lysaght, "Methods of Exploiting Simulation Technology for Simulating the Timing of Dynamically Reconfigurable Logic", IEE Proceedings- Computers and Digital Techniques 147: (3) 175-180 May 2000.]]Google ScholarGoogle ScholarCross RefCross Ref
  3. 3.Y. Li, T. Callahan, E. Darnell, R. Harr, U. Kurkure and J. Stockwood, "Hardware-Software CoDesign of Embedded Reconfigurable Architectures", 37th Design Automation Conference, Los Angeles, USA, June 2000.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. 4.T. J. Callahan, J. R. Hauser, and J. Wawrzynek, "The GARP Architecture and C Compiler", Computer, Volume 33, Issue 4, pp. 62 - 69, April 2000.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. 5.P. Bellows and B. Hutchings, "JHDL-An HDL for Reconfigurable Systems", in Proceedings of the IEEE Symposium on Field-Programmable Custom Computing Machines, Napa, California, April 1998.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. 6.M. J. Wirthlin, B. L. Hutchings and C. Worth, "Synthesizing RTL Hardware from Java Byte Codes", in Field Programmable Logic and Applications, G. Brebner and R. Woods (Eds), pp. 123 - 132, Belfast, Northern Ireland, UK, August 2001.]] Google ScholarGoogle Scholar
  7. 7.W. Luk, N. Shirazi and P.Y.K. Cheung, "Compilation Tools for Run-Time Reconfigurable Designs", in Proc. IEEE Symposium on Field-Programmable Custom Computing Machines, K.L. Pocek and J. Arnold (editors), pp. 56 - 65. 1997.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. 8.M. Vasilko, "DYNASTY: A Temporal Floorplanning Based CAD Framework for Dynamically Reconfigurable Logic Systems", in Field Programmable Logic and Applications, P. Lysaght, J. Irvine and R. Hartenstein (Eds), pp 124 - 133, Glasgow, UK, August 1999.]] Google ScholarGoogle Scholar
  9. 9.J. Hogg, S. Singh and M. Sheeran, "New HDL Research Challenges posed by Dynamically Reprogrammable Hardware", The Third Asia Pacific Conference on Hardware Description Languages, Bangalore, India, January 1996.]]Google ScholarGoogle Scholar
  10. 10.W. Luk and S. McKeever, "Pebble: A Language for Parameterised and Reconfigurable Hardware Design", Field Programmable Logic and Applications, R. Hartenstein and A. Keevallik (Eds.), Tallin, Estonia, September 1998.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. 11.S. Singh and P. James-Roxby, "Lava and JBits: From HDL to Bitstreams in Seconds", IEEE Symposium on FPGAs for Custom Computing Machines, April 2001.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. 12.D. Robinson and P. Lysaght, "Modelling and Synthesis of Configuration Controllers for Dynamically Reconfigurable Logic Systems Using the DCS CAD Framework", in Field Programmable Logic and Applications, P. Lysaght, J. Irvine and R. Hartenstein (Eds), pp. 41 - 50, Glasgow, UK, August 1999.]] Google ScholarGoogle Scholar
  13. 13.G. Brebner, "CHASTE: a Hardware/Software Co-design Testbed for the Xilinx XC6200", Reconfigurable Architectures Workshop, Geneva, Switzerland, April 1997.]]Google ScholarGoogle Scholar
  14. 14.S. Guccione, D. Levi and P. Sundararajan, "JBits: Java based interface for reconfigurable computing", Military and Aerospace Applications of Programmable Devices and Technologies Conference, 1999.]]Google ScholarGoogle Scholar
  15. 15.S. McMillan and S. Guccione, "Partial Run-Time Reconfiguration Using JRTR", in Field Programmable Logic and Applications, R. Hartenstein and H. Grunbacher (Eds), pp. 352 - 360, Villach, Austria, August 2000.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. 16.Xilinx Inc., "Xilinx Alliance 3.1i Modular Design", version 1.2, April 20, 2001.]]Google ScholarGoogle Scholar
  17. 17.Xilinx Inc., "Virtex Series Configuration Architecture User Guide", version 1.5, Sept. 27, 2000.]]Google ScholarGoogle Scholar
  18. 18.E. Keller, "JRoute: A Run-Time Routing API for FPGA Hardware", 7th Reconfigurable Architectures Workshop (RAW2000), Cacun, Mexico, May 2000.]] Google ScholarGoogle ScholarDigital LibraryDigital Library

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
  • Published in

    cover image ACM Conferences
    FPGA '02: Proceedings of the 2002 ACM/SIGDA tenth international symposium on Field-programmable gate arrays
    February 2002
    257 pages
    ISBN:1581134525
    DOI:10.1145/503048

    Copyright © 2002 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 ACM 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: 24 February 2002

    Permissions

    Request permissions about this article.

    Request Permissions

    Check for updates

    Qualifiers

    • Article

    Acceptance Rates

    Overall Acceptance Rate125of627submissions,20%

PDF Format

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader