Global hardware synthesis guided by realistic probability computation | Publicación