Online design bug detection: RTL analysis, flexible mechanisms, and evaluation

13 years 11 months ago

Download www.eecs.umich.edu

Higher level of resource integration and the addition of new features in modern multi-processors put a signiﬁcant pressure on their veriﬁcation. Although a large amount of resources and time are devoted to the veriﬁcation phase of modern processors, many design bugs escape the veriﬁcation process and slip into processors operating in the ﬁeld. These design bugs often lead to lower quality products, lower customer satisfaction, diminishing brand/company reputation, or even expensive product recalls. This paper proposes a ﬂexible, low-overhead mechanism to detect the occurrence of design bugs during on-line operation. First, we analyze the actual design bugs found and ﬁxed in a commercial chipmultiprocessor, Sun’s OpenSPARC T1, to understand the behavior and characteristics of design bugs. Our RTL analysis of design bugs shows that the number of signals that need to be monitored to detect design bugs is signiﬁcantly larger than suggested by previous studies that analyz...

Kypros Constantinides, Onur Mutlu, Todd M. Austin

Real-time Traffic