100644 blob 1b368c3bc0d578342f1fcb70882758b1b92d12cb	_index.md
100644 blob 6cf97dd6b1807fdbea6fabc570d8d57ff8111dfc	build_sw.md
100644 blob e01c0063d23a282faf0eb1d46f62193ed7797b2c	getting_started_workflow.svg
100644 blob 4a085940df9b0e6d73481bfe55e09f5d93587552	install_openocd.md
040000 tree 3a1d8acb8197bbc13bb799290038cb4191ea77ca	install_vivado
100644 blob 088bcf36ccd69981f9729852100c80528eba329e	setup_dv.md
100644 blob 17d859893c1cb34f411cdc156ba4313211bda256	setup_formal.md
100644 blob 768a54898b6cf7c29c6aecabcad8f5b3c799567f	setup_fpga.md
100644 blob 6acf6aeec7b583e681b1c01ea975d6a49401823d	setup_verilator.md