Title: Higher-Level Hardware Synthesis, Author: Richard Sharp
Title: Practical Formal Methods for Hardware Design, Author: Carlos Delgado Kloos
Title: Optimized ASIP Synthesis from Architecture Description Language Models, Author: Oliver Schliebusch
Title: High-Level Synthesis: from Algorithm to Digital Circuit, Author: Philippe Coussy