POWER7 - Verification challenge of a multi-core processor

Over the years functional hardware verification has made significant progress in the areas of traditional simulation techniques, hardware accelerator usage and last but not least formal verification approaches. This has been sufficient to deal with the additional design content and complexity increa...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	2009 IEEE/ACM International Conference on Computer-Aided Design - Digest of Technical Papers S. 809 - 812
1. Verfasser:	Schubert, K.-D.
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	IEEE 01.11.2009
Schlagworte:	Energy management Formal verification Hardware Hardware Acceleration Life estimation Microprocessors Multicore processing Permission Sequential analysis Simulation Structural Checking Test Generation Testing Yarn
ISSN:	1092-3152
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!