Implementation Issues About the Embedding of Existing High Level Synthesis Algorithms in HOL.

Dirk Eisenbiegler Christian Blumenröhr Ramayya Kumar Implementation Issues About the Embedding of Existing High Level Synthesis Algorithms in HOL. 157-172 1996 conf/tphol/1996 TPHOLs db/conf/tphol/tphol96.html#EisenbieglerBK96 http://dx.doi.org/10.1007/BFb0105403