Performing High-Level Synthesis via Program Transformations within a Theorem Prover (1998)

Cached

Download Links

by Christian Blumenröhr , Dirk Eisenbiegler
Venue:In: Digital System Design Workshop at the 24th EUROMICRO 98 Conference
Citations:9 - 3 self