何故か? @streamingcomputering でツイートされた
Will Everything Start To Look Like An SoC?は、SynopsysのJanickさんのプレゼンテーション資料です。
14頁に、Hectorの記述があり、C to C、C to RTL、RTL to RTLの等価性チェックができるような。
Googleくんに聞いたら、自分に教えられました。
ありがとう、自分。
でも、最近の情報はありません。よ。
検証、Verification、Synopsys