100644 blob 4b9048daa741693e456ab968301dd9180c84299b	_index.md
100644 blob 5dca0a453e316a310179ef0b281041815b1efa4f	build_sw.md
100644 blob e01c0063d23a282faf0eb1d46f62193ed7797b2c	getting_started_workflow.svg
100644 blob a4082f59f86ab3788bbfcb53cfc5a79c6c47bbaa	install_openocd.md
040000 tree fea0f26bbc33c39132ee392caf89074f7adcfed4	install_vivado
100644 blob 8d55d6f28fd1e736f33d8a3949fd5b0eabcbe8b6	setup_dv.md
100644 blob 0db5e7949351558fa798399f6e476ddb598508ce	setup_formal.md
100644 blob 50bda8684b52837c4b522445fd4cf46b9e0e83dc	setup_fpga.md
100644 blob 036129936e7d6d3cf7733c193ff1f7d6e9813e5d	setup_verilator.md