Проверка эквивалентности SystemC vs. RTL:

Calypto is supposed to prove equivalence between a high level model written in C or System C and an implemented RTL Block

http://www.calypto.com/slecsystem.php

Tags: calypto, functional verification, systemc