Name
Abstract | ||
|---|---|---|
One of the common methods for system behavior verification and performance estimation is high-level modeling using SystemC. A SystemC design represents parallel components of the system and their interconnections, so it is important to ensure that the design does not have synchronization errors: deadlocks, livelocks, and data races. In this paper we propose a novel approach to data races detection in SystemC designs. Our approach is based on static analysis methods and allows to detect data race errors automatically. The approach provides sound results. It includes special approximations and heuristics for a good balance between scalability and precision.We show the efficiency of our approach by evaluating it on basis of artificial and real-world SystemC designs. |
Year | DOI | Venue |
|---|---|---|
2013 | 10.1109/DDECS.2013.6549788 | Design and Diagnostics of Electronic Circuits & Systems |
Keywords | Field | DocType |
C++ language,program verification,simulation languages,data race error detection,deadlocks,high-level modeling,livelocks,parallel components,performance estimation,real-world SystemC designs,static analysis approach,synchronization errors,system behavior verification,system level modeling languages | Synchronization,Computer science,Deadlock,Performance estimation,Static analysis,Transaction-level modeling,Real-time computing,SystemC,Heuristics,Scalability,Embedded system | Conference |
ISSN | ISBN | Citations |
2334-3133 | 978-1-4673-6134-7 | 3 |
PageRank | References | Authors |
0.39 | 13 | 4 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Mikhail Moiseev | 1 | 6 | 2.88 |
| Mikhail Glukhikh | 2 | 3 | 0.39 |
| Alexey V. Zakharov | 3 | 9 | 1.95 |
| Harald Richter | 4 | 22 | 6.97 |