Sciweavers

6 search results - page 2 / 2
» Computer generation of fast fourier transforms for the cell ...
Sort
View
EMSOFT
2004
Springer
13 years 9 months ago
A methodology for generating verified combinatorial circuits
High-level programming languages offer significant expressivity but provide little or no guarantees about resource use. Resourcebounded languages -- such as hardware-description l...
Oleg Kiselyov, Kedar N. Swadi, Walid Taha