Source level debugger for the Sea Cucumber synthesizing compiler

IEEE Symposium on FPGAs for Custom Computing Machines, Proceedings

Volumn 2003-January, Issue , 2003, Pages 228-237

  Hemmert, K S ^a   Tripp, J L ^a   Hutchings, B L ^a   Jackson, P A ^a  

^a Department of Electrical and Computer Engineering   (United States)

Author keywords

Application software; Circuit simulation; Circuit synthesis; Computer languages; Costs; Field programmable gate arrays; Hardware; High level synthesis; Logic design; Software debugging

Indexed keywords

APPLICATION PROGRAMS; CIRCUIT SIMULATION; COMPUTATION THEORY; COMPUTATIONAL LINGUISTICS; COMPUTER DEBUGGING; COMPUTER HARDWARE; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION LANGUAGES; COMPUTER SOFTWARE; COMPUTERS; COSTS; FIELD PROGRAMMABLE GATE ARRAYS (FPGA); HARDWARE; HIGH LEVEL LANGUAGES; HIGH LEVEL SYNTHESIS; LOGIC DESIGN; LOGIC GATES; PROGRAM COMPILERS; PROGRAM DEBUGGING; SIGNAL RECEIVERS; SYNTHESIS (CHEMICAL);

CIRCUIT SYNTHESIS; DEBUGGING PROCESS; DEBUGGING TOOLS; FPGA(FIELD PROGRAMMABLE GATE ARRAY); GENERAL-PURPOSE PROGRAMMING LANGUAGE; SOFTWARE DEBUGGING; SOURCE CODES; SOURCE-LEVEL DEBUGGER;

LOGIC SYNTHESIS;

EID: 84942942731     PISSN: 10823409     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/FPGA.2003.1227258     Document Type: Conference Paper

References (17)

1. S. Swan, D. Vermeersch, D. Dumlugöl, P. Hardee, T. Hasegawa, A. Rose, M. Coppolla, M. Janssen, T. Grötker, A. Ghosh, and K. Kranen, Functional Specification for SystemC 2.0. Open SystemC Initiative, 2.0-p ed., October 2001.
2. M. B. Gokhale, J. M. Stone, J. Arnold, and M. Kalinowski, "Stream-oriented FPGA computing in the Streams-C high level language," in Proceedings of the IEEE Symposium on Field-Programmable Custom Computing Machines, 2000.
3. Celoxica, Handel-C Language Reference Manual.Celoxica Limited, 2001.
4. P. S. Graham, Logical Hardware Debuggers for FPGA-Based Systems. PhD thesis, Brigham Young University, 2001.
5. J. L. Tripp, P. A. Jackson, and B. L. Hutchings, "Sea Cucumber: A synthesizing compiler for FPGAs," in Field-Programmable Logic and Applications, pp. 875-885, Springer, September 2002.
6. B. Hutchings, P. Bellows, J. Hawkins, S. Hemmert, B. Nelson, and M. Rytting, "A CAD suite for high-performance FPGA design," in Proceedings of the IEEE Symposium on Field-Programmable Custom Computing Machines, pp. 12-24, April 1999.
7. L. E. Cool, "Debugging VLIW code after instruction scheduling," Master's thesis, Oregon Graduate Institute of Science & Technology, 1992.
8. C. A. R. Hoare, Communicating Sequential Processes. London, UK: Prentice-Hall, 1985.
9. G. Hilderink, J. Broenink, W. Vervoort, and A. Bakkers, "Communicating Java Threads," in Parallel Programming and Java, Proceedings of WoTUG 20, vol. 50, pp. 48-76, IOS Press, Netherlands, 1997.
10. R. Vallée-Rai, L. Hendren, V. Sundaresan, P. Lam, E. Gagnon, and P. Co, "Soot - a Java optimization framework," in Proceedings of CASCON 1999, pp. 125-135, 1999.
11. S. S. Munchnick, Advanced Compiler Design and implementation. San Fransisco, California, USA: Morgan Kaufmann Publishers, Inc., third ed., 1997.
12. S. A. Mahlke, D. C. Lin, W. Y. Chen, R. E. Hank, and R. A. Bringmann, "Effective compiler support for predicated execution using the hyperblock," in 25th Annual International Symposium on Microarchitecture, 1992.
13. J. R. Allen, K. Kennedy, C. Porterfield, and J. D. Warren, "Conversion of control dependence to data dependence," in Symposium on Principles of Programming Languages, pp. 177-189, 1983.
14. L. Carter, B. Simon, B. Calder, L. Carter, and J. Ferrante, "Predicated static single assignment," in IEEE PACT, pp. 245-255, 1999.
15. R. Morgan, Building an Optimizing Compiler, pp. 86-90. Digital Press, 1998.
16. S. Mahlke, R. Ravindran, M. Schlansker, R. Schreiber, and T. Sherwood, "Bitwidth cognizant architecture synthesis of custom hardware accelerators," IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 20, pp. 1355-1370, November 2001.
17. B. Schott, P. Bellows, M. French, and R. Parker, "Applications of adaptive computing systems for signal processing challenges," in Proceedings of the Asia South Pacific Design Automation Conference, 2003.