HAL: A Multi-Paradigm Approach to Automatic Data Path Synthesis | IEEE Conference Publication | IEEE Xplore