A language supporting function/architecture co-design of SoC | IEEE Conference Publication | IEEE Xplore