Integrating formal, soft and diagrammatic approaches in high-level synthesis and hardware-software co-design.

Andrs Orbn, Zoltn dm Mann

Browse the full GI paper archive.