ExCAPE Annual Report of Activities April 2014 to MarchOverview

First Page		Document Content
Date: 2016-01-31 09:37:33 Theoretical computer science Electronic engineering Digital electronics Music Electronic design automation Formal verification Logic in computer science High-level synthesis Robotics Domain-specific language Finite-state machine Model checking		ExCAPE Annual Report of Activities April 2014 to MarchOverview Add to Reading List Source URL: excape.cis.upenn.edu Download Document from Source Website File Size: 322,60 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