研究人员从波士顿大学和华盛顿大学发表技术论文题为“ProcessorFuzz:指导处理器起毛使用控制和状态寄存器”。Abstract "As the complexity of modern processors has increased over the years, developing effective verification strategies to identify bugs prior to manufacturing has become critical. Undiscovered micro-architectur...»阅读更多
有多少次你听到的话,比如“验证任务设计时要高出尺寸双打吗?”The implication is that every register bit that is created has doubled the state space of the design. It gives the impression that complete verification is hopeless, and because of that little progress has been made in coming up with real coverage metrics. When constrained rando...»阅读更多