Automatic Type Inference for Resynthesis on Hardware Description Languages | Publicación