Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
10.1145/337292.337391acmconferencesArticle/Chapter ViewAbstractPublication PagesdacConference Proceedingsconference-collections
Article
Free access

Efficient error detection, localization, and correction for FPGA-based debugging

Published: 01 June 2000 Publication History

Abstract

Simulations for modern designs are often performed on Field Programmable Gate Array technology in a functional test and debugging process known as emulation, allowing for more complex simulations than possible in software. One drawback to emulation is the lengthy time spent in the back-end CAD tools for each debugging iteration, including debugging changes and the introduction of control and observation logic. We have developed a technique that confines the re-place-and-route area to only the portions of the design affected by the introduction of the test logic and by the debugging changes. Therefore, the back-end CAD effort for error detection, localization, and correction is reduced. This benefit is achieved by partitioning the design at the physical level into independent blocks, and the test logic and design changes are localized to the affected blocks. The result is a shortened time between debugging iterations, and thus a shortened time-to-market for the design.

References

[1]
Brand, D. et al., "Incremental synthesis," International Conference on Computer-Aided Design, 1994, 14-18.]]
[2]
Fang, W.-J., A. Wu, and T.-Y. Yen, "A real-time RTL engineering-change method supporting on-line debugging for logic-emulation applications," Design Automation Conference, 1997, 101-106.]]
[3]
Gateley, J. et al., "UltraSPARC-I emulation," Design Automation Conference, 1995, 13-18.]]
[4]
Kirovski, D. and M. Potkonjak, "Engineering change: methodology and applications to behavioral and system synthesis," Design Automation Conference, 1999.]]
[5]
Lach, J., W. H. Mangione-Smith, and M. Potkonjak, "Low overhead fault-tolerant FPGA systems," IEEE Transactions on VLSI, vol. 6, no.2, June 1998, 212-221.]]
[6]
Lach, J., W. H. Mangione-Smith, and M. Potkonjak, "Fingerprinting digital circuits on programmable hardware," International Workshop on Information Hiding, 1998, 16- 31.]]
[7]
Lakshminarayana, G. et al., "Power management in highlevel synthesis," IEEE Transactions on Very Large Scale Integration, vol.7, no.l, March 1999, 7-15.]]
[8]
Leonard, J. and W.H. Mangione-Smith, "A case study of partially evaluated hardware circuits: key-specific DES," Field Programmable Logic, 1997, 151-160.]]
[9]
Mitsuhashi, T. et al., "Physical design CAD in deep submicron era," European Design Automation Conference, 1996, 350-355.]]
[10]
Pan, K.-R.R. and M. Pedram, "FPGA synthesis for minimum area, delay and power," European Design and Test Conference, 1996, 603.]]
[11]
Schaumont, P. et al., "Synthesis of multi-rate and variable rate circuits for high speed telecommunications applications," European Design and Test Conference, 1997, 542-546.]]
[12]
Swamy, G. et al., "Minimal logic re-synthesis for engineering change," International Symposium on Circuits and Systems, 1997, 1596-1599.]]
[13]
Xilinx, The Programmable Logic Data Book, San Jose, CA, 1996.]]

Cited By

View all
  • (2013)Logic emulation with forced assertions: A methodology for rapid functional verification and debugFifth Asia Symposium on Quality Electronic Design (ASQED 2013)10.1109/ASQED.2013.6643605(312-320)Online publication date: Aug-2013
  • (2011)State model for scheduling Built-in Self-Test and scrubbing in FPGA to maximize the system availability in space applicationsIndia International Conference on Power Electronics 2010 (IICPE2010)10.1109/IICPE.2011.5728146(1-7)Online publication date: Jan-2011

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
DAC '00: Proceedings of the 37th Annual Design Automation Conference
June 2000
819 pages
ISBN:1581131879
DOI:10.1145/337292
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]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 June 2000

Permissions

Request permissions for this article.

Check for updates

Qualifiers

  • Article

Conference

DAC00
Sponsor:
DAC00: ACM/IEEE-CAS/EDAC Design Automation Conference
June 5 - 9, 2000
California, Los Angeles, USA

Acceptance Rates

Overall Acceptance Rate 1,770 of 5,499 submissions, 32%

Upcoming Conference

DAC '25
62nd ACM/IEEE Design Automation Conference
June 22 - 26, 2025
San Francisco , CA , USA

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)32
  • Downloads (Last 6 weeks)9
Reflects downloads up to 22 Sep 2024

Other Metrics

Citations

Cited By

View all
  • (2013)Logic emulation with forced assertions: A methodology for rapid functional verification and debugFifth Asia Symposium on Quality Electronic Design (ASQED 2013)10.1109/ASQED.2013.6643605(312-320)Online publication date: Aug-2013
  • (2011)State model for scheduling Built-in Self-Test and scrubbing in FPGA to maximize the system availability in space applicationsIndia International Conference on Power Electronics 2010 (IICPE2010)10.1109/IICPE.2011.5728146(1-7)Online publication date: Jan-2011

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media