Performing High-Level Synthesis via Program Transformations within a Theorem Prover.

Christian Blumenröhr Dirk Eisenbiegler Performing High-Level Synthesis via Program Transformations within a Theorem Prover. 10034-10037 1998 conf/euromicro/1998 EUROMICRO http://csdl.computer.org/comp/proceedings/euromicro/1998/8646/01/864610034abs.htm db/conf/euromicro/euromicro1998.html#BlumenrohrE98