Extending programs with debug-related features, with application to hardware development

05/28/2017
by   Nik Sultana, et al.
0

The capacity and programmability of reconfigurable hardware such as FPGAs has improved steadily over the years, but they do not readily provide any mechanisms for monitoring or debugging running programs. Such mechanisms need to be written into the program itself. This is done using ad hoc methods and primitive tools when compared to CPU programming. This complicates the programming and debugging of reconfigurable hardware. We introduce Program-hosted Directability (PhD), the extension of programs to interpret direction commands at runtime to enable debugging, monitoring and profiling. Normally in hardware development such features are fixed at compile time. We present a language of directing commands, specify its semantics in terms of a simple controller that is embedded with programs, and implement a prototype for directing network programs running in hardware. We show that this approach affords significant flexibility with low impact on hardware utilisation and performance.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
08/25/2018

Translating C programs to MSVL programs

C language is one of the most popular languages in system programming an...
research
08/30/2023

On Feasibility of Declarative Diagnosis

The programming language Prolog makes declarative programming possible, ...
research
02/06/2018

Formal Verification of Spacecraft Control Programs Using a Metalanguage for State Transformers

Verification of functional correctness of control programs is an essenti...
research
07/15/2021

Design of Distributed Reconfigurable Robotics Systems with ReconROS

Robotics applications process large amounts of data in real-time and req...
research
01/05/2018

Monitoring Data Minimisation

Data minimisation is a privacy enhancing principle, stating that persona...
research
06/06/2020

Hardware-Software Contracts for Secure Speculation

Since the discovery of Spectre, a large number of hardware mechanisms fo...
research
09/28/2010

The Need to Support of Data Flow Graph Visualization of Forensic Lucid Programs, Forensic Evidence, and their Evaluation by GIPSY

Lucid programs are data-flow programs and can be visually represented as...

Please sign up or login with your details

Forgot password? Click here to reset