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 57adebb7775b6b2758bb3d7f56e63f080e5e5d53	setup_verilator.md