Proving transaction and system-level properties of untimed SystemC TLM designs.

Daniel Groe, Hoang Minh Le, Rolf Drechsler

Browse the full MEMOCODE paper archive.