๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

[IEEE 2006 Formal Methods in Computer Aided Design - San Jose, CA (2006.11.12-2006.11.12)] 2006 Formal Methods in Computer Aided Design - Design for Verification of the PCI-X Bus

โœ Scribed by Moinudeen, Haja; Habibi, Ali; Tahar, Sofiene

Book ID
115525594
Publisher
IEEE
Year
2006
Tongue
English
Weight
88 KB
Volume
0
Category
Article
ISBN-13
9780769527079

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

[ACM Press the 2006 IEEE/ACM internation
[ACM Press the 2006 IEEE/ACM international conference - San Jose, California (2006.11.05-2006.11.09)] Proceedings of the 2006 IEEE/ACM international conference on Computer-aided design - ICCAD '06 - Verification through the principle of least astonishment
โœ Isaksen, Beth; Bertacco, Valeria ๐Ÿ“‚ Article ๐Ÿ“… 2006 ๐Ÿ› ACM Press ๐ŸŒ English โš– 319 KB

Assessing the correctness of a digital design is a challenging task hampered by extremely large circuit netlists, counterintuitive property descriptions and ill-defined specifications.In this paper we propose a new verification methodology, inspired by the principle of least astonishment. The underl

[ACM Press the 2006 IEEE/ACM internation
[ACM Press the 2006 IEEE/ACM international conference - San Jose, California (2006.11.05-2006.11.09)] Proceedings of the 2006 IEEE/ACM international conference on Computer-aided design - ICCAD '06 - Soft error derating computation in sequential circuits
โœ Asadi, Hossein; Tahoori, Mehdi B. ๐Ÿ“‚ Article ๐Ÿ“… 2006 ๐Ÿ› ACM Press ๐ŸŒ English โš– 176 KB

Soft error tolerant design becomes more crucial due to exponential increase in the vulnerability of computer systems to soft errors. Accurate estimation of soft error rate (SER), the probability of system failure due to soft errors, is a key factor in design of cost-effective soft error resilient sy