ExCAPE Annual Report of Activities April 2013 to MarchOverview

First Page		Document Content
Date: 2014-08-26 15:33:58 Electronic design automation Science Applied mathematics Digital electronics Formal methods Model-based design Program synthesis High-level synthesis Synthesizer Electronic engineering Formal sciences Cybernetics		ExCAPE Annual Report of Activities April 2013 to MarchOverview Add to Reading List Source URL: excape.cis.upenn.edu Download Document from Source Website File Size: 373,61 KB Share Document on Facebook

	Specification Revision for Markov Decision Processes with Optimal Trade-off M. Lahijanian and M. Kwiatkowska Abstract— Optimal control policy synthesis for probabilistic systems from high-level specifications is increa DocID: 1xVDa - View Document
	Experiments Suggest High-Level Formal Models and Automated Code Synthesis Significantly Increase Dependability Cordell Green and Stephen Westfold January 2001 DocID: 1xV8y - View Document
	C vs. VHDL: Benchmarking CAESAR Candidates Using High-‐Level Synthesis and Register-‐Transfer Level Methodologies Ekawat Homsirikamol, Wi DocID: 1tWk9 - View Document
	Productive parallel programming on FPGA using High-level Synthesis DocID: 1tSkM - View Document
	ABSTRACT An abstract of the thesis of Yan Chen for the Master of Science in Computer Science presented July 8, Title: Equivalence Checking for High-Level Synthesis Flow DocID: 1rVzu - View Document