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 d7aa093ac835c98b8b2525f627eb5506ef80e820	setup_fpga.md
100644 blob 225e140b2bc82ffca09e2edc619ea4d2ad24afa9	setup_verilator.md