Formal verification of SystemC by automatic hardware/software partitioning.

Daniel Kroening, Natasha Sharygina

Browse the full MEMOCODE paper archive.