A quantitative approach to functional debugging

ABSTRACT

We introduce a novel cut-based debugging paradigm. It coordinates design emulation and simulation and enables fast transition from one to another. Emulation or functional implementation is used for fast application execution; simulation provides complete design observability and controllability. The implementation of the new debugging approach poses several CAD tasks. We formulate the optimization tasks and develop constraint-based heuristics to solve them. Effectiveness of the approach is demonstrated on a set of designs.

REFERENCES

• 1: Gary Brooks , Gilbert J. Hansen , Steve Simmons, A new approach to debugging optimized code, ACM SIGPLAN Notices, v.27 n.7, p.1-11, July 1992
• 2: Thomas T. Cormen , Charles E. Leiserson , Ronald L. Rivest, Introduction to algorithms, MIT Press, Cambridge, MA, 1990
• 3: R.E. Crochiere, A.V. Oppenheim, "Analysis of Linear Networks", Proc. of IEEE, Vol.63, No.4, pp. 581-595, 1975.
• 4: Michael R. Garey , David S. Johnson, Computers and Intractability: A Guide to the Theory of NP-Completeness, W. H. Freeman & Co., New York, NY, 1979
• 5: D. Kirovski, M. Potkonjak, "A Quantitaive Approach to Functional Debugging", Technical Report, CSD, UCLA, 1997.
• 6: Edward Ashford Lee , David G. Messerschmitt, Static scheduling of synchronous data flow programs for digital signal processing, IEEE Transactions on Computers, v.36 n.1, p.24-35, Jan. 1987 [doi>10.1109/TC.1987.5009446]
• 7: D. Phillips, "Advanced in-circuit emulation design", Mini/Micro Southwest, pp. 8/2/1-4, 1984.
• 8: Miodrag Potkonjak , Sujit Dey , Kazutoshi Wakabayashi, Design-for-debugging of application specific designs, Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design, p.295-301, November 05-09, 1995, San Jose, California, United States
• 9: J. M. Rabaey , C. Chu , P. Hoang , M. Potkonjak, Fast Prototyping of Datapath-Intensive Architectures, IEEE Design & Test, v.8 n.2, p.40-51, April 1991 [doi>10.1109/54.82037]
• 10: R.M. Stallman, et al. "A guide to the GNU source-level debugger", Free Software Foundation, Cambridge, MA, 1991.
• 11: P. Wynn, "In-circuit emulation for ASIC-based designs", VLSI Systems Design, Vol.7, No.10, pp. 38-45, 1986.
• 12: Lawrence Yang , David Gao , Jamshid Mostoufi , Raju Joshi , Paul Loewenstein, System design methodology of ultraSPARC-I, Proceedings of the 32nd ACM/IEEE conference on Design automation, p.7-12, June 12-16, 1995, San Francisco, California, United States [doi>10.1145/217474.217481]

INDEX TERMS

Primary Classification:
  C. Computer Systems Organization

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING

  J. Computer Applications

General Terms:
Design, Experimentation, Measurement, Performance, Theory

Keywords:
functional debugging, error diagnosis, in-circuit emulation and simulation