{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:41:50Z","timestamp":1750308110970,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":9,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,9,19]],"date-time":"2005-09-19T00:00:00Z","timestamp":1127088000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,9,19]]},"DOI":"10.1145\/1085130.1085145","type":"proceedings-article","created":{"date-parts":[[2005,11,7]],"date-time":"2005-11-07T17:34:39Z","timestamp":1131384879000},"page":"111-116","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["An integrated debugging environment for reprogrammble hardware systems"],"prefix":"10.1145","author":[{"given":"Kevin","family":"Camera","sequence":"first","affiliation":[{"name":"University of California, Berkeley"}]},{"given":"Hayden Kwok-Hay","family":"So","sequence":"additional","affiliation":[{"name":"University of California, Berkeley"}]},{"given":"Robert W.","family":"Brodersen","sequence":"additional","affiliation":[{"name":"University of California, Berkeley"}]}],"member":"320","published-online":{"date-parts":[[2005,9,19]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_1_1_1","DOI":"10.5555\/827263.828259"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1109\/MDT.2005.30"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1109\/92.311641"},{"key":"e_1_3_2_1_4_1","volume-title":"Proc. Third International Workshop on Automatic Debugging (AADEBUG)","volume":"2","author":"Garg V. K.","year":"1997","unstructured":"V. K. Garg . Observation and control for debugging distributed computations . In Proc. Third International Workshop on Automatic Debugging (AADEBUG) , volume 2 of Link\u00f6ping Electronic Articles in Computer and Information Science, pages 1- -12, May 1997 . V. K. Garg. Observation and control for debugging distributed computations. In Proc. Third International Workshop on Automatic Debugging (AADEBUG), volume 2 of Link\u00f6ping Electronic Articles in Computer and Information Science, pages 1--12, May 1997."},{"key":"e_1_3_2_1_5_1","first-page":"197","volume-title":"Proc. Fifth International Workshop on Automated and Algorithmic Debugging (AADEBUG)","author":"Peischl B.","year":"2003","unstructured":"B. Peischl and F. Wotawa . Modeling state in software debugging of VHDL-RTL designs -- A model-based diagnosis approach . In Proc. Fifth International Workshop on Automated and Algorithmic Debugging (AADEBUG) , pages 197 -- 210 , Sept. 2003 . B. Peischl and F. Wotawa. Modeling state in software debugging of VHDL-RTL designs -- A model-based diagnosis approach. In Proc. Fifth International Workshop on Automated and Algorithmic Debugging (AADEBUG), pages 197--210, Sept. 2003."},{"unstructured":"H. K.-H. So. BORPH: An OS for reprogrammable hardware. http:\/\/bwrc.eecs.berkeley.edu\/People\/Grad_Students\/skhay\/BORPH.  H. K.-H. So. BORPH: An OS for reprogrammable hardware. http:\/\/bwrc.eecs.berkeley.edu\/People\/Grad_Students\/skhay\/BORPH.","key":"e_1_3_2_1_6_1"},{"key":"e_1_3_2_1_7_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1062","DOI":"10.1007\/978-3-540-30117-2_127","volume-title":"Proc. Field Programmable Logic and its Applications (FPL)","author":"Tombs J.","year":"2004","unstructured":"J. Tombs , M. A. Aguirre Echan\u00f3ve , F. Mu\u00f1oz , V. Baena , A. Torralba , A. Fernandez-Le\u00f3n , and F. Tortosa . The implementation of a FPGA hardware debugger system with minimal system overhead . In Proc. Field Programmable Logic and its Applications (FPL) , volume 3203 of Lecture Notes in Computer Science , pages 1062 -- 1066 , Aug. 2004 . J. Tombs, M. A. Aguirre Echan\u00f3ve, F. Mu\u00f1oz, V. Baena, A. Torralba, A. Fernandez-Le\u00f3n, and F. Tortosa. The implementation of a FPGA hardware debugger system with minimal system overhead. In Proc. Field Programmable Logic and its Applications (FPL), volume 3203 of Lecture Notes in Computer Science, pages 1062--1066, Aug. 2004."},{"key":"e_1_3_2_1_8_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1057","DOI":"10.1007\/978-3-540-30117-2_126","volume-title":"Proc. Field Programmable Logic and its Applications (FPL)","author":"Valderas M. G.","year":"2004","unstructured":"M. G. Valderas , E. de la Torre , F. Ariza , and T. Riesgo . Hardware and software debugging of FPGA based microprocessor systems through debug logic insertion . In Proc. Field Programmable Logic and its Applications (FPL) , volume 3203 of Lecture Notes in Computer Science , pages 1057 -- 1061 , Aug. 2004 . M. G. Valderas, E. de la Torre, F. Ariza, and T. Riesgo. Hardware and software debugging of FPGA based microprocessor systems through debug logic insertion. In Proc. Field Programmable Logic and its Applications (FPL), volume 3203 of Lecture Notes in Computer Science, pages 1057--1061, Aug. 2004."},{"unstructured":"Xilinx Inc. ChipScope Pro Software and Cores User Guide Feb. 2005. http:\/\/www.xilinx.com\/ise\/optional_prod\/cspro.htm.  Xilinx Inc. ChipScope Pro Software and Cores User Guide Feb. 2005. http:\/\/www.xilinx.com\/ise\/optional_prod\/cspro.htm.","key":"e_1_3_2_1_9_1"}],"event":{"sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"],"acronym":"AADEBUG05","name":"AADEBUG05: AADEBUG '05 - Sixth International Symposium on Automated and Analysis Driven Debugging","location":"Monterey California USA"},"container-title":["Proceedings of the sixth international symposium on Automated analysis-driven debugging"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1085130.1085145","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1085130.1085145","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:08:11Z","timestamp":1750262891000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1085130.1085145"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,9,19]]},"references-count":9,"alternative-id":["10.1145\/1085130.1085145","10.1145\/1085130"],"URL":"https:\/\/doi.org\/10.1145\/1085130.1085145","relation":{},"subject":[],"published":{"date-parts":[[2005,9,19]]},"assertion":[{"value":"2005-09-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}