Integration of logic synthesis and high-level synthesis into the DIADES design automation system | IEEE Conference Publication | IEEE Xplore