selected publications conference paper Session details: Specification and architecture challenges in high-level synthesis 2006