Formal Support for Untimed SystemC Specifications: Application to High-level Synthesis.

Eugenio Villar, Fernando Herrera, Vctor Fernndez

Browse the full FDL paper archive.