Enabling unrestricted automated synthesis of portable hardware accelerators for virtual machines