skip to main content
10.1145/266021.266043acmconferencesArticle/Chapter ViewAbstractPublication PagesdacConference Proceedingsconference-collections
Article
Free access

A real-time RTL engineering-change method supporting on-line debugging for logic-emulation applications

Published: 13 June 1997 Publication History

Abstract

In recent years, logic emulation has been widely usedas a key design verification methodology in many complex CPU, telecom, and multimedia design projects. When using logic emulation for design verification, designers often need toperform engineering changes as a result of design debugging of a design specificationmodification. One of the essential issues to engineeringchanges is the turn-around time. Ideally, after designers modify their designs, they resume their debugging and verification tasks immediately. However, converting a design from its Register-Transfer-Level (RTL) description to a target emulator is a time-consuming procedure which may take hours. Such long engineering-change turn-around times are unacceptable by the designers. In this paper, we present a real-time RTLengineering-change method supporting on-line debuggingfor logic-emulation applications. We propose a novel design method which is able to link design data generated at different design stages in a unified way. Using thismethod, the users can immediately locate the portion ofthe circuit design affected by the design modification fromits RTL specification. This feature provides users with afast time-to-debug environment by significantly improving the efficiency of the engineering-change process. We have developed aprototype system Quick ECO supporting interactive on-line RTL engineering changes. Experimental results on a number of industrial designs are reported to demonstrate the effectiveness of the proposed method.

References

[1]
M. Butts, J. Batcheller, and J. Varghese, "An Efficient Logic Emulation System," Proceedings of ICCD, pp. 138- 141, 1992.
[2]
C. E. Cox and W. E. Blanz, "GANGLION- A Fast Field- Programmable Gate Array Implementation of a Connectionist Classifier," IEEE Journal on Solid-State Circuits, vol. 27, pp. 288-299, March 1992.
[3]
P. K. Chan, M. Schlag, and M. Martin, "BORG:A Reconfigurable Prototyping Board Using Field-Programmable Gate Arrays," in Proceedings of 1st International A CM/SIGDA Workshop on Field-Programmable Gate Atrays, pp. 47-51, 1992.
[4]
S. Walters, "Computer-Aided Prototyping for ASIC- Based Systems," IEEE Design and Test of Computers, pp. 4-10, June 1991.
[5]
D. E. Van den Bout, "The Anyboard: Programming and Enhancements," Proceedings of IEEE Workshop on FP- GAs for Custom Computing Machines 1993, pp. 68-77, 1993.
[6]
J. Gateley, "Logic Emulation Aids Design Process," A- SIC ~ EDA, July, 1994.
[7]
J. Kumar, N. Strader, J. Freeman, and M. Miller, "Emulation Verification of the Motorola 68060," Proceedings of ICCD, pp. 150-158, 1995.
[8]
J. Gateley et al., "UltraSPARC-I Emulation," Proceedings of the 32nd DA C, pp. 13-18, 1995.
[9]
M. Butts, "Future Directions of Dynamically Reprogrammable Systems," Proceedings of CICC, 1995.
[10]
W.-J. Fang and A. C.-H. Wu, "A Fine-Grained Synthesis Method for Logic Emulation Systems," Technical Reports, Computer Science Dept., Tsing Hua Univ., Taiwan, R.O.C. 1996.
[11]
A. Mathur, K. C. Chen, and C. L. Liu, "Re-engineering of Timing Constrainted Placements for Regular Architectures," Proceedings of ICCAD, pp. 485-490, 1995.
[12]
A. C.-H. Wu, T. S. Hadley, and D. D. Gajski, "An Efficient Multi-View Design Model for Real-Time Interactive Synthesis," Proceedings of ICCAD, pp. 328-331, 1992.
[13]
C. M. Fiduccia and R. Mattheyses, "A Linear-Time Heuristic for Improving Network Partitions," in Proc. of 19th A CM/IEEE Design Automation Conference, pp. 241- 247, 1982.
[14]
W.-J. Fang and A. C.-H. Wu, "A Hierarchical Functional Structuring and Partitioning Approach for Multiple- FPGA Implementations," Proceedings of ICCAD96, pp. 638-643, 1996.
[15]
P. M. Ferguson, Motif Reference Manual for OSF/motif Release 1.2, O'Reilly & Associates, Inc.
[16]
Edited by D. Flanagan, X Toolkit Intrinsics Reference Manual for Xll Release ~ and Release 5, O'Reilly & Associates, Inc.

Cited By

View all

Index Terms

  1. A real-time RTL engineering-change method supporting on-line debugging for logic-emulation applications

          Recommendations

          Comments

          Information & Contributors

          Information

          Published In

          cover image ACM Conferences
          DAC '97: Proceedings of the 34th annual Design Automation Conference
          June 1997
          788 pages
          ISBN:0897919203
          DOI:10.1145/266021
          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: 13 June 1997

          Permissions

          Request permissions for this article.

          Check for updates

          Qualifiers

          • Article

          Conference

          DAC97
          Sponsor:
          DAC97: The 34th Design Automation Conference
          June 9 - 13, 1997
          California, Anaheim, USA

          Acceptance Rates

          DAC '97 Paper Acceptance Rate 139 of 400 submissions, 35%;
          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)177
          • Downloads (Last 6 weeks)23
          Reflects downloads up to 13 Jan 2025

          Other Metrics

          Citations

          Cited By

          View all

          View Options

          View options

          PDF

          View or Download as a PDF file.

          PDF

          eReader

          View online with eReader.

          eReader

          Login options

          Media

          Figures

          Other

          Tables

          Share

          Share

          Share this Publication link

          Share on social media