Extracting Exact Finite State Machines from Behavioral SystemC Descriptions.

Vikram Singh Saun, Preeti Ranjan Panda

Browse the full VLSID paper archive.