A demonstration of co-design and co-verification in a synchronous language | IEEE Conference Publication | IEEE Xplore