100644 blob 4b8ae78d5b13e9497b91ee56116c4c76d284a26d	_index.md
100644 blob 2eb796d8465b65fb084a583b8c7711c41e2d10fa	build_sw.md
100644 blob e01c0063d23a282faf0eb1d46f62193ed7797b2c	getting_started_workflow.svg
100644 blob 6eb086b466445c6532d09c32d7cf7395ee008847	install_openocd.md
040000 tree a3d93ab32324e128b6dcf5f2e07fe3aa5bd24f3d	install_vivado
100644 blob 06c28d6799b0009efbec2766db625ae9fe7bcd76	setup_dv.md
100644 blob 09c48f73e5354ad440759b5cccc1aeca0e6ad5f1	setup_formal.md
100644 blob d4c3b922a7d3c93b7b854063a57f511863a05a8f	setup_fpga.md
100644 blob 65d4ea12807c7095be992bc5e793f251d3069ba9	setup_verilator.md