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...

Full description

Bibliographic Details

Published in:	2009 IEEE/ACM International Conference on Computer-Aided Design - Digest of Technical Papers pp. 809 - 812
Main Author:	Schubert, K.-D.
Format:	Conference Proceeding
Language:	English
Published:	IEEE 01.11.2009
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!