Date: Tuesday 19 March 2013
Time: 14:30 - 16:00
Location / Room: Stendahl

Chair:
Lars Bauer, Karlsruhe Institute of Technology, DE

Co-Chair:
Giovanni Ansaloni, EPFL, CH

The first two papers target the problem of process variation and aging issues for high-level and instruction-set synthesis. The last paper incorporates delay variations arising from speculative adder structures in high-level synthesis.

Time	Label	Presentation Title Authors
14:30	3.3.1	(Best Paper Award Candidate) PROFIT MAXIMIZATION THROUGH PROCESS VARIATION AWARE HIGH LEVEL SYNTHESIS WITH SPEED BINNING Authors: Zhao Mengying1, Alex Orailoglu2 and Xue Chun Jason1 1City University of Hong Kong, HK; 2University of California, US Abstract
15:00	3.3.2	INSTRUCTION-SET EXTENSION UNDER PROCESS VARIATION AND AGING EFFECTS Authors: Yuko Hara-Azumi1, Farshad Firouzi2, Saman Kiamehr2 and Mehdi Tahoori2 1Nara Institute of Science and Technology, JP; 2Karlsruhe Institute of Technology, DE Abstract
15:30	3.3.3	MULTISPECULATIVE ADDITIVE TREES IN HIGH-LEVEL SYNTHESIS Authors: Alberto A. Del Barrio1, Román Hermida1, Seda O. Memik2, José M. Mendías1 and María C. Molina1 1Complutense University of Madrid, ES; 2Northwestern University, US Abstract
16:00	IP1-11, 528	MULTI-PUMPING FOR RESOURCE REDUCTION IN FPGA HIGH-LEVEL SYNTHESIS Authors: Andrew Canis, Jason Anderson and Stephen Brown, University of Toronto, CA Abstract
16:01	IP1-12, 380	RESOURCE-CONSTRAINED HIGH-LEVEL DATAPATH OPTIMIZATION IN ASIP DESIGN Authors: Yuankai Chen and Hai Zhou, Northwestern University, US Abstract
16:00		End of session Coffee Break in Exhibition Hall Monday and Friday morning and afternoon coffee breaks will be located in the Salle de Reception. On Tuesday-Thursday the breaks will be located in the Exhibition Hall. Morning and afternoon (with the exception of Thursday afternoon which is a 30 minute break) coffee breaks on Tuesday-Thursday are extended breaks and will run for 60 minutes (coffee points will be open for the first 30 minutes only) from the start time indicated in the programme.