Christian Blumenröhr, Dirk Eisenbiegler. Performing High-Level Synthesis via Program Transformations within a Theorem Prover. In 24th EUROMICRO 98 Conference, Engineering Systems and Software for the Next Decade, 25-27 August 1998, Vesteras, Sweden. pages 10034-10037, IEEE Computer Society, 1998. [doi]
Abstract is missing.