Guest Editorial: High-Level Synthesis of Digital Circuits