Intermediate representations for controllers in chip generators | IEEE Conference Publication | IEEE Xplore