|
发表于 2010-1-24 01:43:34
|
显示全部楼层
1 User Needs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
Pascal Urard, Joonhwan Yi, Hyukmin Kwon, and Alexandre Gouraud
2 High-Level Synthesis: A Retrospective . . . . . . . . . . . . . . . . . . . . . . . . . . 13
Rajesh Gupta and Forrest Brewer
3 Catapult Synthesis: A Practical Introduction to Interactive C
Synthesis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
Thomas Bollaert
4 Algorithmic Synthesis Using PICO . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
Shail Aditya and Vinod Kathail
5 High-Level SystemC Synthesis with Forte’s Cynthesizer . . . . . . . . . . . 75
Michael Meredith
6 AutoPilot: A Platform-Based ESL Synthesis System . . . . . . . . . . . . . . 99
Zhiru Zhang, Yiping Fan, Wei Jiang, Guoling Han, Changqi Yang,
and Jason Cong
7 “All-in-C” Behavioral Synthesis and Verification
with CyberWorkBench . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113
KazutoshiWakabayashi and Benjamin Carrion Schafer
8 Bluespec: A General-Purpose Approach to High-Level Synthesis
Based on Parallel Atomic Transactions . . . . . . . . . . . . . . . . . . . . . . . . . 129
Rishiyur S. Nikhil
9 GAUT: A High-Level Synthesis Tool for DSP Applications . . . . . . . . . 147
Philippe Coussy, Cyrille Chavet, Pierre Bomel, Dominique Heller,
Eric Senn, and Eric Martin
10 User Guided High Level Synthesis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 171
Ivan Aug´e and Fr´ed´eric P´etrot
11 Synthesis of DSP Algorithms from Infinite Precision Specifications . . 197
Christos-Savvas Bouganis and George A. Constantinides
12 High-Level Synthesis of Loops Using the PolyhedralModel . . . . . . . . 215
Steven Derrien, Sanjay Rajopadhye, Patrice Quinton, and Tanguy Risset
13 Operation Scheduling: Algorithms and Applications . . . . . . . . . . . . . . 231
GangWang, Wenrui Gong, and Ryan Kastner
14 Exploiting Bit-Level Design Techniques in Behavioural Synthesis . . . 257
Mar´ıa Carmen Molina, Rafael Ruiz-Sautua, Jos´e Manuel Mend´ıas,
and Rom´an Hermida
15 High-Level Synthesis Algorithms for Power and Temperature
Minimization . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 285
Li Shang, Robert P. Dick, and Niraj K. Jha |
|