The Community for Technology Leaders
Green Image
Issue No. 04 - July/August (vol. 26)
ISSN: 0740-7475

Table of Contents (PDF)

pp. c2

Call for Papers (HTML)

pp. 3
Special Issue

An Introduction to High-Level Synthesis (Abstract)

Philippe Coussy , Université de Bretagne-Sud, Lab-STICC
Daniel D. Gajski , University of California
Michael Meredith , Forte Design Systems
Andres Takach , Mentor Graphics
pp. 8-17

High-Level Synthesis: Past, Present, and Future (Abstract)

Grant Martin , Tensilica
Gary Smith , Gary Smith EDA
pp. 18-25

Lessons and Experiences with High-Level Synthesis (Abstract)

Soujanna Sarkar , Texas Instruments
Shashank Dabral , Texas Instruments
Praveen K. Tiwari , Interra Systems
Raj S. Mitra , Texas Instruments
pp. 34-45

High-Level Dataflow Transformations Using Taylor Expansion Diagrams (Abstract)

Maciej Ciesielski , University of Massachusetts, Amherst
Jeremie Guillot , Lab-STICC, Université de Bretagne Sud, Lorient, France
Daniel Gomez-Prado , University of Massachusetts, Amherst
Emmanuel Boutillon , Lab-STICC, Université de Bretagne Sud, Lorient, France
pp. 46-57

Hardware Coprocessor Synthesis from an ANSI C Specification (Abstract)

Sumit Ahuja , Virginia Polytechnic and State University
Chad Spackman , CebaTech
Sandeep K. Shukla , Virginia Polytechnic and State University
pp. 58-67

Subword Switching Activity Minimization to Optimize Dynamic Power Consumption (Abstract)

María Carmen Molina , Complutense University of Madrid
Rafael Ruiz-Sautua , Complutense University of Madrid
Alberto Del Barrio , Complutense University of Madrid
José Manuel Mendías , Complutense University of Madrid
pp. 68-77

Statistical High-Level Synthesis under Process Variability (Abstract)

Yuan Xie , Pennsylvania State University
Yibo Chen , Pennsylvania State University
pp. 78-87

Functional Equivalence Verification Tools in High-Level Synthesis Flows (Abstract)

Anmol Mathur , Calypto Design Systems
Masahiro Fujita , University of Tokyo
Edmund Clarke , Carnegie Mellon University
Pascal Urard , STMicroelectronics
pp. 88-95

Book Review: A physical-design picture book (HTML)

Igor Markov , University of Michigan
pp. 100-101

The Last Byte: The HLS tipping point (Abstract)

Jason Cong , University of California, Los Angeles
Wolfgang Rosenstiel , Eberhard Karls Universität Tübingen
pp. 104
93 ms
(Ver 3.3 (11022016))