检索结果-内蒙古大学图书馆

59th ACM/IEEE Design Automation Conference (DAC) - From Chips to Systems - Learn Today, Create Tomorrow

作者： Zhang, Keyi Asgar, Zain Horowitz, Mark Stanford Univ Stanford CA 94305 USA

ISBN: (纸本)9781450391429

High-level hardware generators have significantly increased the productivity of design engineers. They use software engineering constructs to reduce the repetition required to express complex designs and enable more composability. However, these benefits are undermined by a lack of debugging infrastructure, requiring hardware designers to debug generated, usually incomprehensible, RTL code. This paper describes a framework that connects modern software source-level debugging frameworks to RTL created from hardware generators. Our working prototype offers an Integrated Development Environment (IDE) experience for generators such as RocketChip (Chisel), allowing designers to set breakpoints in complex source code, relate RTL simulation state back to source-level variables, and do forward and backward debugging, with almost no simulation overhead (less than 5%).

关键词： Hardware generator frameworks source-level debugging

来源：评论

学校读者我要写书评

暂无评论

Demo abstract: Effective source-level debugging of wireless sensor networks

Demo abstract: Effective source-level debugging of wireless ...

引用

5th ACM International Conference on Embedded Networked Sensor Systems, SenSys'07

作者： Yang, Jing Soffa, Mary Lou Whitehouse, Kamin Department of Computer Science University of Virginia United States

来源：评论

学校读者我要写书评

暂无评论

Effective source-level debugging of wireless sensor networks 07

Effective source-level debugging of wireless sensor networks

引用

Proceedings of the 5th international conference on Embedded networked sensor systems

作者： Jing Yang Mary Lou Soffa Kamin Whitehouse University of Virginia

ISBN: (纸本)9781595937636

Sensor network debugging is notoriously difficult because many bugs manifest themselves only when they encounter the real world -- exactly when most powerful debugging tools can no longer be applied. There are currectly two common approaches to source level debugging in wireless sensor networks (WSNs), (i) simulation-based debugging [3], and (ii) wire-based debugging via logic analyzers or in-circuit emulators [1]. The former do not capture the true dynamics of a real deployment while the latter do not scale with the number of nodes and geographic size of the network. Thus, existing source-level debugging approaches for WSNs cannot be used in many real deployment environments.

关键词： source-level debugging embedded debugging distributed debugging wireless sensor networks

来源：评论

学校读者我要写书评

暂无评论

AutoSLIDE: Automatic source-level Instrumentation and debugging for HLS 24

AutoSLIDE: Automatic Source-Level Instrumentation and Debugg...

引用

24th IEEE International Symposium on Field-Programmable Custom Computing Machines (FCCM)

作者： Yang, Liwei Gurumani, Swathi Chen, Deming Rupnow, Kyle Nanyang Technol Univ Sch Comp Engn Singapore 639798 Singapore Adv Digital Sci Ctr Singapore Singapore Univ Illinois Champaign IL USA

ISBN: (纸本)9781509023561

Improved quality of results from high level synthesis (HLS) tools have led to their increased adoption in hardware design. However, functional verification of HLS-produced designs remains a major challenge. Once a bug is exposed, designers must backtrace thousands of signals and simulation cycles to determine the underlying cause. The challenge is further exacerbated with HLS-produced non-human-readable RTL. In this paper, we present AutoSLIDE, an automated cross-layer verification framework that instruments critical operations, detects discrepancies between software and hardware execution, and traces the suspect datapath tree to identify bug source for the detected discrepancy. AutoSLIDE also maintains mappings between RTL datapath operations, LLVM-IR operations, and C/C++ source code to precisely pinpoint the root-cause of bugs to the exact line/operation in source code, substantially reducing user effort to localize bugs. We demonstrate the effectiveness by detecting and localizing bugs from former versions of the CHStone benchmark suite. Furthermore, we demonstrate the efficiency of AutoSLIDE, with low overhead in HLS time (27%), software trace gathering (10%), and significantly reduced trace size and simulation time compared to exhaustive instrumentation.

