[go: up one dir, main page]
More Web Proxy on the site http://driver.im/

Merlini, 2020 - Google Patents

Practical Debug for Dataflow Computations on One or More FPGAs

Merlini, 2020

View PDF
Document ID
18202145469242250176
Author
Merlini M
Publication year

External Links

Snippet

Practical Debug for Dataflow Computations on One or More FPGAs by Marco Antonio Merlini A thesis submitted in conformity with th Page 1 Practical Debug for Dataflow Computations on One or More FPGAs by Marco Antonio Merlini A thesis submitted in conformity with the …
Continue reading at dam-oclc.bac-lac.gc.ca (PDF) (other versions)

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/362—Software debugging
    • G06F11/3636—Software debugging by tracing the execution of the program
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/30—Monitoring
    • G06F11/34—Recording or statistical evaluation of computer activity, e.g. of down time, of input/output operation; Recording or statistical evaluation of user activity, e.g. usability assessment
    • G06F11/3466—Performance evaluation by tracing or monitoring
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/362—Software debugging
    • G06F11/3648—Software debugging using additional hardware
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/362—Software debugging
    • G06F11/3632—Software debugging of specific synchronisation aspects
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/30—Monitoring
    • G06F11/34—Recording or statistical evaluation of computer activity, e.g. of down time, of input/output operation; Recording or statistical evaluation of user activity, e.g. usability assessment
    • G06F11/3409—Recording or statistical evaluation of computer activity, e.g. of down time, of input/output operation; Recording or statistical evaluation of user activity, e.g. usability assessment for performance assessment
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/50—Computer-aided design
    • G06F17/5009—Computer-aided design using simulation
    • G06F17/5022—Logic simulation, e.g. for logic circuit operation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3668—Software testing
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for programme control, e.g. control unit
    • G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
    • G06F9/46—Multiprogramming arrangements
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for programme control, e.g. control unit
    • G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
    • G06F9/44—Arrangements for executing specific programmes
    • G06F9/455—Emulation; Software simulation, i.e. virtualisation or emulation of application or operating system execution engines
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/22—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F2201/00—Indexing scheme relating to error detection, to error correction, and to monitoring
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F2217/00—Indexing scheme relating to computer aided design [CAD]
    • G06F2217/70—Fault tolerant, i.e. transient fault suppression
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F15/00—Digital computers in general; Data processing equipment in general
    • G06F15/16—Combinations of two or more digital computers each having at least an arithmetic unit, a programme unit and a register, e.g. for a simultaneous processing of several programmes

Similar Documents

Publication Publication Date Title
Sánchez et al. A survey of challenges for runtime verification from advanced application domains (beyond software)
US10628548B2 (en) Flow control in networking system-on-chip verification
Backasch et al. Runtime verification for multicore SoC with high-quality trace data
Neves et al. Verification of p4 programs in feasible time using assertions
Sultana et al. Emu: Rapid prototyping of networking services
Murali et al. Improved design debugging architecture using low power serial communication protocols for signal processing applications
Koehler et al. Performance analysis challenges and framework for high-performance reconfigurable computing
Sewell et al. High-assurance timing analysis for a high-assurance real-time operating system
Tu et al. Linux network programming with p4
Vega et al. FFShark: a 100G FPGA implementation of BPF filtering for Wireshark
Bressana et al. Finding hard-to-find data plane bugs with a PTA
Belkhiri et al. Performance analysis of DPDK-based applications through tracing
Rubow et al. Chimpp: A click-based programming and simulation environment for reconfigurable networking hardware
Merlini Practical Debug for Dataflow Computations on One or More FPGAs
Abts et al. Verifying large-scale multiprocessors using an abstract verification environment
Friederich et al. Hardware/software debugging of large scale many-core architectures
Tang et al. A debug probe for concurrently debugging multiple embedded cores and inter-core transactions in NoC-based systems
Wagner et al. DiaSys: On-chip trace analysis for multi-processor system-on-chip
Lesniak et al. Non-intrusive runtime monitoring for manycore prototypes
Moreno Analysis and optimization of a debug post-silicon hardware architecture
France-Pillois et al. A non-intrusive tool chain to optimize MPSoC end-to-end systems
Ruaro et al. Tool-set for NoC-based MPSoC debugging—A protocol view perspective
Castanheira et al. Foxhound: Server-grade observability for network-augmented applications
Xu Full-System Evaluation of the sPIN In-Network-Compute Architecture
Cosimi et al. SLOPE: Safety LOg PEripherals implementation and software drivers for a safe RISC-V microcontroller unit