6 search results - page 2 / 2 » Taylor Expansion Diagrams: A Compact, Canonical Representati... |
ICCAD
2002
IEEE
14 years 4 months ago
2002
IEEE
— One of the bottlenecks in the recent movement of hardware synthesis from behavioral C programs is the difficulty in reasoning about runtime pointer values at compile time. The...