Sciweavers

21437 search results - page 385 / 4288
» Hardware
Sort
View
DATE
2007
IEEE
69views Hardware» more  DATE 2007»
16 years 1 months ago
Verification-guided soft error resilience
Sanjit A. Seshia, Wenchao Li, Subhasish Mitra
80
Voted
DATE
2007
IEEE
80views Hardware» more  DATE 2007»
16 years 1 months ago
Incremental ABV for functional validation of TL-to-RTL design refinement
Nicola Bombieri, Franco Fummi, Graziano Pravadelli