Dependence Analysis and Automated Partitioning for Scalable Formal Analysis of SystemC Designs.

Paula Herber, Timm Liebrenz

Browse the full MEMOCODE paper archive.