Race analysis for systemC using model checking
SystemC is a system-level modeling language that offers a wide range of features to describe concurrent systems at different levels of abstraction. The SystemC standard permits simulators to implement a deterministic scheduling policy, which often hides concurrency-related design flaws. We present a...
প্রধান লেখক: | Blanc, N, Kroening, D |
---|---|
বিন্যাস: | Journal article |
প্রকাশিত: |
Association for Computing Machinery
2010
|
অনুরূপ উপাদানগুলি
অনুরূপ উপাদানগুলি
-
Race analysis for SystemC using model checking.
অনুযায়ী: Blanc, N
প্রকাশিত: (2008) -
Scoot: A Tool for the Analysis of SystemC Models
অনুযায়ী: Blanc, N, অন্যান্য
প্রকাশিত: (2008) -
Formal Verification of SystemC by Automatic Hardware/Software Partitioning
অনুযায়ী: Kroening, D, অন্যান্য
প্রকাশিত: (2005) -
Automatic Data Race Error Detection in SystemC Models
অনুযায়ী: A. V. Zakharov, অন্যান্য
প্রকাশিত: (2011-12-01) -
Designing Electronic Systems Using SystemC and SystemC–AMS
অনুযায়ী: V. A. Alekhin
প্রকাশিত: (2020-08-01)