OpenCores
URL https://opencores.org/ocsvn/wbuart32/wbuart32/trunk

Subversion Repositories wbuart32

[/] [wbuart32/] [trunk/] [bench/] - Rev 26

Rev

Filtering Options

Clear current filter

Rev Log message Author Age Path
26 Formally verified the TXUART core (plus others) dgisselq 1870d 19h /wbuart32/trunk/bench/
25 dgisselq 2072d 04h /wbuart32/trunk/bench/
23 Brought SVN repo up to date with github repo dgisselq 2072d 04h /wbuart32/trunk/bench/
22 Added formal methods via SymbiYosys dgisselq 2164d 03h /wbuart32/trunk/bench/
20 Added yosys-smtbmc config files for formal proofs dgisselq 2358d 22h /wbuart32/trunk/bench/
19 Added a directory for formal info dgisselq 2358d 22h /wbuart32/trunk/bench/
18 Lots of updates. See the git log for details dgisselq 2358d 22h /wbuart32/trunk/bench/
16 Updated the property list for cpp directory. dgisselq 2591d 05h /wbuart32/trunk/bench/
15 Added a set of lite-UARTs that only handle 8N1 to the repository. dgisselq 2591d 05h /wbuart32/trunk/bench/
13 Adjusted documentation of OPT_STANDALONE, and updated internal README files. dgisselq 2627d 03h /wbuart32/trunk/bench/
11 Modified mkspeech to create both hex and include files, to tailor for the broken ISE program. dgisselq 2627d 04h /wbuart32/trunk/bench/
10 Adjusted for the new hardware flow control capability. dgisselq 2627d 04h /wbuart32/trunk/bench/
6 Lots of changes--see the git log for the full details. dgisselq 2661d 09h /wbuart32/trunk/bench/
5 Created independent peripheral, several toplevel tests, and updated documentation to match. dgisselq 2671d 20h /wbuart32/trunk/bench/
4 "make clean" now works, with the added -rf to the rm commands. dgisselq 2798d 09h /wbuart32/trunk/bench/
3 This fixes a bug in the UARTSIM module whereby the number of counts per baud
wasn't equal to the number given in the setup. The previous version worked
for count numbers greater than 25 (where I had tested it), but not for low
count numbers like 4. This version has now been tested, and is known to work
with baud counts as low as 4.		 dgisselq 2801d 10h /wbuart32/trunk/bench/
2 A first version to be checked in. The rxuart.v and txuart.v files have been
well tested elsewhere, although the test setup here has not been as well tested.
Still, type 'make test' in the base directory and you will get an assurance
that the entire thing works--if you would like.		 dgisselq 2805d 04h /wbuart32/trunk/bench/

powered by: WebSVN 2.1.0

© copyright 1999-2024 OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.