From Specifications Towards Hardware in Lab-STICC (MOCS UBO), we develop methods and CAD tools in order to implement specifications onto hardware. In this presentation, we focus on high-level synthesis and physical tools, and their relative capabilities to face complete applications and to face unreliable hardware embedded systems. We used these tools for research projects including digital communication application (based on turbo-codes) and experiments onto nanotechnology support.