منابع مشابه
HWML: RTL/Structural Hardware Description using ML
This paper describes how functional programming techniques can be used to obtain simple, compact and highly expressive hardware descriptions even for complex designs. We use the functional programming language ML to describe the hardware structure of a system using a library for basic circuit construction and transformation tasks. The result is an RTL/structural description of the desired circu...
متن کاملModeling State in Software Debugging of VHDL-RTL Designs - A Model-Based Diagnosis Approach
In this paper we outline an approach of applying model-based diagnosis to the field of automatic software debugging of hardware designs. We present our value-level model for debugging VHDL-RTL designs and show how to localize the erroneous component responsible for an observed misbehavior. Furthermore, we discuss an extension of our model that supports the debugging of sequential circuits, not ...
متن کاملDebugging Prolog Using Annotations
We present an annotation language well-suited for rendering aspects of Prolog execution. Our annotations are special Prolog goals that act as executable comments, performing debugging at run-time. No restrictions are placed upon the object language , the concern being veriication of (full) Standard Prolog programs. Here we discuss the merits of the annotations for Prolog debugging. All the exam...
متن کاملDebugging Using Time Machines
Cyclic debugging is one of the most important and most commonly used activities in program development. During cyclic debugging, the program is repeatedly reexecuted to track down errors when a failure has been observed. This process necessitates reproducible program executions. Applying classical debugging techniques such using breakpoints or single stepping in real-time systems change the tem...
متن کاملDebugging ASP using ILP
Declarative programming allows the expression of properties of the desired solution(s), while the computational task is delegated to a general-purpose algorithm. The freedom from explicit control is counter-balanced by the difficulty in working out what properties are missing or are incorrectly expressed, when the solutions do not meet expectations. This can be particularly problematic in the c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
سال: 2014
ISSN: 0278-0070,1937-4151
DOI: 10.1109/tcad.2013.2278491