Reuse of a HW/SW coverification environment during the refinement process of a functional C model down to an executable HW/SW specification.

Markus Winterholer, Florian Schfer

Browse the full FDL paper archive.