A hardware and software monitor for high-level system-on-chip verification

  title={A hardware and software monitor for high-level system-on-chip verification},
  author={Mohammed El Shobaki and L. Lindh},
  journal={Proceedings of the IEEE 2001. 2nd International Symposium on Quality Electronic Design},
  • Mohammed El Shobaki, L. Lindh
  • Published 2001
  • Computer Science
  • Proceedings of the IEEE 2001. 2nd International Symposium on Quality Electronic Design
  • Verification of today's Systems-on-Chip (SoC) occurs at low abstraction-levels, typically at register-transfer level (RTL). As the complexity of SoC designs grows, it is increasingly important to move verification to higher abstraction-levels. Hardware/software co-simulation is a step in this direction, but is not sufficient due to inaccurate processor models, and slow hardware simulation speeds. System-level monitoring commonly used for event-based software debugging, provides information… CONTINUE READING
    47 Citations
    Monitoring embedded software timing properties with an SoC-resident monitor
    • 9
    Towards Non-invasive Run-time Verification of Real-Time Systems
    • 5
    • PDF
    Multiprocessor System-on-Chip Profiling Architecture: Design and Implementation
    • 6
    • PDF
    On-Chip Instrumentation for Runtime Verification in Deeply Embedded Processors
    • 2
    Event-driven framework for configurable runtime system observability for SOC designs
    • 2
    A monitoring approach to facilitate run-time verification of software in deeply embedded systems
    • 3
    Efficient Tracing Methodology Using Automata Processor
    • 2
    • Highly Influenced


    Hardware Accelerator for Single and Multiprocessor Real-Time Operating Systems
    • 12
    • Highly Influential
    • PDF
    Debugging concurrent programs
    • 452
    • PDF
    Scalable Architecture for Real-time Applications and use of bus-monitoring
    • T. Klevin, L. Lindh
    • Computer Science
    • Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 (Cat. No.PR00306)
    • 1999
    • 15
    A probe effect in concurrent programs
    • J. Gait
    • Computer Science
    • Softw. Pract. Exp.
    • 1986
    • 243
    VHDL For Designers
    • 68
    Scalable Architecture for Real-Time Applications, SARA
    • 22
    RTU94 - Real-Time Unit 1994 - Reference Manual
    • Computer Architecture Lab, Dept. of Computer Engineering, Malardalen University, Vasteras, Sweden, January
    • 1998
    Real-time monitoring with StethoScope 5.1
    • 2
    VHDL for Designers (473
    • 1997