Behavioral Synthesis From Research To Production Use | IEEE Conference Publication | IEEE Xplore