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

Celý popis

Podrobná bibliografie

Vydáno v:	2009 IEEE/ACM International Conference on Computer-Aided Design - Digest of Technical Papers s. 809 - 812
Hlavní autor:	Schubert, K.-D.
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 01.11.2009
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!