100644 blob c4c7320e8ec2eee26abb6bf02be48db788fb4ce9	_index.md
100644 blob fa89f201271955aaf43a2446ed9c13ec5b37e58c	build_sw.md
100644 blob e01c0063d23a282faf0eb1d46f62193ed7797b2c	getting_started_workflow.svg
100644 blob a4082f59f86ab3788bbfcb53cfc5a79c6c47bbaa	install_openocd.md
040000 tree fea0f26bbc33c39132ee392caf89074f7adcfed4	install_vivado
100644 blob ed4716a42bf5f5cd84119307ae3162f773751207	setup_dv.md
100644 blob a8fbd902b0333703f397e0ec8190d827cc2db6db	setup_formal.md
100644 blob 50bda8684b52837c4b522445fd4cf46b9e0e83dc	setup_fpga.md
100644 blob 036129936e7d6d3cf7733c193ff1f7d6e9813e5d	setup_verilator.md