エース(ACE)をねらえ

Verification Engineerの戯言 : Twitter
SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった

EETimesの記事：Get control of ARM system cache coherency with ACE verificationは、
ARMのマルチCPU対応のキャッシュコヒーレンシをサポートしたACE(AMBA 4 Coherency Extensions)を実装したときに必要なVIPに関する記事。

マイコンを中心とした組み込みシステムは、キャッシュコヒーレンシはソフトウェアにて行うのが一般的です。
一方、PC(x86)では、キャッシュコヒーレンシはハードウェアで行っています。

ARMでもマルチコアになり、各CPU間のキャッシュコヒーレンシをソフトウェアではなく、
ハードウェアで行えるようにしたのがこのACEということ。

キャッシュコヒーレンシをサポートするためにはそれなりのことをやらなければいけません。
それを効率的、かつ、バグフリーに実装、検証するには、VIPが必要です。
そのVIPがここで説明されています。ただし、各VIPの詳細まではわかりませんが。

検証、Verification、Cadence