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