Synthesis of hardware models in C with pointers and complex data structures | IEEE Journals & Magazine | IEEE Xplore