100644 blob ab4e599b828b6df7ba0786529a7ce1efab22f74c	_index.md
100644 blob 8593f89ac61122bc28ffc9c00a624dde5eb29d70	build_sw.md
100644 blob e01c0063d23a282faf0eb1d46f62193ed7797b2c	getting_started_workflow.svg
100644 blob a4082f59f86ab3788bbfcb53cfc5a79c6c47bbaa	install_openocd.md
040000 tree fea0f26bbc33c39132ee392caf89074f7adcfed4	install_vivado
100644 blob 44f2e7e67a87daaee3142d61a868314d7c151201	setup_dv.md
100644 blob a8fbd902b0333703f397e0ec8190d827cc2db6db	setup_formal.md
100644 blob c1ce8527c367cc0ba81d2e55f0f2c411d8f44d7c	setup_fpga.md
100644 blob 95f20d6f9e28fd6dbc9ef295fc2c4941baf5638a	setup_verilator.md