289 search results - page 24 / 58 » Verification Patterns for Rapid Embedded System Verification |
129
Voted
IOLTS
2008
IEEE
15 years 9 months ago
2008
IEEE
Present and future semiconductor technologies are characterized by increasing parameters variations as well as an increasing susceptibility to external disturbances. Transient err...
163
Voted
FMCAD
2006
Springer
15 years 6 months ago
2006
Springer
The importance of re-usable Intellectual Properties (IPs) cores is increasing due to the growing complexity of today's system-on-chip and the need for rapid prototyping. In th...
159
Voted
DAC
2010
ACM
15 years 6 months ago
2010
ACM
Effective system verification requires good specifications. The lack of sufficient specifications can lead to misses of critical bugs, design re-spins, and time-to-market slips. I...
112
Voted
ICCSA
2009
Springer
15 years 11 days ago
2009
Springer
Software is more and more built from pre-existing components. This is true also for the embedded software domain, and there is a need to consider how development processes need to ...
122
Voted
EMSOFT
2007
Springer
15 years 6 months ago
2007
Springer
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...