Sciweavers

71
Voted
MICRO
2008
IEEE
92views Hardware» more  MICRO 2008»
15 years 3 months ago
Online design bug detection: RTL analysis, flexible mechanisms, and evaluation
Higher level of resource integration and the addition of new features in modern multi-processors put a significant pressure on their verification. Although a large amount of res...
Kypros Constantinides, Onur Mutlu, Todd M. Austin