wbuart32:一个简单的，经过正式验证的基本UART控制器-源码

[{"title":"（ 51 个子文件 371KB ） wbuart32:一个简单的，经过正式验证的基本UART控制器-源码","children":[{"title":"wbuart32-master","children":[{"title":"bench","children":[{"title":"verilog","children":[{"title":"linetest.v <span style='color:#111;'> 7.87KB </span>","children":null,"spread":false},{"title":"helloworld.v <span style='color:#111;'> 4.91KB </span>","children":null,"spread":false},{"title":"echotest.v <span style='color:#111;'> 5.95KB </span>","children":null,"spread":false},{"title":"README.md <span style='color:#111;'> 1.56KB </span>","children":null,"spread":false},{"title":"Makefile <span style='color:#111;'> 5.04KB </span>","children":null,"spread":false},{"title":"speechfifo.v <span style='color:#111;'> 10.87KB </span>","children":null,"spread":false}],"spread":true},{"title":"cpp","children":[{"title":"mkspeech.cpp <span style='color:#111;'> 5.85KB </span>","children":null,"spread":false},{"title":"uartsim.cpp <span style='color:#111;'> 7.42KB </span>","children":null,"spread":false},{"title":"linetest.cpp <span style='color:#111;'> 7.86KB </span>","children":null,"spread":false},{"title":"speech.txt <span style='color:#111;'> 2.12KB </span>","children":null,"spread":false},{"title":"speechtest.cpp <span style='color:#111;'> 12.51KB </span>","children":null,"spread":false},{"title":"README.md <span style='color:#111;'> 1.12KB </span>","children":null,"spread":false},{"title":"Makefile <span style='color:#111;'> 7.46KB </span>","children":null,"spread":false},{"title":"uartsim.h <span style='color:#111;'> 4.73KB </span>","children":null,"spread":false},{"title":".gitignore <span style='color:#111;'> 98B </span>","children":null,"spread":false},{"title":"helloworld.cpp <span style='color:#111;'> 2.83KB </span>","children":null,"spread":false}],"spread":true},{"title":"formal","children":[{"title":"rxuartlite.sby <span style='color:#111;'> 372B </span>","children":null,"spread":false},{"title":"axiluart.sby <span style='color:#111;'> 498B </span>","children":null,"spread":false},{"title":"axiluart.gtkw <span style='color:#111;'> 1.04KB </span>","children":null,"spread":false},{"title":"ufifo.sby <span style='color:#111;'> 187B </span>","children":null,"spread":false},{"title":"txuartlite.sby <span style='color:#111;'> 198B </span>","children":null,"spread":false},{"title":"Makefile <span style='color:#111;'> 3.11KB </span>","children":null,"spread":false},{"title":".gitignore <span style='color:#111;'> 64B </span>","children":null,"spread":false},{"title":"faxil_slave.v <span style='color:#111;'> 24.39KB </span>","children":null,"spread":false},{"title":"txuart.sby <span style='color:#111;'> 144B </span>","children":null,"spread":false}],"spread":true},{"title":"README.md <span style='color:#111;'> 350B </span>","children":null,"spread":false}],"spread":true},{"title":"doc","children":[{"title":"src","children":[{"title":"spec.tex <span style='color:#111;'> 31.56KB </span>","children":null,"spread":false},{"title":"gpl-3.0.tex <span style='color:#111;'> 34.63KB </span>","children":null,"spread":false},{"title":"gqtekspec.cls <span style='color:#111;'> 11.07KB </span>","children":null,"spread":false},{"title":"GT.eps <span style='color:#111;'> 2.10KB </span>","children":null,"spread":false}],"spread":true},{"title":"spec.pdf <span style='color:#111;'> 138.95KB </span>","children":null,"spread":false},{"title":"Makefile <span style='color:#111;'> 2.64KB </span>","children":null,"spread":false},{"title":"gfx","children":[{"title":"ambiguous.png <span style='color:#111;'> 2.78KB </span>","children":null,"spread":false},{"title":"logic-timing.png <span style='color:#111;'> 11.23KB </span>","children":null,"spread":false}],"spread":true},{"title":"gpl-3.0.pdf <span style='color:#111;'> 103.72KB </span>","children":null,"spread":false},{"title":"uart.png <span style='color:#111;'> 7.67KB </span>","children":null,"spread":false}],"spread":true},{"title":"LICENSE <span style='color:#111;'> 34.32KB </span>","children":null,"spread":false},{"title":"README.md <span style='color:#111;'> 3.45KB </span>","children":null,"spread":false},{"title":"Makefile <span style='color:#111;'> 2.19KB </span>","children":null,"spread":false},{"title":"rtl","children":[{"title":"wbuart.v <span style='color:#111;'> 16.88KB </span>","children":null,"spread":false},{"title":"rxuartlite.v <span style='color:#111;'> 21.26KB </span>","children":null,"spread":false},{"title":"wbuart-insert.v <span style='color:#111;'> 4.75KB </span>","children":null,"spread":false},{"title":"rxuart.v <span style='color:#111;'> 16.22KB </span>","children":null,"spread":false},{"title":"txuart.v <span style='color:#111;'> 34.80KB </span>","children":null,"spread":false},{"title":"Makefile <span style='color:#111;'> 2.62KB </span>","children":null,"spread":false},{"title":"ufifo.v <span style='color:#111;'> 12.09KB </span>","children":null,"spread":false},{"title":"axiluart.v <span style='color:#111;'> 26.28KB </span>","children":null,"spread":false},{"title":"txuartlite.v <span style='color:#111;'> 13.85KB </span>","children":null,"spread":false},{"title":"skidbuffer.v <span style='color:#111;'> 8.41KB </span>","children":null,"spread":false}],"spread":true},{"title":".gitignore <span style='color:#111;'> 143B </span>","children":null,"spread":false},{"title":"wbuart32.core <span style='color:#111;'> 551B </span>","children":null,"spread":false}],"spread":true}],"spread":true}]