SynopsysのHector

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

Hector RTL to C Equivalencyなるものを見つけました。
Author(s): Reily Jacoby [Synopsys Inc.], Boris Hristov [Ciena Corp.]

2009年のDACの論文：
Solver Technology for System-level to RTL Equivalence Checkingの成果なのだろうか？

Google君に聞いてみたら、
On the Practice of Formal Verificationもありました。
RTLとCの等価性チェックに、Synopsys HectorとCalypto SLECを使ったと。

SanJose 2011やUK 2011にもあります。

IBM Research Haifa Verification Conference 2008の資料も見つけました。
この資料が一番詳しいようです。54ページもあります。

The Simple Art of SoC Design: Closing the Gap Between RTL and ESLの中にも記載がありました。
Google Bookが教えてくれました。ありがとう！

検証、Verification、Synopsys