Functional Design using Behavioural and Structural Components Richard Sharp University of Cambridge Computer Laboratory William Gates Building JJ Thomson Avenue

First Page		Document Content
Date: 2006-04-13 14:58:00 Electronic engineering Digital electronics Electronic design automation Hardware description languages Electronics Logic synthesis Verilog High-level synthesis VHDL SystemC Adder Silicon compiler		Functional Design using Behavioural and Structural Components Richard Sharp University of Cambridge Computer Laboratory William Gates Building JJ Thomson Avenue Add to Reading List Source URL: rich.recoil.org Download Document from Source Website File Size: 146,78 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