Formal heterogeneous system modeling with SystemC.

Seyed-Hosein Attarzadeh-Niaki, Mikkel Koefoed Jakobsen, Tero Sulonen, Ingo Sander

Browse the full FDL paper archive.