28 search results - page 6 / 6 » Reachability Analysis for Formal Verification of SystemC |
DATE
2006
IEEE
14 years 2 days ago
2006
IEEE
Most hardware description languages do not enforce determinacy, meaning that they may yield races. Race conditions pose a problem for the implementation, verification, and validat...
EMSOFT
2008
Springer
13 years 7 months ago
2008
Springer
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
DAC
2007
ACM
13 years 10 months ago
2007
ACM
A growing number of networked applications is implemented on increasingly complex automotive platforms with several bus standards and gateways. Together, they challenge the automo...