"Enforcing architectural contracts in high-level synthesis."

Nikhil A. Patil, Ankit Bansal, Derek Chiou (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics