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...
| मुख्य लेखकों: | , |
|---|---|
| स्वरूप: | Journal article |
| प्रकाशित: |
Association for Computing Machinery
2010
|
Search Result 1
