100644 blob 4b9048daa741693e456ab968301dd9180c84299b	_index.md
100644 blob b13251436032ecab0daec5387beb68871479d4e4	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 6305cf4bf6e4208975a9c238f939b09af2984c84	setup_fpga.md
100644 blob f25b813369abc48b39fb236cceb2f0b2a7b9c7a5	setup_verilator.md