@article{lahti19_are_we_there_yet,
	author = {S. {Lahti} and P. {Sj{\"o}vall} and J. {Vanne} and T. D. {H{\"a}m{\"a}l{\"a}inen}},
	title = {Are We There Yet? a Study on the State of High-Level Synthesis},
	journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
	volume = {38},
	number = {5},
	pages = {898-911},
	year = {2019},
	doi = {10.1109/TCAD.2018.2834439},
	url = {https://doi.org/10.1109/TCAD.2018.2834439},
	ISSN = {1937-4151},
	month = {May}
}

@phdthesis{canis15_legup,
	keywords = {high-level synthesis, hardware/software co-simulation, FPGA},
	title = {Legup: open-source high-level synthesis research framework},
	author = {Canis, Andrew Christopher},
	year = {2015}
}

@book{bertot04_inter_theor_provin_progr_devel,
	keywords = {coq, verification},
	author = {Yves Bertot and Pierre Cast{\'{e}}ran},
	title = {Interactive Theorem Proving and Program Development},
	year = 2004,
	publisher = {Springer Berlin Heidelberg},
	url = {https://doi.org/10.1007/978-3-662-07964-5},
	doi = {10.1007/978-3-662-07964-5}
}

@phdthesis{coquand86,
	title = {The calculus of constructions},
	author = {Coquand, Thierry and Huet, G{\'e}rard},
	year = {1986},
	school = {INRIA}
}