A hardware and software monitor for high-level system-on-chip verification
@article{Shobaki2001AHA, 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}, year={2001}, pages={56-61} }
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
Supplemental Presentations
47 Citations
Monitoring embedded software timing properties with an SoC-resident monitor
- Engineering, Computer Science
- IET Softw.
- 2009
- 9
Multiprocessor System-on-Chip Profiling Architecture: Design and Implementation
- Computer Science
- 2009 15th International Conference on Parallel and Distributed Systems
- 2009
- 6
- PDF
On-Chip Instrumentation for Runtime Verification in Deeply Embedded Processors
- Computer Science
- 2015 IEEE Computer Society Annual Symposium on VLSI
- 2015
- 2
Event-driven framework for configurable runtime system observability for SOC designs
- Computer Science
- 2012 IEEE International Test Conference
- 2012
- 2
A survey and taxonomy of on-chip monitoring of multicore systems-on-chip
- Computer Science
- TODE
- 2013
- 35
- PDF
A monitoring approach to facilitate run-time verification of software in deeply embedded systems
- Computer Science
- 2010
- 3
System-Level Observation Framework for Non-Intrusive Runtime Monitoring of Embedded Systems
- Computer Science
- TODE
- 2015
- 7
- PDF
Rapidly Adjustable Non-intrusive Online Monitoring for Multi-core Systems
- Computer Science
- SBMF
- 2017
- 16
- PDF
Efficient Tracing Methodology Using Automata Processor
- Computer Science
- ACM Trans. Embed. Comput. Syst.
- 2019
- 2
- Highly Influenced
References
SHOWING 1-10 OF 15 REFERENCES
Hardware Accelerator for Single and Multiprocessor Real-Time Operating Systems
- Computer Science
- 2000
- 12
- Highly Influential
- PDF
Scalable Architecture for Real-time Applications and use of bus-monitoring
- Computer Science
- Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 (Cat. No.PR00306)
- 1999
- 15
Distributed Real-Time Systems: Monitoring, Visualization, Debugging, and Analysis
- Computer Science
- 1996
- 71
RTU94 - Real-Time Unit 1994 - Reference Manual
- Computer Architecture Lab, Dept. of Computer Engineering, Malardalen University, Vasteras, Sweden, January
- 1998
VHDL for Designers (473
- 1997