100644 blob 4b8ae78d5b13e9497b91ee56116c4c76d284a26d	_index.md
100644 blob 12718b066f91bbae18c9edd4f23b6caec2a4a129	build_sw.md
100644 blob e01c0063d23a282faf0eb1d46f62193ed7797b2c	getting_started_workflow.svg
100644 blob 4a085940df9b0e6d73481bfe55e09f5d93587552	install_openocd.md
040000 tree e2328e842fda90a2f8bd411a4a4eb3010e36d267	install_vivado
100644 blob 06c28d6799b0009efbec2766db625ae9fe7bcd76	setup_dv.md
100644 blob 17d859893c1cb34f411cdc156ba4313211bda256	setup_formal.md
100644 blob 695c23933231d9c821e7502f7d4af4f9c56e11d3	setup_fpga.md
100644 blob 65d4ea12807c7095be992bc5e793f251d3069ba9	setup_verilator.md