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
Michael Meredith , Forte Design Systems
Andres Takach , Mentor Graphics
Daniel D. Gajski , University of California
pp. 8-17

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

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

Lessons and Experiences with High-Level Synthesis (Abstract)

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

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

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

Hardware Coprocessor Synthesis from an ANSI C Specification (Abstract)

Chad Spackman , CebaTech
Sandeep K. Shukla , Virginia Polytechnic and State University
Sumit Ahuja , 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
Alberto Del Barrio , Complutense University of Madrid
José Manuel Mendías , Complutense University of Madrid
Rafael Ruiz-Sautua , Complutense University of Madrid
pp. 68-77

Statistical High-Level Synthesis under Process Variability (Abstract)

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

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

Anmol Mathur , Calypto Design Systems
Edmund Clarke , Carnegie Mellon University
Masahiro Fujita , University of Tokyo
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.1 (10032016))