关键词： High-level Synthesis Instrumentation source-level debugging

来源：评论

学校读者我要写书评

暂无评论

A DATA-FLOW APPROACH TO EVENT-BASED debugging

引用

SOFTWARE-PRACTICE & EXPERIENCE 1991年第2期21卷 209-229页

作者： OLSSON, RA CRAWFORD, RH HO, WW Division of Computer Science University of California Davis CA 95616 U.S.A.

This paper describes a novel approach to event-based debugging. The approach is based on a (coarse-grained) dataflow view of events: a high-level event is recognized when an appropriate combination of lower-level events on which it depends has occurred. Event recognition is controlled using familiar programming language constructs. This approach is more flexible and powerful than current ones. It allows arbitrary debugger language commands to be executed when attempting to form higher-level events. It also allows users to specify event recognition in much the same way that they write programs. This paper also describes a prototype, Dalek, that employs the dataflow approach for debugging sequential programs. Dalek demonstrates the feasibility and attractiveness of the dataflow approach. One important motivation for this work is that current sequential debugging tools are inadequate. Dalek contributes toward remedying such inadequacies by providing events and a powerful debugging language. Generalizing the dataflow approach so that it can aid in the debugging of concurrent programs is under investigation.

关键词： debugging PROGRAMMABLE debugging source-level debugging EVENT-BASED debugging DATA-FLOW PROGRAM MONITORING

来源：评论

学校读者我要写书评

暂无评论

CCD:An Integrated C Coding and debugging Tool

引用

Journal of Computer Science & Technology 1993年第4期8卷 322-328页

作者：金立群陈锋徐智晨钱家骅 Dept.of Computer Science Fudan UniversityShanghai 200433

CCD is an integrated software tool which is intended to support the coding and debugging for C language. It integrates a hybrid editor,an incremental semantic analyzer,a multi-entry parser,an incremental unpaser and a source-level debugger into a single *** integration is realized by sharing common knowledge,among all the components of the system and by task-oriented comhination of the *** attribute grammar is adopted for specifying the common knowledge about the syntax and semantics of C *** incremental attri bute evaluation is used to implement the semantic analyzer and the unparser to increase system *** keeps the preprocessors and comments most regular to make it practical.

关键词： Integrated language based programming environment nonlocal attribute grammar semantic tree incremental attribute evaluation syntax-directed editting semantic analyzing source-level debugging

来源：评论

学校读者我要写书评

暂无评论

Dynamic currency determination in optimized programs

引用

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS 1998年第6期20卷 1111-1130页

作者： Dhamdhere, DM Sankaranarayanan, KV Indian Inst Technol Dept Comp Sci & Engn Mumbai 400076 India

Compiler optimizations pose many problems to source-level debugging of an optimized program due to reordering, insertion, and deletion of code. One such problem is to determine whether the value of a variable is current at a breakpoint-that is, whether its actual value is the same as its expected value. We use the notion of dynamic currency of a variable in source-level debugging and propose the use of a minimal unrolled graph to reduce the run-time overhead of dynamic currency determination. We prove that the minimal unrolled graph is an adequate-basis for performing bit-vector data flow analyses at a breakpoint. This property is used to perform dynamic currency determination. It is also shown to help in recovery of a dynamically noncurrent variable.

关键词： code instrumentation code optimization compiler debugging optimized code dynamic currency determination dynamic slicing minimal unrolled graph source-level debugging

来源：评论

学校读者我要写书评

暂无评论

Clairvoyant: A Comprehensive source-level Debugger for Wireless Sensor Networks 07

Clairvoyant: A Comprehensive Source-Level Debugger for Wirel...

引用

5th ACM Conference on Embedded Networked Sensor Systems

作者： Yang, Jing Soffa, Mary Lou Selavo, Leo Whitehouse, Kamin Univ Virginia Dept Comp Sci Charlottesville VA 22903 USA

