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...
| Päätekijä: | |
|---|---|
| Muut tekijät: | |
| Aineistotyyppi: | Journal article |
| Kieli: | English |
| Julkaistu: |
IEEE
2008
|