assets « presentation - oopsla21_fvhls - Formal verification of high-level synthesis.

Mode	Name	Size
-rw-r--r--	big-step.pdf	112633	log stats plain
-rw-r--r--	clk.pdf	19317	log stats plain
-rw-r--r--	database-asic.pdf	59199	log stats plain
-rw-r--r--	database-cpu.pdf	52727	log stats plain
-rw-r--r--	database-fpga.pdf	55641	log stats plain
-rw-r--r--	down-arrow.pdf	9606	log stats plain
-rw-r--r--	formal_hls_docs.pdf	2118	log stats plain
-rw-r--r--	formal_hls_github.pdf	2396	log stats plain
-rw-r--r--	formal_hls_paper.pdf	2352	log stats plain
-rw-r--r--	fpga-expl.pdf	283922	log stats plain
-rw-r--r--	fpga-expl2.pdf	411345	log stats plain
-rw-r--r--	fpga-flow.pdf	71916	log stats plain
-rw-r--r--	fpga.pdf	208033	log stats plain
-rw-r--r--	full-flow.pdf	354899	log stats plain
-rw-r--r--	hls-flow-testing.pdf	334622	log stats plain
-rw-r--r--	hls-flow.pdf	259069	log stats plain
-rw-r--r--	imperial_logo.pdf	3623	log stats plain
-rw-r--r--	oopsla21.png	63401	log stats plain
-rw-r--r--	semantics.pdf	129694	log stats plain
-rw-r--r--	semantics_clk.pdf	19297	log stats plain
-rw-r--r--	up-arrow.pdf	9483	log stats plain
-rw-r--r--	verilog-flow-testing.pdf	217900	log stats plain
-rw-r--r--	verilog-flow.pdf	196409	log stats plain