ISBN: (纸本)9781595937636

Wireless sensor network (WSN) applications are notoriously difficult to develop and debug. This paper describes Clairvoyant which is a comprehensive source-level debugger for wireless, embedded networks. With Clairvoyant, a developer can wirelessly connect to a sensor network and execute standard debugging commands including break, step, watch, and back-trace, as well as new commands that are specially designed for debugging WSNs. Clairvoyant attempts to minimize its effect on the program being debugged in terms of network load, memory footprint, execution speed, clock consistency, and flash lifetime.

关键词： source-level debugging Distributed debugging Embedded debugging Wireless Sensor Networks

来源：评论

学校读者我要写书评

暂无评论

Supporting Compile-Time debugging and Precise Error Reporting in Meta-programs

Supporting Compile-Time Debugging and Precise Error Reportin...

引用

50th International Conference on Objects, Models, Components, Patterns (TOOLS)

作者： Lilis, Yannis Savidis, Anthony Institute of Computer Science FORTH Greece Department of Computer Science University of Crete Greece

ISBN: (纸本)9783642305610

Compile-time meta-programming is an advanced language feature enabling to mix programs with definitions that are executed at compile-time and may generate source code to be put in their place. Such definitions are called meta-programs and their actual evaluation constitutes a compilation stage. As meta-programs are also programs, programmers should be supported in handling compile-time and runtime errors, something introducing challenges to the entire tool chain along two lines. Firstly, the source point of a compile error may well be the outcome of a series of compilation stages, thus never appearing within the original program. Effectively, the latter requires a compiler to track down the error chain across all involved stages so as to provide a meaningful, descriptive and precise error report. Secondly, every compilation stage is instantiated by the execution of the respective staged program. Thus, typical full-fledged source-level debugging for any particular stage should be facilitated during the compilation process. Existing implementations suffer in both terms, overall providing poor error messages, while lacking the required support to debug meta-programs of any staging depth. In this paper we firstly outline an implementation of a meta-programming system offering all mentioned facilities. Then, we detail the required amendments to the compilation process. Finally, we discuss the necessary interoperation points between the compiler and the tool-chain (IDE).

关键词： Meta-programs compile-time meta-programming staged languages source-level debugging error messages

来源：评论

学校读者我要写书评

暂无评论

Macrodebugging: Global Views of Distributed Program Execution 09

Macrodebugging: Global Views of Distributed Program Executio...

引用

7th ACM Conference on Embedded Networked Sensor Systems (SENSYS)

作者： Sookoor, Tamim Hnat, Timothy Hooimeijer, Pieter Weimer, Westley Whitehouse, Kamin Univ Virginia Dept Comp Sci Charlottesville VA 22903 USA

ISBN: (纸本)9781605587486

Creating and debugging programs for wireless embedded networks (WENs) is notoriously difficult. Macroprogramming is an emerging technology that aims to address this problem by providing high-level programming abstractions. We present MDB, the first system to support the debugging of macroprograms. MDB allows the user to set breakpoints and step through a macroprogram using a source-level debugging interface similar to GDB, a process we call macrodebugging. A key challenge of MDB is to step through a macroprogram in sequential order even though it executes on the network in a distributed, asynchronous manner. Besides allowing the user to view distributed state, MDB also provides the ability to search for bugs over the entire history of distributed states. Finally, MDB allows the user to make hypothetical changes to a macroprogram and to see the effect on distributed state without the need to redeploy, execute, and test the new code. We show that macrodebugging is both easy and efficient: MDB consumes few system resources and requires few user commands to find the cause of bugs. We also provide a lightweight version of MDB called MDB Lite that can be used during the deployment phase to reduce resource consumption while still eliminating the possibility of heisenbugs: changes in the manifestation of bugs caused by enabling or disabling the debugger.

关键词： source-level debugging Macroprogramming Wireless Embedded Networks

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：