Modeling for Synthesis with System# | IEEE Conference Publication | IEEE Xplore