100644 blob 05b56f465adab39700419adeff85f30b66070655	_index.md
100644 blob 605deed55c2bab79de86f1d4e55d2cd699031969	build_sw.md
100644 blob e01c0063d23a282faf0eb1d46f62193ed7797b2c	getting_started_workflow.svg
100644 blob a4082f59f86ab3788bbfcb53cfc5a79c6c47bbaa	install_openocd.md
040000 tree fea0f26bbc33c39132ee392caf89074f7adcfed4	install_vivado
100644 blob 06c28d6799b0009efbec2766db625ae9fe7bcd76	setup_dv.md
100644 blob 0db5e7949351558fa798399f6e476ddb598508ce	setup_formal.md
100644 blob 19b0c4db839c948718c0f4a8b6e800e7798331f0	setup_fpga.md
100644 blob 43d17e7504d86f366043377551972cc87dd4c52f	setup_verilator.md