Functional formal verification on designs of pSeries microprocessors and communication subsystems

被引：0

作者：

Gott, Rebecca M. ^{[1
]}

Baumgartner, Jason R. ^{[2
]}

Roessler, Paul ^{[2
]}

Joe, Soon I. ^{[1
]}

机构：

[1] IBM Systems and Technology Group, 2455 South Road, Poughkeepsie, NY 12601, United States

[2] IBM Systems and Technology Group, 11400 Burnet Road, Austin, TX 78758, United States

来源：

IBM Journal of Research and Development | 1600年 / 49卷 / 4-5期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

页码：565 / 580