Silicon Debug of a PowerPC™ Microprocessor Using Model Checking

被引：0

作者：

Richard Raimi

James Lear

机构：

[1] TriMedia Technologies,

[2] Inc.,undefined

[3] Legerity,undefined

[4] Inc.,undefined

来源：

Formal Methods in System Design | 2002年 / 21卷

关键词：

Silicon; Operating System; Large Volume; Logic Model; Model Check;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

When silicon is available, newly designed microprocessors are tested in specially equipped hardware laboratories, where real applications can be run at hardware speeds. However, the large volumes of code being run, plus the limited access to the internal nodes of the chip, make it very difficult to characterize the nature of any failures that occur.

引用

页码：79 / 94

页数：15